■正七角形と正九角形(その7)
【4】雑感
cos(π/7)は8x^3−4x^2−4x+1=0に帰着するのに対して,cos(2π/7)は8x^3+4x^2−4x−1=0に帰着する.
係数の符号が異なるが,前者ではθ=π/7,cosθ=xとおくと
7θ=π,4θ=π−3θ
より,
cos4θ=−cos3θあるいはsin4θ=sin3θ
後者では
θ=2π/7,cosθ=xとおくと
7θ=2π,4θ=2π−3θ
より,
cos4θ=cos3θあるいはsin4θ=−sin3θ
となるからである.
この事情はcos(π/5)とcos(2π/5),cos(π/9)とcos(2π/9)でも同様である.
===================================