אינדוקציה מתמטית - הוכחה בשני שלבים
איך מוכיחים טענה עבור כל מספר טבעי n, כשיש אינסוף מקרים? אינדוקציה מתמטית עושה זאת בשני שלבים בלבד: בסיס - מראים שהטענה נכונה עבור n = 1; וצעד - מניחים שהיא נכונה עבור n ומוכיחים שאז היא נכונה גם עבור n + 1. כמו שרשרת דומינו: מפילים את הראשון, וכל אחד מפיל את הבא - אז כולם נופלים. הזיזו את n במעבדה וראו את הדומינו נופל ואת נוסחת הסכום 1 + 2 + … + n = n(n+1)/2 נבדקת שלב אחר שלב.
איך מפילים אינסוף אבני דומינו? נניח שסידרתם שורה ארוכה של אבני דומינו - אינסוף אבנים. אינכם יכולים לדחוף כל אחת בנפרד. אבל אם תוודאו שני דברים בלבד: (1) האבן הראשונה נופלת, ו-(2) כל אבן שנופלת מפילה את זו שאחריה - אז בוודאות כולן ייפלו. זה בדיוק עקרון האינדוקציה: שלב הבסיס מפיל את האבן הראשונה (n = 1), ושלב הצעד מבטיח שאם האבן ה-n נפלה, גם האבן ה-n + 1 תיפול. שני שלבים - ואינסוף מקרים מוכחים.
האנטומיה של הוכחה באינדוקציה
לכל הוכחה באינדוקציה יש בדיוק אותם שני שלבים. בסיס: מציבים n = 1 ובודקים ששני האגפים שווים. צעד: מניחים שהטענה נכונה עבור n (הנחת האינדוקציה), ומוכיחים אותה עבור n + 1 - בדרך כלל מוסיפים את האיבר הבא לשני האגפים ומפשטים. הנה המפה המלאה על הדוגמה 1 + 2 + … + n = n(n+1)/2:
מה מרכיב הוכחה באינדוקציה
שישה מושגים שנותנים שליטה מלאה בכל הוכחה באינדוקציה, בדיוק כפי שהיא נדרשת ב-5 יח״ל. נסו לשנות במעבדה שלמעלה את n תוך כדי קריאה, וצפו איך שרשרת הדומינו נופלת ונוסחת הסכום נבדקת עבור כל n.
הטענה P(n)
מנסחים במדויק את מה שרוצים להוכיח לכל n טבעי. למשל P(n): 1 + 2 + … + n = n(n+1)/2. שימו לב - זו טענה אחת עם משתנה n, ולא אינסוף טענות נפרדות.
שלב הבסיס
בודקים שהטענה נכונה עבור n = 1. מציבים ומשווים בין האגפים: אגף שמאל = 1, אגף ימין = 1·22 = 1. שווים - הבסיס מתקיים. זו האבן הראשונה שנופלת.
הנחת האינדוקציה
מניחים שהטענה נכונה עבור n מסוים: 1 + 2 + … + n = n(n+1)/2. זו ההנחה שממנה נצא - האבן ה-n שכבר נפלה. איננו מוכיחים אותה, אלא משתמשים בה.
שלב הצעד
מוכיחים שאם הטענה נכונה עבור n, היא נכונה גם עבור n + 1. מוסיפים את האיבר הבא (n + 1) לשני האגפים ומפשטים עד שמתקבל אגף ימין עם n + 1 במקום n.
הפישוט האלגברי
לב הצעד. מ-n(n+1)/2 + (n+1) מוציאים גורם משותף (n+1): (n+1)(n/2 + 1) = (n+1)(n+2)/2 - בדיוק הנוסחה עבור n + 1, כנדרש.
המסקנה
אם הבסיס מתקיים והצעד מתקיים, אז לפי עקרון האינדוקציה הטענה נכונה לכל n טבעי. כל אבני הדומינו נופלות. שני שלבים סוגרים אינסוף מקרים.
דוגמאות פתורות
שלוש הוכחות מלאות באינדוקציה, צעד אחר צעד, בסגנון בגרות של 5 יח״ל. שימו לב לשיטה - היא חוזרת על עצמה: מנסחים P(n), בודקים בסיס, מניחים ל-n, מוסיפים את האיבר הבא ומפשטים עד לצורה של n + 1.
- בסיס (n = 1): אגף שמאל = 1; אגף ימין = 1·22 = 1. שווים ✓
- הנחה: נניח שעבור n מתקיים 1 + 2 + … + n = n(n+1)/2.
- צעד: מוסיפים (n + 1) לשני האגפים: 1 + … + n + (n+1) = n(n+1)/2 + (n+1).
- פישוט: מוציאים (n+1) משותף: (n+1)(n/2 + 1) = (n+1)(n+2)/2 - בדיוק הנוסחה עבור n + 1.
- הבסיס והצעד מתקיימים, ולכן לפי עקרון האינדוקציה 1 + 2 + … + n = n(n+1)/2 לכל n טבעי.
- בסיס (n = 1): אגף שמאל = 1; אגף ימין = 1² = 1. שווים ✓
- הנחה: נניח שעבור n מתקיים 1 + 3 + … + (2n − 1) = n².
- צעד: האיבר הבא הוא 2(n+1) − 1 = 2n + 1. מוסיפים אותו: n² + (2n + 1).
- פישוט: n² + 2n + 1 = (n + 1)² - בדיוק הנוסחה עבור n + 1.
- הבסיס והצעד מתקיימים, ולכן 1 + 3 + … + (2n − 1) = n² לכל n טבעי.
- בסיס (n = 1): אגף שמאל = 1; אגף ימין = 1·2·36 = 1. שווים ✓
- הנחה: נניח שעבור n מתקיים 1² + … + n² = n(n+1)(2n+1)/6.
- צעד: מוסיפים (n + 1)²: n(n+1)(2n+1)/6 + (n+1)². מוציאים (n+1)/6 משותף: (n+1)[n(2n+1) + 6(n+1)]/6.
- פישוט: n(2n+1) + 6(n+1) = 2n² + 7n + 6 = (n+2)(2n+3), אז מקבלים (n+1)(n+2)(2n+3)/6 - בדיוק הנוסחה עבור n + 1.
- הבסיס והצעד מתקיימים, ולכן 1² + … + n² = n(n+1)(2n+1)/6 לכל n טבעי.
תרגול אינטראקטיבי
תרגול מקיף בשלוש רמות: יסוד (בדיקת בסיס וחישוב סכומים ישיר), יישום (זיהוי האיבר הבא ופישוט הצעד), ורמת בגרות (הוכחה מלאה עם נימוק). פתרו סט, ועברו לסט הבא עם החצים. בשאלות עם הקלדה אפשר לפתוח מקלדת מתמטית, ובכל שלב את המחשבון של נדב כץ - כולל לשונית "בודק האינדוקציה".
דרכים לתרגל את הדף הזה
המשחק בנוי מהשאלות ומאוצר המילים של הדף עצמו, ועוקב אחרי מה שכבר יושב לכם ומה שעוד לא. שאלה עולה דרגה כשעונים עליה נכון, ויורדת בטעות. ההתקדמות נשמרת במכשיר הזה בלבד.
הנקודות שכדאי לזכור
- 1שני שלבים: בסיס (n=1) ו-צעד (מ-n ל-n+1) - יחד מוכיחים לכל n טבעי.
- 2בסיס: מציבים n = 1 ומראים ששני האגפים שווים.
- 3הנחה: מניחים שהטענה נכונה עבור n - ולא מוכיחים אותה.
- 4צעד: מוסיפים את האיבר הבא לשני האגפים ומפשטים עד לצורה עם n + 1.
- 5דומינו: אבן ראשונה נופלת + כל אבן מפילה את הבאה ← כולן נופלות.