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

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