e^(ix)=cos(x)+i*sin(x)である。
両辺を2π乗する。
e^(2πix)={cos(x)+i*sin(x)}^(2π)
x=2πを代入
e^(4π^2*i)={cos(2π)+i*sin(2π)}^(2π)=1^(2π)=1
よって
cos(4π^2)=1
4π^2=2nπ
π=n/2
3<π<4よりn=7
∴π=7/2
πは有理数である。