■正五角形と正十七角形(その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に帰着するというわけである.
===================================