■正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)=?

には答えられていない.

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