Resuelve cos x + sin x = 1 en [0, 2pi) . (Usa cos x + sin x = \sqrt 2 sin(x + pi/4) .)