■フェルマー素数と正十七角形(その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であるが,これはガウス和を使って求められたものである.三角法の範囲内では難しい問題である.
===================================