函数y=sinx-cosx-根号2的最大值