■フェルマー素数と正十七角形(その9)

[4]2sin^2(π/7)=(−4sin^3π/7+3sinπ/7)^2−S・sinπ/7

[5]sinπ/7=xとおくと

  16x^6−24x^4+9x^2−Sx=2x^2

  16x^6−24x^4+7x^2−Sx=0

  16x^5−24x^3+7x−S=0

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

[まとめ] S=(√7)/2であるが,これはガウス和を使って求められたものである.三角法の範囲内では難しい問題である.

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