求各位提供算术,几何,调和平均值不等式的证明.写明出处.