Risolvi sin x + cos x = \sqrt 2 in R . (Usa .)