在 [0, 2pi) 内求解 sin x = \sqrt 2/2 。