假设两个都不小于2
所以(y+1)/x>=2,(x+1)/y>=2
其中x,y不等于0
若x〉0,y〉0
则 y+1>=2x,x+1>=2y 相加得x+y=y
由此可见假设不成立,所以原命题成立.