m×n的非负实数矩阵中,n列每列元素之和的几何平均值不小于矩阵中m行每行元素的几何平均值之和.符号语言即：(x1+y1+…)(x2+y2+…)…(xn+yn+…)≥[(Πx)^(1/n)+(Πy)^(1/n)+…]^n (*) 　　注：“Πx”表示x1,x2,…,xn...