三角学 示例

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