基本不等式的算术平均数