prove cot(2x)=(1-tan^2(x))/(2tan(x))

In a previous post, we learned about trig evaluation. It is important that topic is mastered before continuing...