Ask Me Help Desk - I'm trying to verify the following identity

there could be used 2 methods:

[math]\tan(x-y)=\frac{\cosy - \sin y\cot x}{\cot x \cos y + \sin y}[math]

the first one:
$\tan(x-y)=\frac{\tan x- \tan y}{1+ \tan x\tan y}=\frac{\frac{\sin x}{\cos x}-\frac{\sin y}{\cos y}}{1+ \frac{\sin x}{\cos x}\frac{\sin y}{\cos y}}=\frac{{\sin x\cos y - \sin y\cos x}{\cos x\cos y}}{{\cos x\cos y+\sin x\sin y}{\cos x\cos y}}=\frac{sin(x-y)}{cos(x-y)}=\tan(x-y)$

the second one:
$\frac{\cos y -\sin y \frac{\cos x}{\sin x}}{\frac{\cos x}{\sin x}+\sin y}=\frac{\cos y\sin x-\sin y\cos x}{\cos x\cos y + \sin x\sin y}$
and from this point I think you got it

Good luck! :)