How to proof that cotan x - cos x/cos x = cos ^2x/1+sin x ?