■フェルマー素数と正十七角形(その15)
【2】cos(π/9)
x=cos(π/9)とおくと,3倍角の公式
4x^3−3x=cos(π/3)=1/2
より,3次方程式:8x^3 −6x−1=0に帰着します.
あるいは,θ=π/9,cosθ=xとおくと
9θ=π,5θ=π−4θ
より,
cos5θ=−cos4θあるいはsin5θ=sin4θ
前者は5次方程式
16cos^5θ−20cos^3θ+5cosθ=−8cos^4θ+8cos^2θ−1
となるが,後者は
16sin^5θ−20sin^3θ+5sinθ=8sinθcos^3θ−4sinθcosθ
16sin^4θ−20sin^2θ+5=8cos^3θ−4cosθ
よりcosθ関する4次方程式に帰着するというわけである.
===================================