R で sin x + cos x = \sqrt 2 を解け。( を使う。)