תלמידה מציעה נוסחה: . היא מראה שהצעד עובד, בחישוב נכון. הנה הסכומים האמיתיים, והנה הערכים של הנוסחה שלה. השוו את החצים.
הראו שהצעד של הנוסחה המוצעת עובד: אם , אז .
Voir la réponse et le corrigé
, וגם . הצעד עובד. אבל עבור : . בלי בסיס אין הוכחה, גם כשהצעד מושלם.
הצעד שנשבר במעבר מ-1 ל-2
הוכחה יכולה להיכשל גם כשהבסיס נכון: אם הצעד לא עובד לכל . הנה «הוכחה» מפורסמת, ובה שגיאה אחת.
«הוכחה»: כל הכדורים בכל שקית הם באותו צבע
שקית עם כדורים
כל הכדורים באותו צבע
: כדור אחד הוא בצבע אחד
בדיקה
כל שקית עם כדורים היא בצבע אחד
הנחת האינדוקציה
בשקית עם כדורים, מוציאים את הכדור הראשון: נשארים כדורים בצבע אחד
ההנחה
מחזירים אותו ומוציאים את האחרון: שוב כדורים בצבע אחד
ההנחה
לשתי הקבוצות יש כדורים משותפים, ולכן כולם באותו צבע
כלל המעבר
המסקנה שקרית, ולכן יש שגיאה. חפשו אותה בשורה האחרונה, עבור .
מה קורה בשורה האחרונה כש-, כלומר במעבר מ- כדור ל- כדורים?
Voir la réponse et le corrigé
בשקית יש שני כדורים. הקבוצה הראשונה היא כדור אחד, והשנייה היא הכדור האחר. אין כדור משותף, ולכן אין מעבר. הצעד עובד רק עבור , והבסיס הוא : שרשרת הדומינו נשברת בין האבן הראשונה לשנייה.
להפריך: מספיקה דוגמה נגדית אחת
?
הנוסחה נכונה עבור ועבור . האם היא נכונה לכל ?
מתקיים
מתקיים
נכשלת. הנוסחה שגויה
כדי להוכיח טענה כללית צריך בסיס וצעד. כדי להפריך אותה מספיק ערך אחד של שבו היא נכשלת. ולכן, לפני שמתחילים הוכחה, כדאי לבדוק שניים או שלושה ערכים.
פרמטר: קודם מציבים
בבגרות מופיעה לפעמים נוסחה עם פרמטר. מציבים (ולפעמים גם ), מוצאים את הפרמטר, ורק אז מוכיחים באינדוקציה.
מצאו את .
On remplace (מציבים)
עכשיו מוכיחים באינדוקציה את
טענה עבור זוגי: צעד של 2
הטענה מדברת רק על זוגי. הבסיס הוא , והצעד עובר מ- ל-: מוסיפים שני מחוברים, , ו-.
לפני כל הוכחה שאלו: מאיזה מתחילים, ומה הצעד? בדרך כלל מתחילים מ- וצועדים ב-. בטענה על זוגיים מתחילים מ- וצועדים ב-.
שלוש הוכחות שנראות שלמות ואינן.
צעד בלי בסיס לא מוכיח דבר. הנוסחה עוברת את הצעד ושגויה.
אם הצעד עובד רק מ-, צריך לבדוק גם את . אחרת השרשרת נשברת בין ל-.
כשהצבה אחת נותנת שני ערכים של הפרמטר, הצבה שנייה בוחרת ביניהם.
Exercices
Exercice 1
תלמיד «הוכיח» ש-: הוא הראה שאם הנוסחה נכונה עבור , היא נכונה עבור . מה חסר בהוכחה?
Voir la réponse et le corrigé
Réponse : B הבסיס: עבור הנוסחה נותנת ולא
Corrigé :
הבסיס נכשל
הצעד נכון
הנכונה: הבסיס. הצעד נכון בחישוב, ולכן «הצעד אינו נכון» שגוי. הנוסחה גדולה ב- מהסכום עבור כל , ורק הבסיס חושף את זה.
Exercice 2
תלמידה טוענת: לכל טבעי. מהו ה- הקטן ביותר שעבורו הטענה נכשלת?
Voir la réponse et le corrigé
Réponse : 3
Corrigé :
מתקיים
מתקיים
נכשלת
שתי בדיקות מוצלחות אינן הוכחה. היא דוגמה נגדית, ודוגמה נגדית אחת מספיקה כדי להפריך.
Exercice 3
ידוע ש- לכל טבעי. מצאו את .
Voir la réponse et le corrigé
Réponse : 2
Corrigé :
On remplace (מציבים)
On résout
בדיקה
מציבים ערך קטן של כדי למצוא את הפרמטר. המלכודת: להתחיל אינדוקציה עם לא ידוע.
Exercice 4
בהוכחה ש«כל הכדורים בכל שקית הם באותו צבע», באיזה מעבר נשבר הצעד?
Voir la réponse et le corrigé
Réponse : A מ- כדור ל- כדורים
Corrigé :
שתי קבוצות בלי כדור משותף
יש כדור משותף, והמעבר תקין
הנכונה: מ- ל-. הבסיס נכון, והצעד נכון לכל . אבל שרשרת שנשברת במקום אחד נשברת כולה.
Exercice 5
לפניכם «הוכחה» של . שורה אחת שגויה. מצאו אותה.
Voir la réponse et le corrigé
Réponse : →
Corrigé :
אגף ימין עבור
הצעד כולו נכון. השגיאה היא בבדיקה: . מי שכותב «בדיקה» בלי לחשב את שני האגפים מפספס בדיוק את זה.
Exercice 6
הטענה: לכל זוגי, . השלימו.
הבסיס: ____ ; במעבר מ- ל- מוסיפים ____
Voir la réponse et le corrigé
Réponse : הבסיס: 2 ; במעבר מ- ל- מוסיפים -1
Corrigé :
בסיס
צעד של 2
הטענה על זוגיים בלבד, ולכן הבסיס הוא ולא . המלכודת: לצעוד מ- ל-, ולהגיע ל- אי-זוגי שהטענה לא מדברת עליו.
Exercice 7
מיינו: איזו הוכחה מוכיחה את הטענה לכל טבעי?
Voir la réponse et le corrigé
Réponse : בסיס , וצעד שעובד לכל — הוכחה תקינה · בסיס ו-, וצעד שעובד לכל — הוכחה תקינה · צעד שעובד לכל , בלי בסיס — הוכחה פגומה · בדיקה של עד — הוכחה פגומה · בסיס , וצעד שעובד רק לכל — הוכחה פגומה
Corrigé :
השרשרת צריכה כל חוליה
כל חוליה בשרשרת נחוצה. אם הצעד מתחיל מ-, צריך לבדוק ידנית את . זה בדיוק הפגם בהוכחת הכדורים.
Exercice 8
ידוע ש- לכל טבעי. מצאו את . (רמז: נותן שני ערכים.)
Voir la réponse et le corrigé
Réponse : 1
Corrigé :
שני מועמדים
עוד הצבה
הערך המשותף
הצבה אחת נתנה שני ערכים, ולכן צריך הצבה שנייה. המלכודת: לבחור בלי לבדוק את .
Exercice 9
הוכיחו או הפריכו: אם נכונה, והוכחנו רק עבור , אז נכונה לכל טבעי.
Voir la réponse et le corrigé
Réponse : Faux
Corrigé :
המעבר הראשון לא הוכח
ובלי השרשרת לא מתחילה
הטענה לא נכונה. צריך לבדוק גם את . בהוכחת הכדורים נכונה והצעד עובד מ-, והמסקנה שקרית.
Exercice 10
תלמיד טוען: לכל טבעי. מהו ה- הקטן ביותר שעבורו הטענה נכשלת?
Voir la réponse et le corrigé
Réponse : 4
Corrigé :
מתקיים
מתקיים
מתקיים
נכשלת
שלוש בדיקות הצליחו, והנוסחה עדיין שגויה: הסכום האמיתי הוא . בדיקות מראות מה כדאי להוכיח, לא מוכיחות.