求证a^2+b^2+1>=ab+a+b,并指出等号成立的条件