Kombinatorischer Beweis des fallenden Fakultäts- und Binomialsatzes

Für N , M , k N , beweise die Gleichheit

( N + M ) k _ = ich = 0 k ( k ich ) N k ich _ M ich _
Hier, X J _ bezeichnet eine fallende Fakultät, definiert durch X J _ = X ! ( X J ) ! = X ( X 1 ) ( X J + 1 ) .

Ich kann den Binomialsatz für sich kombinatorisch beweisen und auch die fallende Fakultätsversion davon, aber kombiniert bin ich an eine Wand gestoßen. Irgendwelche Vorschläge?

Können Sie bitte die "fallende Fakultät" definieren?
N k _ = N ! ( N k ) !
X k _ = ich = 0 k 1 ( X ich ) (oder X ( X 1 ) ( X k + 1 ) ) ist eine bessere Definition, da sie auch für Werte von funktioniert X wo es nicht klar ist, was X ! würde bedeuten (wie negative ganze Zahlen).

Antworten (3)

Wie viele Möglichkeiten können Sie auswählen k Bälle aus einer Reihe von N verschiedene rote Bälle und M grüne verschiedene Bälle?

Antworten

( N + M ) k _

Aber man kann sie auch anders zählen. Nehmen wir zunächst an, dass die k Kugeln sind dann rot k 1 sind rot u 1 ist grün usw.

Das gibt

J = 0 k ( k J ) N J _ M k J _

Ich bevorzuge das kombinatorische Argument, aber es ist nützlich, Summationen und fallende Fakultäten manipulieren zu können, also hier fürs Protokoll der Induktionsschritt des Beweises durch Induktion k .

ich = 0 k + 1 ( k + 1 ich ) N k + 1 ich _ M ich _ = ich = 0 k + 1 ( ( k ich ) + ( k ich 1 ) ) N k + 1 ich _ M ich _ = ich = 0 k ( k ich ) N k + 1 ich _ M ich _ + ich = 0 k ( k ich ) N k ich _ M ich + 1 _ = ich = 0 k ( k ich ) ( N k + 1 ich _ M ich _ + N k ich _ M ich + 1 _ ) = ich = 0 k ( k ich ) N k ich _ M ich _ ( ( N k + ich ) + ( M ich ) ) = ich = 0 k ( k ich ) N k ich _ M ich _ ( N k + M ) = ( N + M k ) ( N + M ) k _ = ( N + M ) k + 1 _ .

Dies folgt auch aus der Identität von Vandermonde, dh

( N + M k ) = ich = 0 k ( N ich ) ( M k ich )
was mit einem komiteeähnlichen Argument bewiesen werden kann, nämlich zwei Möglichkeiten, eine Gruppe von auszuwählen k Menschen von N Mann und M Frauen. Multiplizieren Sie beide Seiten mit k ! um das zu bekommen
( N + M ) k _ = ich = 0 k ( k ich ) N ich _ M k ich _
wie gewünscht.