How do you prove 1+ sin(x)= 2*cos^2 (pi/4- x/2)?