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

 分母が7の場合を考える.

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

[1]正弦・余弦の和公式から

 sinπ/7+sin2π/7+・・・+sin6π/7=cotπ/14

 cosπ/7+cos3π/7+・・・+cos13π/7=0

 cosπ/7+cos3π/7+cos15π/7=1/2

[2]正弦・余弦の積公式から

 sinπ/7・sin2π/7・・・sin6π/7=7/64

 cosπ/7・cos3π/7・・・cos13π/7=−1/2^12

 sinπ/7・sin2π/7・sin3π/7=√7/8

 cosπ/7・cos2π/7・cos3π/7=1/8

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