证明sin x+cos x的最大值等于 根号2