How do you prove that # -cot2x = (tan^2x-1)/(2tanx #?