How do you prove that # sin^2(x/2) = (1-cos^2x)/(2(1+cosx)) #?