שינויים
/* רעיון בסיסי - אינדוקציה על הטבעיים */
וסיימנו
דוגמא נוספת:
הוכח כי לכל מספר טבעי <math>n</math> מתקיים כי <math>2+4+6+\cdots +2n=n(n+1)</math>
פתרון:
עבור <math>n=1</math> אכן מתקיים <math>2=1\cdot(1+1)</math>
כעת נניח שהטענה נכונה עבור <math>n</math> ונוכיח את הטענה עבור <math>n+1</math>
<math>2+4+\cdots 2n+2(n+1)=\Sum_{k=1}^{n+1}2\cdot k=\Sum_{k=1}^{n}2\cdot k + 2(n+1) = </math>
לפי הנחת האינדוקציה ניתן להמשיך
<math>=n(n+1)+2(n+1)=(n+1)(n+2)</math>
שזה הטענה עבור <math>n+1</math> וסיימנו.
==עיקרון הסדר הטוב ==