引理是数学中为了取得某个更好的结论而作为步骤被证明的命题，其意义并不在于自身被证明，而在于为达成最终目的作出贡献。

意义

引理（lemma）是数学中为了取得某个更好的结论而作为步骤被证明的命题，其意义并不在于自身被证明，而在于为达成最终目的作出贡献。

一个引理可用于证明多个结论。数学中存在很多著名的引理，这些引理可能对很多问题的解决有帮助。例如欧几里得引理，乌雷松引理，德恩引理，法图引理，高斯引理，中山引理，亨利·庞加莱引理，里斯引理和佐恩引理等。

引理和定理没有严格的区分。

举例说明：

皮耶·德·费玛（Fermat）引理已知函数f在x。点可导，如果存在x。点的某个邻域，在这个邻域里函数值以为最大（或最小），即对这个邻域里任意的导数为零。

这个引理告诉我们，如果函数在某点可导而且他在这一点的函数值不比这一点左右邻近其他点处的函数值小（或大），那它在这一点处的导数必定为零。引理有一个简明的几何解释：如果曲线上某一点的纵坐标不比它左右邻近点的坐标小（或大）而曲线在这点又有非铅直的切线，那么这条切线一定是水平的（即平行于x轴）。