Das hätte man doch auch mit dem Horner-Schema beweisen können, oder?
Also rechte Seite, auf die gekommen werden muss:
((n+1)*(n+2)) / 2
linke Seite:
(n*(n+1)) / 2 + (n+1)
-> (n^2+3n+2) / 2
dann mit Horner Schema, Nullstelle von rechter Seite, z.B. -1
1 3 2
-1 | -1 -2
1 2 0
Also auch ((n+2) * (n+1)) /2