X=1+2cos(2π/7)

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

半角公式を使えばいったん次数は下がると思われる

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

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

7(X^2-X+1)/(X^2+X+2)^2=1/2(1+(X-1)/2)

7(X^2-X+1)/(X^2+X+2)^2=1/(1+X)

7(X+1)(X^2-X+1)=(X^2+X+2)^2

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

y=X-1=2cos(2π/7)とおく.

x=y+1

7(y+2)((y^2+2y+1)-(y+1)+1))=((y+1)^2+(y+1)+2)^2

7(y+2)(y^2+y+1)=(y^2+3y+4)^2

7(y^3+y^2+y+2y^2+2y+2)=(y^4+9y^2+16+6y^3+24y+8y^2)

7(y^3+3y^2+3y+2)=(y^4+6y^3+17y^2+24y+16)

(y^4-y^3-4y^2+3y+2)=0

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

　　θ＝2π／７，７θ＝2πより，

　　ｃｏｓ（３θ＋４θ）＝１

　　ｃｏｓ（３θ）＝ｃｏｓ（４θ）

　３倍角の公式は

　　ｃｏｓ（３θ）＝４ｃｏｓ^3θ−３ｃｏｓθ

４倍角の公式を知らなければ，倍角の公式を２回適用して

　　ｃｏｓ（４θ）＝２ｃｏｓ^2２θ−１＝８ｃｏｓ^4θ−８ｃｏｓ^2θ＋１

　したがって，ｃｏｓπ／７を解とする方程式は

　　４ｘ^3−３ｘ＝８ｘ^4-８ｘ^2+１

　　８ｘ^4-４ｘ^3−８ｘ^2+３ｘ＋１＝０

y=X-1=2cos(2π/7)より

　　ｙ^4/2-ｙ^3/2−2ｙ^2+３y/2＋１＝０

　　ｙ^4-ｙ^3−4ｙ^2+３y＋2＝０

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

これが最も簡単のようだ

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