n=6の場合について、確認しておきたい。

cos(2π/7)=2(cos(π/7)^2-1

X=2cos(2π/7)+1=(2cos(π/7)^2-1=Y^2-1

X^2+X+2=(Y^2-1)^2+(Y^2-1)+2=Y^4-Y^2+2

X^2-X+1=(Y^2-1)^2-(Y^2-1)+1=Y^4-3Y^2+3

(X^2+X+2)^2=(Y^4-Y^2+2)^2=Y^8+Y^4+4-2Y^6-4Y^2+4Y^4

=Y^8+5Y^4-6Y^2+4

cos7t=cost{64(cost)^6-112(cost)^4+56(cost)^2-7}

=(Y/2){Y^6-7Y^4+14Y^2-7}=-1

{Y^8-7Y^6+14Y^4-7Y^2}=-2Y

(X^2+X+2)^2=Y^8+5Y^4-6Y^2+4=7Y^6-14Y^4+7Y^2-2Y+5Y^4-6Y^2+4

=7Y^6-9Y^4+Y^2-2Y+4

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

7Y^2(Y^4-3Y^2+3)==7Y^6-9Y^4+Y^2-2Y+4になればよい。

-12Y^4+20Y^2+2Y-4=0になればよい

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝