■正7角形の辺と対角線(その4)

【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)でも同様である.

===================================