■sinπ/5とcosπ/7 (その6)
【1】正九角形
正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θ関する3次方程式に帰着するというわけである.
===================================