‫קבצים אלו נכתבו ונערכו ע"י ד"ר אלון דמיטריוק‬

‫קבצים אלו הינם קבצי עזר ואינם חומר רשמי של הקורס‬

‫אינדוקציה‬

‫הוכחה באינדוקציה היא שיטת הוכחה עבור טענות המערבות מספרים טבעיים‪ .‬באופן יותר מדויק‪,‬‬
‫אם יש טענה כי משהו נכון לכל ‪ n‬טבעי‪ ,‬אז אפשר לנסות להוכיח לפי אינדוקציה‪ .‬למשל את הטענה‬
‫כי לכל ‪ n‬טבעי מתקיים‬
‫)‪n(n + 1‬‬
‫= ‪1 + 2 + ··· + n‬‬
‫‪2‬‬
‫אפשר לנסות להוכיח באינדוקציה‪.‬‬
‫הוכחה באינדוקציה עובדת בצורה הבאה‪ :‬שלב הבסיס‪ :‬מוכיחים ישירות כי הטענה מתקיימת עבור‬
‫‪ .n = 1‬למשל עבור הדוגמא שרשמנו‪ ,‬עבור ‪ n = 1‬השאלה היא האם צד שמאל של המשוואה עבור‬
‫)‪1·(1+1‬‬
‫‪2‬‬
‫‪ n = 1‬שווה לצד ימין של המשוואה כאשר ‪ .n = 1‬בצד שמאל נקבל ‪ 1‬ובצד ימין נקבל ‪= 1‬‬
‫ולכן יש שוויון‪.‬‬
‫בשלב השני‪ ,‬שנקרא שלב המעבר או צעד האינדוקציה‪ ,‬אנו מוכיחים כי אם עבור ‪ n‬מסויים‪ ,‬הטענה‬
‫נכונה לכל ‪ ,1 ≤ k ≤ n‬אז הטענה נכונה עבור ‪ .n + 1‬כך שלמשל בדוגמא שלנו‪ ,‬אנו מניחים כי עבור‬
‫‪ n‬טבעי מסויים‪ ,‬מתקיים כי לכל ‪1 ≤ k ≤ n‬‬
‫)‪k(k + 1‬‬
‫= ‪1 + 2 + ··· + k‬‬ ‫‪.‬‬
‫‪2‬‬
‫אנו רוצים להוכיח כי הטענה נכונה עבור ‪ ,n + 1‬כלומר כי‬
‫)‪(n + 1)(n + 2‬‬
‫= )‪1 + 2 + · · · + n + (n + 1‬‬ ‫‪.‬‬
‫‪2‬‬
‫נראה זאת‪ :‬כיוון שעבור ‪ k = n‬נקבל‬
‫)‪n(n + 1‬‬
‫= ‪1 + 2 + ··· + n‬‬
‫‪2‬‬
‫אז‬
‫)‪n(n + 1‬‬
‫= )‪1 + 2 + · · · + n + (n + 1) = (1 + 2 + · · · + n) + (n + 1‬‬ ‫= )‪+ (n + 1‬‬
‫‪2‬‬
‫)‪n(n + 1) + 2(n + 1‬‬ ‫)‪(n + 2)(n + 1‬‬ ‫)‪(n + 1)(n + 2‬‬
‫=‬ ‫=‬ ‫=‬ ‫‪.‬‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬
‫בזאות סיימנו את ההוכחה באינדוקציה של הטענה כי לכל ‪ n‬טבעי מתקיים כי‬
‫)‪n(n + 1‬‬
‫= ‪1 + 2 + ··· + n‬‬
‫‪2‬‬

‫זוהי הוכחה באינדוקציה‪ .‬השימוש הנפוץ בשלב השני הוא ע"י מעבר מ־ ‪ n‬ל־ ‪.n + 1‬‬
‫טענה באינדוקציה לא חייבת להתחיל ב־ ‪ .n = 1‬הטענה יכולה‪ ,‬למשל‪ ,‬להיות עבור כל הטבעיים החל‬
‫מ־ ‪ .10‬או החל מ־ ‪.−3‬‬

‫תרגיל‪ :‬הוכיחו באינדוקציה כי לכל שני מספרים ‪ a, b‬ולכל ‪ n ≥ 2‬טבעי מתקיים‬

‫‪(a − b)(an−1 + an−2 b + an−3 b2 + · · · + a2 bn−3 + abn−2 + bn−1 ) = an − bn‬‬

‫פתרון‪ :‬נוכיח באינדוקציה‪ :‬עבור ‪ n = 2‬נקבל‬

‫‪(a − b)(a + b) = a2 − b2‬‬

‫‪1‬‬
 ‫וזו זהות ידועה‪.‬‬
‫שלב האינדוקציה‪ :‬נניח כי עבור ‪ n ≥ 2‬כלשהו מתקיים‬
‫‪(a − b)(an−1 + an−2 b + an−3 b2 + · · · + a2 bn−3 + abn−2 + bn−1 ) = an − bn‬‬
‫ונראה כי‬
‫‪(a − b)(an + an−1 b + an−2 b2 + · · · + a2 bn−2 + abn−1 + bn ) = an+1 − bn+1 .‬‬

‫= ) ‪(a − b)(an + an−1 b + an−2 b2 + · · · + a2 bn−2 + abn−1 + bn‬‬

‫‬ ‫‬
‫= ‪= (a − b) a an−1 + an−2 b + an−3 b2 + · · · + a2 bn−3 + abn−2 + bn−1 + bn‬‬
‫
‬

‫= ‪= a(a − b) an−1 + an−2 b + an−3 b2 + · · · + a2 bn−3 + abn−2 + bn−1 + (a − b)bn‬‬

‫
‬

‫‪= a(an − bn ) + abn − bn+1 = an+1 − abn + abn − bn+1 = an+1 − bn+1 .‬‬

‫תרגיל‪ :‬הוכיחו כי לכל ‪ n‬טבעי המספר ‪ 4n + 15n − 1‬מתחלק ב־‪.9‬‬

‫פתרון‪ :‬נוכיח באינדוקציה‪ :‬שלב הבסיס‪ :‬עבור ‪ n = 1‬נקבל את המספר ‪.41 + 15 · 1 − 1 = 18 = 2 · 9‬‬
‫שלב האינדוקציה‪ :‬נניח כי עבור ‪ n‬כלשהו‪ ,‬המספר ‪ 4n + 15n − 1‬מתחלק ב־ ‪.9‬‬
‫אנו רוצים להראות כי המספר ‪ 4n+1 + 15(n + 1) − 1‬מתחלק ב־‪:9‬‬
‫= ‪4n+1 + 15(n + 1) − 1 = 4 · 4n + 15n + 15 − 1 = 4n + 15n − 1 + 3 · 4n + 15‬‬
‫= ‪= (4n + 15n − 1) + (4n + 15n − 1) + 2 · 4n − 15n + 16‬‬
‫= ‪= (4n + 15n − 1) + (4n + 15n − 1) + (4n + 15n − 1) + 4n − 30n + 17‬‬
‫‪= (4n + 15n − 1) + (4n + 15n − 1) + (4n + 15n − 1) + (4n + 15n − 1) − 45n + 18.‬‬
‫לפי הנחת האינדוקציה ‪ (4n + 15n − 1‬מתחלק ב־ ‪ .9‬בנוסף הביטוי )‪−45n + 18 = 9(−5n + 2‬‬
‫מתחלק ב־ ‪ 9‬ולכן הביטוי כולו מתחלק ב־ ‪.9‬‬

‫תרגיל‪ :‬הוכיחו כי לכל ‪ n‬טבעי‬

‫)‪n(n + 1)(2n + 1‬‬
‫= ‪12 + 22 + · · · + n2‬‬ ‫‪.‬‬
‫‪6‬‬
‫פתרון‪ :‬נוכיח באינדוקציה‪ .‬מקרה הבסיס‪ :‬עבור ‪ n = 1‬נקבל‬
‫)‪1(1 + 1)(2 · 1 + 1‬‬
‫= ‪12‬‬
‫‪6‬‬
‫שנכון‪.‬‬
‫שלב המעבר‪ :‬נניח כי הטענה נכונה עבור ‪ n‬כלשהו ונראה כי נכון עבור ‪ .n + 1‬כלומר נניח כי‬
‫)‪n(n + 1)(2n + 1‬‬
‫= ‪12 + 22 + · · · + n2‬‬ ‫‪.‬‬
‫‪6‬‬
‫ונראה כי‬
‫‪(n‬‬ ‫‪+‬‬ ‫‪1)(n‬‬ ‫‪+‬‬ ‫‪2)(2(n‬‬ ‫‪+‬‬ ‫)‪1‬‬ ‫‪+‬‬ ‫)‪1‬‬
‫= ‪12 + 22 + · · · + n2 + (n + 1)2‬‬ ‫‪.‬‬
‫‪6‬‬
‫מתחיל מצד שמאל של מה שאנו רוצים להראות ונגיע בסוף לצד ימין‪:‬‬
‫= ‪12 + 22 + · · · + n2 + (n + 1)2 = (12 + 22 + · · · + n2 ) + (n + 1)2‬‬
‫)‪n(n + 1)(2n + 1‬‬ ‫‪2‬‬ ‫‪n(n + 1)(2n + 1) + 6(n + 1)2‬‬
‫=‬ ‫= )‪+ (n + 1‬‬ ‫=‬
‫‪6‬‬ ‫
‬ ‫‪6‬‬
‫)‪(n + 1) n(2n + 1) + 6(n + 1‬‬ ‫)‪(n + 1)(2n2 + n + 6n + 6‬‬
‫=‬ ‫=‬ ‫=‬
‫‪6‬‬ ‫‪6‬‬
‫)‪(n + 1)(2n2 + 7n + 6‬‬ ‫)‪(n + 1)(n + 2)(2n + 3‬‬ ‫)‪(n + 1)(n + 2)(2(n + 1) + 1‬‬
‫=‬ ‫=‬ ‫=‬ ‫‪.‬‬
‫‪6‬‬ ‫‪6‬‬ ‫‪6‬‬

‫‪2‬‬