■正17角形の作図とガウスの公式(その23)
このシリーズは正弦・余弦の和公式
cosπ/7+cos3π/7+cos5π/7=1/2
から始まって,正弦・余弦の積公式
cosπ/7・cos2π/7・cos3π/7=1/8
cosπ/7・cos3π/7・cos5π/7=−1/8
sinπ/7・sin2π/7・sin3π/7=√7/8
sinπ/7・sin3π/7・sin5π/7=√7/8
に至った.
また,別ルート(ガウス和)から
−sin(π/7)+sin(3π/7)+sin(5π/7)=(√7)/2
に至ったが,まだ
sin(π/7)+sin(3π/7)+sin(5π/7)=?
には答えられていない.
===================================