■arccos(1/3)/πは有理数であるか?

 x^n−1=0において、x+1/x=2cosθであれば,

x^2-2cosθ・x+1=0

x^2n-2cosθ・x^n+1=0

これらは解

x=cosθ+/-isinθ 

x^n=cosnθ+/-isinnθ

をもつ

cosθ=1/3

x+1/x=2/3であれば、その根は次数nの1のベキ根である。

x^n+1/x^n=2cosnθは分母に3^kを持つ。

===================================

cosδ=1/3より

cos2δ=-7/9

cos3δ=-23/27

cos(k+1)δ=2coskδ・cosδ-cos(k-1)δ=ak+1/3^(k+1)

===================================

α=arccos(1/3)/π

α=2m/nとすると矛盾。

α=arccos(1/3)/πは有理数ではない 。

===================================