几何平均值定理是一个在数学中广泛应用的定理，它指出对于一组非负数，它们的几何平均值不大于其算术平均值。 具体来说，如果有n个非负数x1, x2, ..., xn，其中任何一个数不为0，则它们的几何平均值是这些数的总乘积的n次方根，即G = (x1 * x2 * ... * xn)^(1/n)，而它们的算术平均值是这些数的总和除以n，即A = (x1 + x2 + ... + xn)/n。 根据几何平均值定理，我们有G