נניח שהטענה נכונה בעבור n = k, כאשר k טבעי כלשהו:
1 · 2 + … + k(k + 1) = k(k + 1)(k + 2)3
שלב 3 – צעד האינדוקציה: נוכיח בעבור n = k + 1
האיבר האחרון בעבור n = k + 1 הוא (k + 1)(k + 2).
צ״ל: 1 · 2 + … + k(k + 1) + (k + 1)(k + 2) = (k + 1)(k + 2)(k + 3)3
נציב במקום 1 · 2 + … + k(k + 1) את k(k + 1)(k + 2)3:
📐 הנחת האינדוקציה
צ״ל: k(k + 1)(k + 2)3 + (k + 1)(k + 2) = (k + 1)(k + 2)(k + 3)3