>>637
半角公式って知ってるか？
>>628 でうまくできなかったら >>625 の方法を試してみようとは思わないのか？

１で割っても値は変わらない。
その後、分母・分子に 1/(cos(x/2))^2 をかけている