■正17角形の作図とガウスの公式(その18)
正弦・余弦の積公式を訂正.
===================================
Πsinkπ/n=sinπ/n・・・sin(n−1)π/n=n/2^(n-1)
Πsin(θ+kπ/n)
=sin(θ+π/n)・・・sin(θ+(n−1)π/n)
=sinnθ/2^(n-1)sinθ
ここで,θ→θ−π/2nと置き換えれば
Πsin(θ+(2k−1)π/2n)=cosnθ/2^(n-1)
θ=0とおけば
Πsin((2k−1)π/2n)=1/2^(n-1)
また,θ=π/2とおけば
Πcoskπ/2n=sin(nπ/2)/2^(n-1)
などを導き出すことができる.
===================================
肝心の公式は,k=1〜[(n−1)/2]として
Πsin(kπ/n)=√n/2^(n-1)/2
sinπ/7・sin2π/7・sin3π/7=√7/8
=sinπ/7・sin3π/7・sin5π/7
===================================