若原命题不成立,则有
a^2+b^2<=a^2b+ab^2
a^2+b^2-2ab<=a^2b-ab+ab^2-ab=ab(a+b-2)
即(a-b)^2<=ab(a+b-2),显然,取a=b=0.5,该不等式不成立,矛盾,故原命题成立.