■正五角形と正十七角形(その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次方程式となってしまう.

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