数学天才请进 已知sinx+cosx=根号2/2(0