三角学 示例

检验恒等式 1-tan(x)tan(y)=(cos(x+y))/(cos(x)cos(y))
解题步骤 1
已知方程是恒等式。
是一个恒等式