■正多角形の作図と原始根(その237)
すべての円周等分方程式は代数的に解くことができる
同時にその解法を1の17乗根を求める方程式に適用し、1の17乗根が平方根だけで表されることにガウスは気づいた。
===================================
すべての円周等分方程式は代数的に解くことができる
たとえば、
cos(2π/7)=-1/6{-1+A+B}
A={7/2(1+i3√3)}^1/3
B={7/2(1-i3√3)}^1/3
2cos(2π/11)=-1/5{-1+A+B+C+D}
A={-11/4(89+25√5+5√(410-i178√5)}^1/5
B={-11/4(89-25√5+5√(410+i178√5)}^1/5
C={-11/4(89-25√5-5√(410+i178√5)}^1/5
D={-11/4(89-25√5-5√(410-i178√5)}^1/5
===================================
cos(2π/17)=1/16{-1+√17+A+2B}
A={34-2√17}^1/2
B={17+3√17-√(170+38√17)}^1/2
===================================
これらの解はこれまで計算した値と等しいのだろうか?
cos(2π/17)=(-1+√17)/16+{(34-2√17)^1/2}/16+1/8・C^1/2
C=17+3root17+(170-26root17)^1/2-4・(34+2root17)^1/2
===================================