ｚ＝ｃｏｓπ／７＋ｉｓｉｎπ／７＝

　ｚ＝ｃｏｓ２π／１４＋ｉｓｉｎ２π／１４

を解とする方程式は

　　ｚ^14＝１

　　ｚ^13＋ｚ^12・・・・＋ｚ＋１＝０

であるが，ｃｏｓπ／７を解とする方程式を考えてみよう．

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

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

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

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

　３倍角の公式は

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

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

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

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

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

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

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

　実は，この方程式はｃｏｓπ／７のみならず，ｃｏｓ３π／７，ｃｏｓ５π／７，ｃｏｓ７π／７＝ｃｏｓπ＝−１も解となる．

　したがって，

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

　　（ｘ＋１）（８ｘ^3−４ｘ^2−４ｘ＋１）＝０

と因数分解できる．

　ｃｏｓπ／７，ｃｏｓ３π／７，ｃｏｓ５π／７は，

　　８ｘ^3−４ｘ^2−４ｘ＋１＝０

の３根となる．

　根と係数の関係より

　　ｃｏｓπ／７＋ｃｏｓ３π／７＋ｃｏｓ５π／７＝４／８＝１／２

　　ｃｏｓπ／７・ｃｏｓ３π／７・ｃｏｓ５π／７＝−１／８

が示される．

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

このように見えない関係式に縛られているのだと思われる。

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

cos(7t)=-1=64(cost)^7-112(cost)^5+56(cost)^3-7(cost)・・・ｃｏｓπ／７のみならず，ｃｏｓ３π／７，ｃｏｓ５π／７，ｃｏｓ７π／７＝ｃｏｓπ＝−１も解となる．

cos(6t)=-cost=32(cost)^6-48(cost)^4+18(cost)^2-1・・・ｃｏｓπ／７のみならず，ｃｏｓ３π／７，ｃｏｓ５π／７，ｃｏｓ７π／７＝ｃｏｓπ＝−１も解となる．

cos(5t)=-cos2t=-2(cost)^2+1=16(cost)^5-20(cost)^3+5(cost)・・・ｃｏｓπ／７のみならず，ｃｏｓ３π／７，ｃｏｓ５π／７，ｃｏｓ７π／７＝ｃｏｓπ＝−１も解となる．

cos(4t)=-cos3t=-4(cost)^3+3cost=8(cost)^4-8(cost)^2+1・・・ｃｏｓπ／７のみならず，ｃｏｓ３π／７，ｃｏｓ５π／７，ｃｏｓ７π／７＝ｃｏｓπ＝−１も解となる．

のほかにも

cos(8t)=-cost=128(cost)^8-256(cost)^6+160(cost)^4-32(cost)^2+1・・・ｃｏｓπ／７のみならず，ｃｏｓ３π／７，ｃｏｓ５π／７，ｃｏｓ７π／７＝ｃｏｓπ＝−１も解となる．

などがある。

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

y=2costとおくと、

y^8/2-4y^6+10y^4-8y^2+1=-y/2

y^7/2-7y^5/2+7y^3-7y/2=-1

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

y^5/2-5y^3/2+5y/2=-y^2/2+1

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

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

y^8=・・・、y^7=・・・、y^4=・・・の形に整理する

y^8-8y^6+20y^4-16y^2+2=-y

y^7-7y^5+14y^3-7y=-2

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

y^5-5y^3+5y=-y^2+2

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

y^8=8y^6-20y^4+16y^2-y+2

y^7=7y^5-14y^3+7y-2

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

y^5=5y^3-y^2-5y+2

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

いろいろな表現型があるようだ

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

どれも(y+2)で因数分解できる

y^8-8y^6+20y^4-16y^2+y-2=(y+2)(y^7-2y^6-4y^5+8y^4+4y^3-8y^2+1)

y^7-7y^5+14y^3-7y+2=(y+2)=(y^6-2y^5-3y^4+6y^3+2y^2-4y+1)

y^6-6y^4+9y^2+y-2=(y+2)(y^5-2y^4-2y^3+4y^2+y-1)

y^5-5y^3+y^2+5y-2=(y+2)(y^4-2y^3-y^2+3y-1)

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

（その３３０）と一致・・・y^3-y^2-2y+1＝0

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