Explain why #cos2y + sin2y = 1# equals to #sqrt2cos(2y-45^@) = 1# ?