حساب المثلثات الأمثلة

برهن المتطابقة cot(x-y)=(cot(x)cot(y)+1)/(cot(y)-cot(x))
لا أستطيع حل هذه المسألة.