>>297
cos(π/2-x)＝sin x とか使って、和積の公式＋背理法で簡単じゃあるまいか？