求证基本不等式公式a+b/2大于等于根号ab