用反证法,设若两者都不成立,
即 (1+x)/y>=2 ,(1+y)/x>=2 而x>0,y>0
=> 1+x>=2y ,1+y>=2x
两式相加,2+x+y>=2x+2y
=> x+y2矛盾,故假设不成立.
原题得证.