证明:
先定策略:两边分别往正弦、余弦上化。 两边谁也没有明显更简单,所以与其把一边硬凑成另一边,不如各自独立化简,最后说明两个结果一致。这里用到的每一块要么是倒数关系式,要么是平方关系式。
化简左边。 由 ,第一项是
至于第二项,用平方关系式 得
所以左边等于 。
化简右边。 由 得 ,于是
又因为 ,
所以右边等于 。
把两个形式接上。 对右边用 :
这与左边完全一致,恒等式得证。
说明成立范围,并代一个值检验。 该恒等式要求 、、 都有意义且 ,即 不是 的整数倍。取 :左边是 加上 ,得 ;右边是 减去 ,也得 ✓。
Need to solve a different problem like this? Open the solver →