几何平均数公式a1,a2,a3.an的算术平均数大于他的几何平均数的证明,