Induktionsanfang sollte klar sein.
Induktionsvoraussetzung: Angenommen, die Aussage sei für ein beliebiges, aber festes, n∈N≥1 wahr. Dann gilt auch nach der Distributivität:
k=1∑nk3=(k=1∑nk)2=(k=1∑nk)⋅(j=1∑nj)=k=1∑n(j=1∑nk⋅j)(IV).
Induktionsschritt: Dann gilt diese Aussage auch für n+1, also:
(k=1∑n+1k)2=k=1∑n+1k3.
Es gilt nun:
(k=1∑n+1k)2=(k=1∑n+1k)⋅(j=1∑n+1j)=k=1∑n+1(j=1∑n+1k⋅j)=k=1∑n(j=1∑n+1k⋅j)+(n+1)−tes Summenpaar(j=1∑n+1(n+1)⋅j)=k=1∑n((j=1∑nk⋅j)+k⋅(n+1))+(n+1)−tes Summenpaar(j=1∑n+1(n+1)⋅j)=(k=1∑n(j=1∑nk⋅j))+(k=1∑nk⋅(n+1))+(n+1)−tes Summenpaar(j=1∑n+1(n+1)⋅j)=(IV)(k=1∑nk3)+(n+1)⋅(k=1∑nk)+(n+1)−tes Summenpaar(n+1)⋅(j=1∑n+1j)=(k=1∑nk3)+(n+1)⋅2n⋅(n+1)+(n+1)⋅2(n+1)⋅(n+2)=(k=1∑nk3)+2n⋅(n+1)2+2(n+2)⋅(n+1)2=(k=1∑nk3)+2(n+n+2)⋅(n+1)2=(k=1∑nk3)+(n+1)3=k=1∑n+1k3