■フェルマー素数と正十七角形(その11)

 cos(π/7)は3次方程式:8x^3-4x^2-4x+1=0の解として得られます.それではcos(2π/7)は?

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

[2]cos(2π/7)

 θ=2π/7,cosθ=xとおくと

  7θ=2π,4θ=2π-3θ

より,

  cos4θ=cos3θあるいはsin4θ=-sin3θ

 前者は4次方程式

  8cos^4θ-8cos^2θ+1=4cos^3θ-3cosθ

後者は

  8sinθcos^3θ-4sinθcosθ=4sin^3θ-3sinθ

  8cos^3θ-4cosθ=4sin^2θ-3

  8cos^3θ-4cosθ=-4cos^2θ+1

より3次方程式:8x^3+4x^2-4x-1=0に帰着するというわけである.

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