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

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

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

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

אטימולוגיה

המילה היוונית "למה" ("λημμα") פירושה: "כל דבר המתקבל. כגון מתנה, רווח או שוחד".

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


 הערות שוליים 

*
קטגוריה:משפטים מתמטיים
קטגוריה:הוכחה