怎么证明任意3个数的算术平均数恒大于等于它们的几何平均数?