How do you prove that cot2x=1+cos2x1cos2x?