beim Ind.schluss hast du richtig begonnen mit
summe bis n+1 über 2^k * ((n+1) über k) aber dann ist das
summe bis n über 2^k * ((n+1) über k) + 2 n+1 * ( (n+1) über (n+1) )
Das n+1 IN DER SUMME bleibt mal erst . Aber n+1 über k ist das
gleiche wie (n über k) + (n über k-1) , also hast du
summe bis n über 2^k * ( (n über k) + (n über k-1) ) + 2 n+1 * 1
dann machst du daraus zwei summen
= summe von 0 bis n über 2^k * (n über k) +
summe von 0 bis n über 2^k * (n über k-1) ) + 2 n+1
und jetzt den Index bei der 2. Summe ändern
= summe von 0 bis n über 2^k * (n über k) +
summe von -1 bis n-1 über 2
k+1 * (n über k) ) +
2
n+1
und weil ein bin.koeffizient mit -1 eine 0 gibt stört der 1. nicht.
= summe von 0 bis n über 2^k * (n über k) +
summe von 0 bis n-1 über 2
k+1 * (n über k) ) +
2
n+1
Und in der 2. Summe und dem 2 n+1 je eine 2 ausklammern
gibt dann
= summe von 0 bis n über 2^k * (n über k) +
2 * ( summe von 0 bis n-1 über 2
k * (n über k) ) +
2^n )
Dann hast du in der Klammer wieder die Summe bis n, weil der
letzte Summand eben das 2^n ist.
=
= summe von 0 bis n über 2^k * (n über k) +
2 * ( summe von 0 bis n-1 über 2
k * (n über k) )
)
Und jetzt kommt endlich die Induktionsvoraussetzung
= 3^n + 2*3^n = 3*3^n = 3
n+1