Lösen Sie cos x + sin x = 1 auf [0, 2pi) . (Verwenden Sie cos x + sin x = \sqrt 2 sin(x + pi/4) .)