‫הוכחת טענות בעזרת אינדוקציה מתמטית מתבססת על אקסיומת‬

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

‫הוכחה באינדוקציה מתמטית בנויה מ‪ 3-‬שלבים‪:‬‬

‫‪ )1‬בדיקה עבור ‪ .n=m‬מציבים מספר כלשהו (כאמור‪ ,‬נהוג להציב ‪ ,)1‬ובודקים‬

‫שהטענה נכונה למספר הזה‪.‬‬
‫‪ )2‬הנחה שהטענה נכונה עבור ‪ n=k )k‬טבעי כלשהו)‪.‬‬
‫‪ )3‬שימוש בסעיף ‪ 2‬כדי להוכיח שהטענה נכונה עבור ‪.n=k+1‬‬

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