0087132人目の素数さん垢版 | 大砲2013/09/21(土) 01:44:40.12 >>86 背理法でπが代数的だったと仮定するとiπも代数的だから -1 = e^(iπ) = (超越数)、となって矛盾を生じることから、πは代数的ではなく超越数だった。(73字)