初级微积分 示例

检验恒等式 (1-tan(a)tan(b))/(1+tan(a)tan(b))=(cos(a+b))/(cos(a-b))
我解不出这道题目。