>>586
倍角の公式cos2x=2(cos^2)x-1より
(cos^2)x=(cos2x-1)/2と変形して以下略