sinx=根号2/2的解集(最简三角方程)