证明:假设1+x/y，1+y/x都不小于2，即1+x/y大于等于2，且1+y/x大于等于2，因为x，y大于0，所以1+x大于等于2y，且1+y大于等于2x，把这两个不等式相加2+x+y大于等于2(x+y)所以x+y小于等于2，与已知矛盾！
