■正五角形と正十七角形(その17)
sinπ/7=xとおくと
16x^5−24x^3+5x−S=0
x(16x^4−24x^2+5)−S=0
x(4x^2−1)(4x^2−5)=S
は役立ちそうにないが,xは5次方程式
32x^5−48x^3+5x−√7=0
の解となる(はずである).
===================================
一方,cos(π/7)は3次方程式:8y^3−4y^2−4y+1=0の解として得られる.
y^2=1−x^2
8y^3−4y^2−4y+1=0
より
4y(2y^2−1)−4y^2+1=0
4y(1−2x^2)−3+4x^2=0
yを消すためには,
4y=(3−4x^2)/(1−2x^2)
16y^2=16(1−x^2)=(3−4x^2)^2/(1−2x^2)^2
とするしかないが,これでは6次方程式となってしまう.
===================================