Einführung in das mathematische Arbeiten - Mathe Online
Einführung in das mathematische Arbeiten - Mathe Online
Einführung in das mathematische Arbeiten - Mathe Online
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
26 2. UMFORMUNGEN, GLEICHUNGEN UND UNGLEICHUNGEN<br />
Wir beweisen e<strong>in</strong> weiteres Mal mittels vollständiger Induktion:<br />
Induktionsanfang:<br />
( 0 0!<br />
=<br />
( 0)<br />
(0 − 0)!0!<br />
0<br />
= 1 nach Def<strong>in</strong>ition<br />
0)<br />
Induktionsannahme:<br />
( j<br />
k)<br />
0!<br />
(0 − 0)!0!<br />
=<br />
j!<br />
(j − k)!k!<br />
= 1 1 = 1<br />
∀j, k ∈<br />
: 0 ≤ j ≤ n, 0 ≤ k ≤ n<br />
Induktionsschritt:<br />
( ) ( ( )<br />
n + 1 n n<br />
= +<br />
rekursive Def<strong>in</strong>ition von<br />
k k)<br />
)<br />
n<br />
k<br />
k − 1<br />
n!<br />
=<br />
(n − k)!k! + n!<br />
Induktionsannahme<br />
(n + 1 − k)!(k − 1)!<br />
=<br />
n!(n − k + 1)<br />
(n − k + 1)(n − k)!k! + n!k<br />
(n + 1 − k)!(k − 1)!k Erweitern<br />
=<br />
n!(n − k + 1)<br />
(n + 1 − k)!k! + n!k<br />
(n + 1 − k)!k!<br />
Def<strong>in</strong>ition der Fakultät<br />
=<br />
n!(n − k + 1) + n!k<br />
(n + 1 − k)!k!<br />
Zusammenfassen der Brüche<br />
n!(n + k − k + 1)<br />
= Herausheben<br />
(n + 1 − k)!k!<br />
n!(n + 1)<br />
=<br />
Addieren<br />
(n + 1 − k)!k!<br />
(n + 1)!<br />
=<br />
Def<strong>in</strong>ition der Fakultät<br />
(n + 1 − k)!k!<br />
Das beweist, <strong>das</strong>s die Formel der rekursiven Darstellung von ( n<br />
k)<br />
genügt. □<br />
Zum Rechnen mit dieser Formel für ( n<br />
k)<br />
empfielt es sich, zu kürzen:<br />
( n n!<br />
=<br />
k)<br />
k!(n − k)!<br />
n(n − 1) . . . (n − k + 1)<br />
=<br />
∏ k−1<br />
k!<br />
i=0<br />
(n − i)<br />
=<br />
k!<br />
Mit Hilfe der <strong>in</strong> Proposition 2.2.9 nachgewiesenen Formel lässt sich die Def<strong>in</strong>ition des B<strong>in</strong>omialkoeffitienten<br />
wie folgt erweitern:<br />
Def<strong>in</strong>ition 2.2.10. Der B<strong>in</strong>omialkoeffizient ist für £ α ∈ und k ∈ def<strong>in</strong>iert durch:<br />
( α α(α − 1) . . . (α − k + 1)<br />
=<br />
k)<br />
∏<br />
k!<br />
k−1<br />
i=0<br />
(α − i)<br />
=<br />
.<br />
k!<br />
Kehren wir nach diesem Ausflug <strong>in</strong> die Komb<strong>in</strong>atorik zum B<strong>in</strong>omischen Lehrsatz zurück,<br />
den wir als Nächstes beweisen werden: