引理: f(x)=x + 1/x 在区间[a, b] (a, b > 0) 上的最大值是 max(f(a), f(b)). 提示,函数在(0,infinity)上只有一个极小值点x=1. 将原不等式恒等变形成: [(x + y)/sqrt(x^2 + y^2) + sqrt(x^2 + y^2)/(x + y)] 显然sqrt(x^2 + y^2) = (x + Y)/sqrt(2). 这样上式的左边