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