三角関数式の簡略化

ピタゴラスの恒等式などを用いる。