显然x和y都是正数，所以只要比较x的平方和y的平方哪个更大就可以了。x的平方 = ( a + b + 2 * 根号下(a*b) ) / 2y的平方 = a+b所以y的平方-x的平方 = ( a + b - 2 * 根号下(a*b) ) / 2 = ( 根号a - 根号b ) 的平方 / 2，肯定≥0。所以y的平方≥x的平方所以y≥x，也就是x≤y。
