\(\sum \limits_{k=0}^{n} \sum \limits_{j=0}^{k} a^{j} b^{k-j}=\sum \limits_{j=0}^{n} \sum \limits_{k=j}^{n} a^{j} b^{k-j} \)
Ich würde mir das mal erst mit der Notation der Summanden vorstellen:
linke Summe:
\(\sum \limits_{k=0}^{n} \sum \limits_{j=0}^{k} a^{j} b^{k-j} \)
Schrittweise die äußere Summe betrachten
für k=0 also nur ein Summand a^{0} b^{0}
für k=1 2 Summanden a^{0} b^{1} + a^{1} b^{0}
für k=2 3 Summanden a^{0} b^{2} + a^{1} b^{1}+ a^{2} b^{0}
.........
für k=n (n+1) Summanden a^{0} b^{n} + a^{1} b^{n-1}+...+ a^{n} b^{0}
Jetzt die rechte Summe
\( =\sum \limits_{j=0}^{n} \sum \limits_{k=j}^{n} a^{j} b^{k-j} \)
Wieder schrittweise die äußere Summe betrachten
für j=0 also läuft in der inneren Summe das k von 0 bis n
(n+1) Summanden a^{0} b^{0} + a^{0} b^{1}+...+ a^{0} b^{n}
für j=1 läuft in der inneren Summe das k von 1 bis n
n Summanden a^{1} b^{0} + a^{1} b^{1}+...+ a^{1} b^{n-1}
für j=n-1 Summanden a^{n-1} b^{0} + a^{n-1} b^{1}
.........
für k=n 1 Summand a^{n} b^{0}
Wenn du nun beides vergleichst:
Alle bei dieser Aufteilung entstandenen 1. Summanden
von der linken Summe bilden bei der rechten Summe, die
Summe für j=0, und oben die zweiten bilden bei rechten Summe die
zweite Summe der Aufteilung etc.