摘要

将从基于一元函数的一个基本事实的Gromov引理出发,探讨Gromov引理产生的基本想法,并将其应用到高等数学的几个常见不等式的证明上,给出常见不等式的新的证明方法.