>>53
であるならば、sin(π/5)からsin(π/10)、cos(π/10)を導出する。
π/15=π/6-π/10なので、あとは加法定理で。