>>462
2倍角の公式の逆を使って(1-cos2x)/2で