Resuelve sin x + cos x = \sqrt 2 en R . (Usa .)