>>86

背理法でπが代数的だったと仮定するとiπも代数的だから -1 = e^(iπ) = (超越数)、となって矛盾を生じることから、πは代数的ではなく超越数だった。(73字)