Wir beweisen mit vollständiger Induktion, dass
(1 + … + k)*(1 + … + k) = 1*1*1 + … + k*k*k
für alle natürlichen Zahlen k=1,2,…, gilt:
Induktionsanfang:
Die Gleichung ist für k=1 richtig, denn 1*1=1*1*1
Induktionsvoraussetzung:
Es gelte (1 + … + n)*(1 + … + n) = 1*1*1 + … + n*n*n
Induktionsbeweis:
Wir beweisen nun, dass unter dieser Voraussetzung immer auch
(1 + … + (n+1))*(1 + … + (n+1))
= 1*1*1 + … (n+1)*(n+1)*(n+1) gilt.
(1 + … + (n+1))*(1 + … + (n+1))
= (1 + … + n + (n+1))*(1 + … + n + (n+1))
= (1 + … + n)*(1 + … + n) + 2*(1 + … + n)*(n+1)
- (n+1)*(n+1) (lt. 1. Binomischer Formel)
= 1*1*1 + … + n*n*n + 2*(1 + … + n)*(n+1)
- (n+1)*(n+1) (lt. Induktionsvoraussetzung)
In dieser Gleichung ersetzen wir den Term (1 + … + n)
durch (n+1)*n/2 (Summenformel nach Gauss, kann auch mit vollständiger Induktion bewiesen werden oder durch die Überlegung, dass die Summe dieser Zahlenreihe gleich dem halben Produkt aus der Summe der ersten und der letzten Zahl und der Zahl der Summanden ist).
= 1*1*1 + … + n*n*n + 2*(n+1)*n/2*(n+1) + (n+1)*(n+1)
= 1*1*1 + … + n*n*n + n*(n+1)*(n+1) + 1*(n+1)*(n+1)
= 1*1*1 + … + n*n*n + (n+1)*(n+1)*(n+1)
= 1*1*1 + … + (n+1)*(n+1)*(n+1)
Torsten
[Bei dieser Antwort wurde das Vollzitat nachträglich automatisiert entfernt]