求证:(a+b/2)的平方≤a方+b方/2