Prove that Sin(pi/4 + x) + sin (pi/4 - x) = root 2 cos x ?