■正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
が示される.
===================================