三角関数 例

恒等式を証明する cot(x-y)=(cot(x)cot(y)+1)/(cot(y)-cot(x))
この問題を解くことができません。