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