מתמטיקה תיכונית/אלגברה תיכונית/אינדוקציה מתמטית/אינדוקציה על סכומים

אינדוקציות על סכומים

עריכה

בהוכחות מסוג זה, צריך להראות שסכום של סדרה מסויימת שווה לביטוי כלשהו.

דוגמא

עריכה

טענה:

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

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


הוכחה: עלינו להוכיח שמתקיים:   .

  • שלב א: בסיס האינדוקציה: נבדוק את נכונות הטענה עבור   :
  , כלומר קיבלנו   לכן הטענה נכונה עבור   .
  • שלב ב: הנחת האינדוקציה: נניח את נכונות הטענה עבור   , כלומר נניח שמתקיים
  עד ל-   מסוים.
  • שלב ג: צעד האינדוקציה: נוכיח עבור   . במילים אחרות, עלינו להוכיח שמתקיים:
 

כעת: ניעזר בהנחת האינדוקציה, ונכתוב:   , כלומר למעשה עלינו להוכיח שמתקיים:

 

אם   , הרי שמתקיים גם:  

וכן נשים לב שמתקיים:   , לכן מ-   נקבל:   . וקיבלנו שוויון.

מכאן, על-פי משפט ההוכחה באינדוקציה, הטענה נכונה לכל מספר טבעי

 

הוכחנו טענה בסיסית שתעזור לנו בהוכחות יותר מורכבות, שבהן נוכל להתמש בה בלי לנמק איך הגענו אליה. הרעיון שמאחורי הוכחות כאלו הוא:

  1. לנסח את מה שצריך להוכיח נכון.
  2. לסמן את הנחת האינדוקציה ולהציב אותה בשלב האינדוקציה (לעתים יותר מפעם אחת!).
  3. לבצע מספר פעולות חשבוניות עד לקבלת התוצאה המיוחלת.

יש לשים לב שמותר ואף רצוי לעתים לנצל את הנחת האינדוקציה כמה פעמים.


הפרק הקודם:
אינדוקציה של טענה כללית
אינדוקציה על סכומים
תרגילים
הפרק הבא:
אינדוקציה על אי-שוויונות