iπ=log(-1)である。
log(-1)が有理数と仮定すると、
e^m=(-1)^n (m,nは自然数)
となり、log(-1)は無理数。
よってiπは無理数。
これまだ証明されてないですよね。