三角学 示例

检验恒等式 cot(x-y)=(cot(x)cot(y)+1)/(cot(y)-cot(x))
我解不出这道题目。