0737Y垢版 | 大砲2018/03/10(土) 09:07:00.32ID:dtbt2a3L iπ=log(-1)である。 log(-1)が有理数と仮定すると、 e^m=(-1)^n (m,nは自然数) となり、log(-1)は無理数。 よってiπは無理数。 これまだ証明されてないですよね。