式がそのままではどの恒等式にも当てはまらないときは、すべての関数を正弦と余弦で表しましょう。最短の方法であることはまれですが、必ず手がかりが得られます。
cot(x)2sin(x)2+sin(x)2=1を証明しましょう。cot x をsin(x)cos(x)と書くと、最初の項はsin(x)cos(x)2⋅sin(x)2となります。分数を二乗してsin(x)2cos(x)2とし、分子どうし、分母どうしを掛けて、sin(x)2を約分します。すると最初の項はcos(x)2になります。この式はcos(x)2+sin(x)2となり、これは1です。
商を二乗すると、分子と分母の両方が二乗されます: ba2=b2a2。分母を二乗し忘れないように注意しましょう。