引理 引理 古希臘語 λῆμμα 拉丁語Lemma又称辅助定理是数学中为了取得某个更好的结论而作为步骤的已證明命题其意义并不在于自身已完成证明而在于其为了达成最终目的而作出贡献 一个引理可用于证明多个结论数学中存在很多著名的引理这些引理可能对很多问题的解决有帮助例如欧几里得引理乌雷松引理德恩引理法图引理高斯引理中山引理阿貝爾引理庞加莱引理里斯引理和佐恩引理等 引理和定理没有严格的区分