מכינה למחלקת מתמטיקה/מערכי שיעור/7

מתוך Math-Wiki
גרסה מ־21:17, 14 באוגוסט 2012 מאת ארז שיינר (שיחה | תרומות) (יצירת דף עם התוכן "חזרה למערכי השיעור ==אינדוקציה מתמטית== בהנתן סדרת טענ...")
(הבדל) → הגרסה הקודמת | הגרסה האחרונה (הבדל) | הגרסה הבאה ← (הבדל)

חזרה למערכי השיעור

אינדוקציה מתמטית

בהנתן סדרת טענות [math]\displaystyle{ P(n) }[/math], אנו מוכיחים לפי אינדוקציה כי כל הטענות נכונות אם מתקיימים שני התנאים הבאים:

  • הטענה הראשונה נכונה (כלומר, עבור n=1)
  • כל טענה גוררת את הבאה אחריה. כלומר, לכל n אם נניח כי [math]\displaystyle{ P(n) }[/math] נכון, נוכל להוכיח כי [math]\displaystyle{ P(n+1) }[/math] נכון גם הוא


תרגילים

  • [math]\displaystyle{ 1+2+...+n=\frac{n(n+1)}{2} }[/math]


  • [math]\displaystyle{ 1^2+2^2+3^2+...+n^2=\frac{n(n+1)(2n+1)}{6} }[/math]


  • [math]\displaystyle{ 1^3+2^3+...+n^3=(1+2+...+n)^2 }[/math]