■正17角形の作図とガウスの公式(その16)

 cosπ/7,cos3π/7,cos5π/7は,

  8x^3−4x^2−4x+1=0

の3根となる.

 根と係数の関係より

  cosπ/7+cos3π/7+cos5π/7=4/8=1/2

  cosπ/7・cos3π/7・cos5π/7=−1/8

が示される.

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

 sin(π/7)は

64x^6−112x^4+56x^2−7=0の根である.さらに,

sin(π/7),sin(3π/7),sin(5π/7)は,

  64x^6−112x^4+56x^2−7=0

の3根となる.

 根と係数の関係より

  sinπ/7・sin3π/7・sin5π/7=(√7)/8

が示される.

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