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

cos(2π/9)の場合も右辺は同じ

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

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π／9，9θ＝2πより，

　　ｃｏｓ（4θ＋5θ）＝１

　　ｃｏｓ（4θ）＝ｃｏｓ（5θ）

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

　　ｃｏｓ（5θ）＝16ｃｏｓ^5θ−20ｃｏｓ^3θ＋5cosθ

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

　　8ｘ^4−8ｘ＾2+1＝16ｘ^5-20ｘ^3+5ｘ

　　16ｘ^5-8ｘ^4−20ｘ^3+8ｘ^2＋5x-１＝０

　　16ｘ^5-8ｘ^4−20ｘ^3+8ｘ^2＋5x-１＝０

(x-1)(16x^4+8x^3-12x^2-4x+1)=0

y=2ｃｏｓ2π／9を解とする方程式は

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

　　y^5-y^4−5y^3+4y^2＋5y-2＝０

(16x^4+8x^3-12x^2-4x+1)=0

y^4+y^3-3y^2-2y+1=0

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

　　ｃｏｓ（3θ）＝ｃｏｓ（6θ）

32x^6-48x^4+18x^2-1=4x^3-3x

32x^6-48x^4-4x^3+18x^2+3x-1=0

y^6/2-3y^4-y^3/2+9y^2/2+3y/2-1=0

y^6-6y^4-y^3+9y^2+3y-2=0

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

(X-1)/2=cos(2π/9)

x0=0, x1=1, x2=X

x3=X(x2-x1)+x0=X^2-X

x4=X(x3-x2)+x1=X^3-2X^2+1　

x5=X(x4-x3)+x2=X^4-3X^3+X^2+2X=X^2-X

x6=X, x7=1

x8=0, x9= 0

Σxi=X^3+3　

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

f(x)/(X^3+3)^2=1/(1+X)

(X+1)f(x)=(X^3+3)^2=X^6+6X^3+9

f(x)=(X^5-X^4+X^3+5X^2-5X・・・因数分解できない、因数分解できたとしても次数が合わない

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

x=y+1

(y+2)f(y)=((y+1)^3+3)^2=(y^3+3y^2+3y+4)^2=y^6+9y^4+9y^2+16+6y^5+6y^4+8y^3+18y^3+24y^2+24y

(y+2)f(y)=((y+1)^3+3)^2=(y^3+3y^2+3y+4)^2=y^6+6y^5+15y^4+26y^3+33y^2+24y+16

y^6+6y^5+15y^4+26y^3+33y^2+24y+16-(y+2)f(y)＝０

これが

y^6-6y^4-y^3+9y^2+3y-2=0

に等しい。

6y^5+21y^4+27y^3+24y^2+21y+18-(y+2)f(y)＝０

(y+2)f(y)=6y^5+21y^4+27y^3+24y^2+21y+18

(y+2)(6y^4+9y^3+9y^2+6y+9)

3(y+2)(2y^4+3y^3+3y^2+2y+3)

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

y=x-1

3(x+1)(2(x-1)^4+3(x-1)^3+3(x-1)^2+2(x-1)+3)

3(x+1)(2(x^4-4x^3+6x^2-4x+1)+3(x^3-3x^2+3x-1)+3(x^2-2x+1)+2(x-1)+3)

3(x+1)((2x^4-8x^3+12x^2-8x+2)+(3x^3-9x^2+9x-3)+(3x^2-6x+3)+(2x-2)+3)

3(x+1)((2x^4-5x^3+6x^2-3x+3))

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