עיקרון האינדוקציה: שלב הבסיס ושלב הצעד
מבוא
מטרות השיעור
- להכיר את האינדוקציה המתמטית כשיטת הוכחה לטענות שיש בהן משתנה טבעי n
- להבין מהו שלב הבסיס ומהו שלב הצעד ומדוע שניהם נחוצים
- להבחין בין הוכחה באינדוקציה לבין הסקה מדוגמאות אמפיריות
- לזהות מהלכי הוכחה שגויים שאינם מהווים הוכחה תקפה
הרעיון המרכזי
עד עכשיו הכרתם שתי שיטות הוכחה: הוכחה ישירה (שרשרת היסקים) והוכחה על דרך השלילה. האינדוקציה המתמטית היא שיטה נוספת, והיא מתאימה במיוחד להוכחת טענה לגבי אינסוף מקרים שאפשר למנות — כלומר טענה מהצורה "לכל מספר טבעי n מתקיים...".
עיקרון האינדוקציה
כדי להוכיח שטענה מתקיימת לכל מספר טבעי n, די להוכיח שתי דרישות:
- שלב הבסיס: הטענה מתקיימת עבור n=1.
- שלב הצעד: אם הטענה מתקיימת עבור מספר טבעי כלשהו k, אז היא מתקיימת גם עבור העוקב k+1.
מקיומן של שתי הדרישות נובע (שלב ההסקה) שהטענה מתקיימת לכל מספר טבעי.
בהוכחה באינדוקציה מהם שני השלבים שצריך להוכיח?
כדי לבדוק, סמנו או הקלידו תשובה קודם
דימוי הדומינו
דמיינו שורה אינסופית של אבני דומינו. אנו רוצים שכולן ייפלו.
- שלב הבסיס = להפיל את האבן הראשונה.
- שלב הצעד = להבטיח שכל אבן שנופלת מפילה את האבן הבאה אחריה.
אם שני אלה מתקיימים — האבן הראשונה נופלת, ולכן השנייה, ולכן השלישית, וכן הלאה לכל אורך השורה. בדיוק זו הלוגיקה של האינדוקציה.
דוגמאות מפורטות
דוגמה 1: זיהוי שלב הבסיס
מהו שלב הבסיס בהוכחת ?
שלב 1 — מהו המקרה הראשון
בהוכחה באינדוקציה של הטענה 'לכל n טבעי מתקיים , מהו שלב הבסיס?
כדי לבדוק, סמנו או הקלידו תשובה קודם
דוגמה 2: ניסוח שלב הצעד
כיצד מנסחים את שלב הצעד עבור ?
שלב 1 — הנחת האינדוקציה
מהי ההבחנה הנכונה בין 'הטענה הכללית שמוכיחים' לבין 'ההנחה בשלב הצעד'?
כדי לבדוק, סמנו או הקלידו תשובה קודם
דוגמה 3: הוכחה ויזואלית — משולש נקודות
במשולש נקודות, שורה i מכילה i נקודות. הוכיחו שב-n השורות הראשונות יש נקודות
בייצוג הויזואלי הזה ההוספה של שורה אחת מתאימה באופן טבעי למעבר מ-k ל-k+1.
שלב הבסיס
דוגמה 4: צעד תקין אך בסיס שנכשל
מדוע ההוכחה ש- פסולה?
זו הדגמה ששני השלבים אינם תלויים זה בזה — צעד תקין בלבד אינו מספיק.
שלב 1 — בודקים את שלב הצעד
תלמיד 'הוכיח' את הטענה . הוא הראה נכון את שלב הצעד, אך לא בדק את שלב הבסיס. בדקו את אגף שמאל , אגף ימין . מה המסקנה הנכונה?
כדי לבדוק, סמנו או הקלידו תשובה קודם
טעויות נפוצות
טעות נפוצה: חושבים שבדיקת כמה מקרים היא הוכחה
ייתכן שטענה תתקיים עבור מיליון ערכים ראשונים ובכל זאת תיכשל בהמשך. לכן צריך הוכחה לכל n, לא בדיקה של דוגמאות.
למה זה קורה?
איך מתקנים?
טעות נפוצה: מדלגים על שלב הבסיס
בטענה שלב הצעד תקין, אך הבסיס נכשל (), והטענה שגויה לכל n.
למה זה קורה?
איך מתקנים?
טעות נפוצה: מבלבלים בין ההנחה לבין הטענה הכללית
הטענה הכללית: . ההנחה בצעד: עבור k מסוים. הגרירה "אם נכון ל-k אז נכון ל-k+1" אינה דורשת לדעת ש-k אכן מקיים.
למה זה קורה?
איך מתקנים?
טעות נפוצה: חושבים שאינדוקציה עובדת לכל טענה
עבור הטענה , כבר ב-n=1 מקבלים 1<1 שאינו נכון — אין אפילו בסיס.
למה זה קורה?
איך מתקנים?
סיכום
מה למדנו?
- אינדוקציה היא שיטת הוכחה לטענות עם משתנה טבעי n, על אינסוף מקרים.
- שלב הבסיס: מוכיחים שהטענה נכונה עבור n=1.
- שלב הצעד: מוכיחים שאם הטענה נכונה עבור k, אז היא נכונה עבור k+1.
- שלב ההסקה: משני אלה נובע שהטענה נכונה לכל n.
- שני השלבים אינם תלויים זה בזה — שניהם הכרחיים (דימוי הדומינו).
- בכל הוכחה יש לציין בבירור את הבסיס, הצעד וההסקה.
כל הכבוד! עכשיו אתם מבינים את הלוגיקה של האינדוקציה ומוכנים ליישם אותה.
תרגול נוסף
עברו לתרגול כדי להתאמן על זיהוי שלב הבסיס, שלב הצעד וזיהוי הוכחות פסולות!