נסיגה אינסופית

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

שימוש בנסיגה אינסופית ניתן לראות עוד בהוכחת אוקלידס לכך שהשורש הריבועי של 2 הוא מספר אי-רציונלי. בהוכחת אוקלידס מראים שאם שורש 2 היה רציונלי, אז היה ניתן להציגו כשבר שניתן לצמצמו ב-2 עד אינסוף, ולכן שורש 2 אינו רציונלי. פרמה נחשב למי שמיסד את השימוש השיטתי בשיטה כשהשתמש בה כדי להוכיח טענות על משוואות דיופנטיות. המפורסמת שבהן היא הטענה שלמשוואה  אין פתרונות במספרים טבעיים (זהו מקרה פרטי של המשפט האחרון של פרמה). הוכחת נסיגה מפורסמת נוספת של פרמה היא הוכחת הטענה שכל מספר ראשוני השקול ל-1 מודולו 4 הוא סכום של שני ריבועים.

דוגמה
נוכיח בעזרת נסיגה אינסופית שאין פתרונות בטבעיים למשוואה :

נניח בשלילה שיש פתרון. אז מתקיים ש-  מתחלק ללא שארית ב-3. כיוון שמספר ריבועי חייב לתת בחלוקה ב-3 שארית 1 או 0, אנחנו מקבלים ששני המספרים חייבים להתחלק ב-3. יהיו  מספרים המקיימים . נציב במשוואה המקורית ונקבל , או . אבל  קטנים יותר מ-  בהתאמה, לכן לכל רביעית מספרים טבעיים קיימת רביעייה כך ששניים מהם קטנים יותר שעדיין מקיימת את המשוואה. אם נמשיך בכך עד אינסוף נגיע לסתירה. משום כך אין למשוואה דיופנטית זו אף פתרון בטבעיים.

ראו גם
אינדוקציה מתמטית

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

מושגים במתמטיקה
שיטות הוכחה