Solve cos x + sin x = 1 on [0, 2pi) . (Use cos x + sin x = \sqrt 2 sin(x + pi/4) .)