在 R 内求解 sin x + cos x = \sqrt 2 。(使用 。)