如何用图形证明两个正数的算术平均值大于它们的几何平均值?