How do you prove tan2xsin2x=tan2x+cos2x1?