How do you prove #(1 - tanx) / (1 + tanx) = (1 - sin2x) / (cos2x)#?