Ich versuche eine Aufgaben aus dem "Übungsbuch zur Analysis 1" von Otto Forster zu machen, jedoch verstehe ich weder den Lösungsweg noch den Ansatz der Lösung.
Die Aufgabe lautet:
Man beweise für alle reellen Zahlen x, y und alle natürlichen Zahlen n
(Ich schreibe z.B (n über k) für Binomial-Koeffizienten)
(x+y über n)=∑(k=0 bis n)(x über n-k)*(y über k)
Im Lösungsweg wird gesagt das die Aufgabe dem Binomischen Lehrsatz ähnelt und deshalb wird dann die "Fallende Fakultät" eingeführt.
Nach einigen Umformungen wird aus der Aufgabe:
(x+y)(Fallende Fakultät von n)=∑(k=0 bis n)(n über k)*x(Fallende Fakultät von n-k)*y(Fallende Fakultät von k)
Hier ist mein erstes Problem: Warum muss ich die Aufgabe in diese Form bringen bevor ich die Vollständige Induktion durchführen kann?Kann ich die Aufgabe in ihrer ursprünglichen Form nicht lösen?
Dann wird der Induktionsanfang durchgeführt, wobei beide Seiten 1 ergeben.
Beim Induktionsschritt liegt mein zweites Problem:
(x+y)(Fallende Fakultät von n+1)=(x+y)(Fallende Fakultät von n)(x+y-n)
Einsetzen der Induktionsvoraussetzung
=∑((k=0 bis n)(n über k)*x(Fallende Fakultät von n-k)*y(Fallende Fakultät von k))*((x-n+k)+(y-k))
=∑(k=0 bis n)(n über k)*x(Fallende Fakultät von n+1-k)*y(Fallende Fakultät von k)+∑(k=0 bis n)(n über k)*x(Fallende Fakultät von n-k)*y(Fallende Fakultät von k+1)
Mein Problem hierbei liegt bei:
∑(k=0 bis n)(n über k)*x(Fallende Fakultät von n-k)*y(Fallende Fakultät von k)*(x-n+k)
=∑(k=0 bis n)(n über k)*x(Fallende Fakultät von n+1-k)*y(Fallende Fakultät von k)
Müsste man dafür nicht mit (x-(n-k)+1) multiplizieren statt mit (x-n+k)?