几何平均数不小于算术平均数证明,证三个数的就行,不能用局部变动法