חשבו את הסכומים , , , וכן הלאה. יוצא . נראה שהסכום של המספרים הראשונים הוא . בדקנו חמישה ערכים. אבל איך יודעים שהנוסחה נכונה גם עבור , ועבור כל ?
מהו ? חשבו פעם מ- ופעם בנוסחה .
להציג את התשובה והפתרון
, ובנוסחה . שתי הדרכים נותנות אותו מספר: הנוסחה עברה מ- ל-.
שורה של אבני דומינו
דמיינו שורה אינסופית של אבני דומינו. כדי שכל האבנים ייפלו צריך שני דברים: שהאבן הראשונה תיפול, ושכל אבן שנופלת תפיל את הבאה אחריה. זה עקרון האינדוקציה המתמטית.
שלושת השלבים בכתיבה
בדיקה: מציבים בשני האגפים ומראים שהם שווים
הנחה: מניחים שהטענה נכונה עבור (הנחת האינדוקציה)
הוכחה: מוכיחים את הטענה עבור , בעזרת ההנחה
הוכחה:
מספר טבעי
לכל טבעי
: אגף שמאל , אגף ימין
בדיקה עבור
הנחת האינדוקציה
מציבים את ההנחה במקום המחוברים הראשונים
מכנה משותף, ואז הוצאת הגורם המשותף
היא הנוסחה עבור
מציבים ב- ומקבלים אותו ביטוי
הבסיס והצעד הוכחו, ולכן לפי עקרון האינדוקציה הנוסחה נכונה לכל טבעי.
לפני שמתחילים את שלב 3, כותבים את המטרה. מהי הנוסחה עבור ?
להציג את התשובה והפתרון
. מציבים במקום כל בנוסחה, גם בתוך הסוגריים: הופך ל-.
לכתוב את המטרה לפני החישוב
הטענה: . מה כותבים בשלב ההוכחה?
הנחת האינדוקציה
המטרה: מציבים . האיבר החדש הוא
מציבים את ההנחה ומוציאים גורם משותף . הגענו למטרה
הנחת האינדוקציה היא הנחה, לא מה שמוכיחים. בשלב 3 חייבים להשתמש בה. הוכחה שלא משתמשת בהנחה בכלל היא סימן שמשהו חסר. בבגרות הופיעו בעבר גם טענות על התחלקות (למשל ש- מתחלק ב-), אבל השנה הן לא נלמדות. בפרק הזה נוכיח סכומים, נוסחאות של סדרות ונזהה הוכחות שגויות.
שתי הטעויות הנפוצות בשלב ההוכחה.
מציבים במקום בכל מקום בנוסחה. לא מוסיפים לתוצאה.
בדיקה של כמה ערכים, גם של מאה ערכים, אינה הוכחה. היא רק מחזקת את ההשערה.
תרגילים
תרגיל 1
מה צריך להוכיח בהוכחה באינדוקציה של טענה על כל טבעי?
להציג את התשובה והפתרון
התשובה: ד שהטענה נכונה עבור , ושאם היא נכונה עבור אז היא נכונה עבור
הפתרון:
הבסיס
הצעד
הנכונה: בסיס וצעד יחד. שלוש בדיקות אינן הוכחה. צעד בלי בסיס לא מתחיל. ו-«נכונה עבור » זו ההנחה, לא ההוכחה.
תרגיל 2
הטענה היא . מה צריך להוכיח עבור ?
להציג את התשובה והפתרון
התשובה: ד
הפתרון:
מציבים בכל מקום
הנכונה: . מי שבחר הוסיף לתוצאה במקום להציב. בתשובה האחרונה לא הפך ל-.
תרגיל 3
לפי הנוסחה , חשבו את .
להציג את התשובה והפתרון
התשובה: 1275
הפתרון:
יש 50 מחוברים
מציבים
הנוסחה שהוכחנו חוסכת חיבור של חמישים מספרים. הטעות הנפוצה: לשכוח לחלק ב- ולקבל .
תרגיל 4
הוכיחו או הפריכו: אם בדקנו שהטענה נכונה עבור , היא נכונה לכל טבעי.
להציג את התשובה והפתרון
התשובה: לא נכון
הפתרון:
מאה בדיקות
שום דבר לא מבטיח את הבאה
הטענה לא נכונה. בדיקות רבות אינן מחליפות את הצעד. בשיעור על הוכחות שגויות נראה נוסחה שעוברת שלוש בדיקות ונכשלת ברביעית.
תרגיל 5
הטענה: . השלימו את שלב ההוכחה עבור .
____ ____
להציג את התשובה והפתרון
התשובה: 2 2
הפתרון:
הנחת האינדוקציה
מוסיפים את האיבר החדש
גורם משותף
היא בדיוק עבור . המלכודת: לפתוח סוגריים ל- ולא לזהות את המטרה. גורם משותף מראה אותה מיד.
תרגיל 6
מיינו כל משפט לשלב שבו הוא נכתב, בהוכחה של .
להציג את התשובה והפתרון
התשובה: — בסיס (בדיקה) · מציבים בשני האגפים — בסיס (בדיקה) · נניח — צעד (הנחה והוכחה) · — צעד (הנחה והוכחה) · נוכיח עבור — צעד (הנחה והוכחה)
הפתרון:
: הבסיס
הצעד
הבסיס הוא מספרים, בלי . הצעד עובד עם כללי. המלכודת: לחשוב שהבסיס הוא הנחה. הבסיס נבדק בחישוב.
תרגיל 7
לפניכם שלב ההוכחה של . שורה אחת שגויה. מצאו אותה.
להציג את התשובה והפתרון
התשובה: →
הפתרון:
מכנה משותף
כדי לחבר לשבר שמכנהו , כופלים את ב-. השורה האחרונה נכונה, אבל היא לא נובעת מהשורה השגויה.
תרגיל 8
סדרו את שלבי ההוכחה של .
להציג את התשובה והפתרון
התשובה: בודקים עבור : · מניחים: · כותבים את המטרה: · מציבים את ההנחה: · מוציאים גורם משותף ומקבלים
הפתרון:
בסיס
הנחה
מטרה, ואז חישוב
קודם בסיס, אחר כך הנחה, ורק אז החישוב. המלכודת: להתחיל מהמטרה ולהגיע ממנה ל-. כך לא מוכיחים שוויון.
תרגיל 9
הוכיחו באינדוקציה: לכל טבעי, . כתבו בכל שורה טענה ונימוק.
להציג את התשובה והפתרון
- — בדיקה עבור
- — הנחת האינדוקציה
- — מוסיפים את האיבר ה- ומציבים את ההנחה
- — הוצאת גורם משותף
- — כלל המעבר: זו הטענה עבור
הפתרון:
בסיס
צעד
האיבר ה- הוא , לא . המלכודת: להוסיף רק את המספר .