求证:a^2+b^2≥(a+b)^2/2,并指出等号成立的条件