■フェルマー素数と正十七角形(その26)
分母が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
===================================