How do you prove that cos2x1+sin2x=1tanx1+tanx?