设a,b是不相等的正常数,x,y,都是正数,求证:a^2/x+b^2/y>=(a+b)^2/x+y,并指出等号成立的条件