如何证明a,b,c都为正数时,算术平均数大于等于几何平均数?