设实数a,b属于R ,求证:a^2+b^2+2=>a+b+ab,并求出等号成立条件