Ich würde da vorgehen wie oben. Du solltest die Induktionsannahme nutzen.
Man beweise für alle n Element N durch vollständige Induktion:
an := (n-1)³+n³+(n+1)³ ist durch 9 teilbar.
Wir haben jetzt beim IS:
n³+(n+1)³+(n+2)³ | Dann füge nun noch ein (n-1)^3 - (n-1)^3 an.
= (n-1)^3 + n³+(n+1)³+(n+2)³-(n-1)^3
Du musst nun nur noch die letzten beiden Summanden anschauen:
(n+2)³-(n-1)^3 = 9n^2 + 9n + 9
Und damit ist die Sache erledigt^^.