代数 示例

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