Ich habe die Summe (k=1∑nn+k1) durch INDEXVERSCHIEBUNG zunächst auf die grundlegende Gestalt gebracht, wie sie in der Induktionsbehauptung vorliegt:
S : =k=0∑n−1n+1+k1.
Jetzt stört aber die Indizierung, denn es wird in der Behauptung bei k=1 angefangen zu zählen und man hört bei k=n+1 auf. Also nehme ich von S den 0-ten Summanden heraus:
S=k=0∑n−1n+1+k1=(k=1∑n−1n+1+k1)+n+11.
In der großen Summe wird nur bis n−1 hochindiziert. Also blähe ich jetzt die Summe mit einer addierten Null auf, indem ich zwei weitere Summanden der Form n+1+k1 für k=n und k=n+1 in die Summe mit reinschreibe, aber sie außen wieder invers dazu addiere:
S=(k=1∑n+1n+1+k1)+[0-ter Summandn+11−n-ter Summand2n+11−(n+1)−terSummand2n+21]