引理

用於證明更複雜的定理的定理

引理古希臘語: λῆμμα, 拉丁語Lemma,又稱「輔助定理」)是數學中為了取得某個更好的結論而作為步驟的已證明命題,其意義並不在於自身已完成證明,而在於其為了達成最終目的而作出貢獻。

一個引理可用於證明多個結論。數學中存在很多著名的引理,這些引理可能對很多問題的解決有幫助。例如歐幾里得引理烏雷松引理德恩引理法圖引理高斯引理中山引理阿貝爾引理龐加萊引理里斯引理佐恩引理等。

引理和定理沒有嚴格的區分。

參見