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

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
Gadial (שיחה | תרומות)
מ ←‏דוגמה 2: - הסרת הדוגמה עד אשר יובהר כיצד יש לתקן את הטענה וההוכחה
שורה 18:
כעת: האיבר (*) שווה, לפי הנחת האינדוקציה, ל- <math>\left( n-1 \right) ^2</math>. כלומר, נוכל לכתוב:</br> <math>\sum_{k=1}^n \left( 2\times k-1 \right) =\sum_{k=1}^{n-1} \left( 2\times k-1 \right) + \left( 2\times n-1 \right) = \left( n-1 \right) ^2 + \left( 2\times n-1 \right) =</math>
<math>= \left( n^2 -2n +1 \right) +2n-1 =n^2 -2n+1+2n-1 =n^2 </math>.</br>ובזאת סיימנו את ההוכחה. במתמטיקה, נהוג לסמן בסוף הוכחה ריבוע קטן: ▪.
 
===דוגמה 2===
נתונים <math>\ x\le -1,\ n\in\mathbb{N} </math> כלשהם. הוכיחו עבורם את אי השיוויון הבא: <math>\left( 1+x\right) ^n\le 1+nx </math></br>
<u>הוכחה</u>: נוכיח באינדוקציה. </br>
# ''בסיס האינדוקציה'': בדיקה עבור <math>\ n=1</math>: <math>\ \left( 1+x\right) ^1 \le 1+x\cdot 1</math>.
# ''הנחת האינדוקציה:''נניח שמתקיים: <math>\ \left( 1+x\right) ^n\le 1+nx </math>.
# ''צעד האינדוקציה'': נוכיח עבור <math>\ n+1</math>:
<math>\ \begin{matrix} \left( 1+x\right) ^{n+1}=\left( 1+x\right) ^n\left( 1+x\right) \underbrace{ \le }_{*} \left( 1+nx\right) \left( 1+x\right) = \\ =
\ 1+x+nx^2+nx<1+x+nx=1+\left( n+1\right) x \end{matrix} </math>
</br>שימו לב, שב- <math>\ *</math> הצבנו את הנחת האינדוקציה - והטענה הוכחה.▪
 
 
<table id=toc width = 75% border = 1 align="center">