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

תוכן שנמחק תוכן שנוסף
דרורק (שיחה | תרומות)
אין תקציר עריכה
דרורק (שיחה | תרומות)
אין תקציר עריכה
שורה 1:
==אינדוקציות על סכומים==
בהוכחות מסוג זה, צריך להראות שסכום של טורסדרה מסויםמסויימת שווה לביטוי כלשהו.
===דוגמא===
פה כמעט ולא ניתן לפתור מבלי להיעזר בהנחת האינדוקציה, ויש להשתמש בה בשלב ג'.
{{טענה|לכל <math>\ n </math>, סכומם של כל המספרים הטבעיים עד <math>\ n </math> נתון באמצעות הנוסחה: <math>\ \frac{n(n+1)}{2} </math>}}
* נביט לדוגמה על הטענה הבאה:
<u>טענה<u\>: לכל <math>\ n </math>כלומר, סכומםמדובר שלעל כלסכום המספרים הטבעיים עד מ-<math>\ n1 </math> נתון באמצעות הנוסחה:עד <math>\ \frac{n(n+1)}{2} </math>.
מספרים על המתמטיקאי הדגול [[w:קרל פרידריך גאוס|גאוס]] שעוד בילדותו מצא נוסחא זו בעודו בבית הספר, אך לא כאן המקום לדון בכך. פרטים על נוסחא זו תוכלו למצוא במאמר "[[w:קרל פרידריך גאוס|גאוס]]" בויקיפדיה.</br>
 
<u>{{הוכחה<u\>:</br>|
כלומר, מדובר על סכום המספרים הטבעיים מ-<math>\ n </math> עד <math>\ 1 </math>.
הטענה הוכחה בצורה יפה ע"י המתמטיקאי הידוע [[w:קרל פרידריך גאוס|גאוס]] עוד בילדותו, אבל לא כאן המקום לדון על כך. </br>
<u>הוכחה<u\>:</br>
עלינו להוכיח שמתקיים:
<math>\ 1+2+...+n=\frac{n(n+1)}{2} </math>.
שורה 26 ⟵ 24:
<math>\ \star \star </math>
נקבל: <math>\ k(k+1)+2(k+1)=k(k+1)+2(k+1) </math>.</br>
וקיבלנו שיוויון. -מכאן, מ.ש.ל.על פי משפט ההוכחה באינדוקציה, הטענה נכונה לכל מספר טבעי}}
 
הוכחנו טענה בסיסית שתעזור לנו בהוכחות יותר מורכבות, שבהן נוכל להתמש בה בלי לנמק איך הגענו אליה.