代数 示例

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