למה (מתמטיקה)

לֶמה (באנגלית: Lemma; מיוונית: λημμα) היא משפט מתמטי המשמש כלי-עזר להוכחת משפטים אחרים. נקראת לפעמים גם משפט עזר. 

מלבד העובדה שהיא מסייעת בהוכחת משפט אחר, ההבחנה בין "לֶמה" לבין "משפט" היא בעיקר ערכית – הלֶמה עשויה להימצא בצילו של המשפט אשר בהוכחתו סייעה. עם זאת הוכחת הלֶמה עשויה לפתור את מרבית הדרך להוכחת משפט המטרה או אף לפתוח צוהר רחב יותר ממנו בגלל מאפיינים ונושאים שונים שהועלו בזמן הוכחתה. לכן בין הלמות קיימות גם תוצאות חשובות רבות: הלמה של צורן, הלמה של בזו, הלמה של פאטו, הלמה של נקאימה ועוד. 

מהעת העתיקה מוכרות הלמה של אוקלידס וספר הלמות של ארכימדס.

אטימולוגיה

המילה היוונית "למה" ("λημμα") פירושה: "כל דבר המתקבל. כגון מתנה, רווח או שוחד". הטיית הריבוי לֶמוֹת נמצאת בשימוש נפוץ, אף שבשפת המקור הצורה הנכונה מבחינה לשונית היא לֶמַטָה, בתעתיק מהמקור היווני λημματα.

קישורים חיצוניים

הערות שוליים 

משפטים מתמטיים
הוכחה