Kurs:Vorkurs Mathematik (Osnabrück 2009)/Vorlesung 5/latex
\setcounter{section}{5}
\zwischenueberschrift{Verknüpfungen}
Die Addition und die Multiplikation auf den natürlichen Zahlen und die Hintereinanderschaltung von Abbildungen auf einer Menge sind wichtige Beispiele für das Konzept der Verknüpfung.
\inputdefinition
{}
{
Eine \definitionswort {Verknüpfung}{} $\circ$ auf einer Menge $M$ ist eine \definitionsverweis {Abbildung}{}{} \maabbeledisp {\circ} {M\times M} {M } {(x,y)} {\circ(x,y) = x \circ y } {.}
}
Eine Verknüpfung macht also aus einem Paar
\mavergleichskettedisp
{\vergleichskette
{ (x,y)
}
{ \in} { M \times M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein einziges Element
\mavergleichskettedisp
{\vergleichskette
{ x \circ y
}
{ \in} { M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Eine Vielzahl von mathematischen Konstruktionen fällt unter diesen Begriff: Die Addition, die Differenz, die Multiplikation, die Division von Zahlen, die Verknüpfung von Abbildungen, der Durchschnitt oder die Vereinigung von Mengen, etc. Als Verknüpfungssymbol kommt eine ganze Reihe in Frage, z.B. $\circ, \cdot, +,-, \oplus, \clubsuit, \heartsuit$ u.s.w. Je nach dem gewählten Symbol spricht man statt Verknüpfung auch von \stichwort {Multiplikation} {} oder \stichwort {Addition} {,} ohne dass man damit eine inhaltliche Bedeutung verbinden sollte. Wichtige strukturelle Eigenschaften einer Verknüpfung werden in den folgenden Definitionen aufgelistet.
\inputdefinition
{}
{
Eine
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {,}
auf einer Menge $M$ heißt \definitionswort {kommutativ}{,} wenn für alle
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ x \circ y
}
{ =} { y \circ x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
\inputdefinition
{}
{
Eine
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {,}
auf einer Menge $M$ heißt \definitionswort {assoziativ}{,} wenn für alle
\mavergleichskette
{\vergleichskette
{x,y,z
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ (x \circ y ) \circ z
}
{ =} { x \circ (y \circ z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
\inputdefinition
{}
{
Es sei eine Menge $M$ mit einer
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {,}
gegeben. Dann heißt ein Element
\mavergleichskette
{\vergleichskette
{e
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionswort {neutrales Element}{} der Verknüpfung, wenn für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Gleichheit
\mavergleichskette
{\vergleichskette
{ x \circ e
}
{ = }{ x
}
{ = }{ e \circ x
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
Im kommutativen Fall muss man natürlich für das neutrale Element nur eine Reihenfolge betrachten.
\inputdefinition
{}
{
Es sei eine Menge $M$ mit einer
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {,}
und einem
\definitionsverweis {neutralen Element}{}{}
\mavergleichskette
{\vergleichskette
{e
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Dann heißt zu einem Element
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionswort {inverses Element}{}
\zusatzklammer {zu $x$} {} {.}
wenn die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ x \circ y
}
{ =} { e
}
{ =} { y \circ x
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
Bei einer Verknüpfung auf einer Menge $M$ bezeichnet man eine
\zusatzklammer {vollständige} {} {}
Wertetabelle auch als \stichwort {Verknüpfungstafel} {.} In einer solchen Tabelle stehen sowohl in der Leitzeile als auch in der Leitspalte die
\zusatzklammer {linear geordneten} {} {}
Elemente aus $M$, und in der Überkreuzungsstelle zu $x$ und $y$ steht der Verknüpfungswert
\mathl{x \circ y}{} als Eintrag. Dabei muss man festlegen, welche Ordnung zwischen den Zeilen und Spalten gilt, also ob im Kreuzungspunkt der $x$-ten Spalte und der $y$-ten Zeile
\mathl{x \circ y}{} oder
\mathl{y \circ x}{} steht. Diese Festlegung ist insbesondere wichtig, da bei Matrizen und Koordinatensystemen andere Konventionen gelten.
\zwischenueberschrift{Die Peano-Axiome}
In den natürlichen Zahlen $\N$ kann man addieren, multiplizieren, potenzieren, teilweise abziehen, es gibt die kleiner/gleich-Relation, die Teilbarkeit, usw. Man kann sich nun fragen, welche Abhängigkeiten zwischen diesen mathematischen Strukturen bestehen und ob man manche davon auf andere, grundlegendere Strukturen zurückführen kann. Dies führt zum axiomatischen Aufbau der natürlichen Zahlen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Giuseppe_Peano.jpg} }
\end{center}
\bildtext {Giuseppe Peano (1858 -1932)} }
\bildlizenz { Giuseppe Peano.jpg } {unbekannt} {Kalki} {Commons} {PD} {}
\inputdefinition
{}
{
Eine Menge $N$ mit einem ausgezeichneten Element
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {die \stichwort {Null} {}} {} {}
und einer
\zusatzklammer {Nachfolger} {} {-}Abbildung
\maabbeledisp {'} { N} {N
} {n} {n'
} {,}
heißt \definitionswort {natürliche Zahlen}{} \zusatzklammer {oder \stichwort {Dedekind-Peano-Modell} {} für die natürlichen Zahlen} {} {,}
wenn die folgenden
\definitionswortenp{Dedekind-Peano-Axiome}{} erfüllt sind.
\aufzaehlungdrei{Das Element $0$ ist kein Nachfolger
\zusatzklammer {die Null liegt also nicht im Bild der Nachfolgerabbildung} {} {.}
}{Jedes
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist Nachfolger höchstens eines Elementes
\zusatzklammer {d.h. die Nachfolgerabbildung ist injektiv} {} {.}
}{Für jede Teilmenge
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt: Wenn die beiden Eigenschaften
\auflistungzwei{
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{mit jedem Element
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{n'
}
{ \in }{T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}
gelten, so ist
\mavergleichskette
{\vergleichskette
{T
}
{ = }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Das heißt, dass die natürlichen Zahlen durch das natürliche Zählen bestimmt sind. Zählen heißt, von einem Startwert ausgehend, nach und nach einen Schritt \zusatzklammer {einen Strich machen, einen Stab dazulegen, einen Punkt dazumalen} {} {} weiterzuzählen. Das \anfuehrung{Weiter}{-}Zählen ist also fundamentaler als eine bestimmte Benennung von Zahlen. Eine natürliche Zahl repräsentiert, wie oft bis zu ihr gezählt werden musste. Die erste Eigenschaft legt den Start fest. Die zweite Eigenschaft besagt, dass wenn zwei Zahlen verschieden sind \zusatzklammer {oder zwei endliche Mengen mit unterschiedlicher Anzahl vorliegen} {} {,} dann auch die beiden jeweiligen Nachfolger verschieden sind \zusatzklammer {die beiden jeweils um ein neues Element erweiterten Mengen ebenfalls eine unterschiedliche Anzahl haben} {} {.} Die dritte Eigenschaft, die man auch das \stichwort {Induktionsprinzip für Mengen} {} nennt, besagt, dass wenn man bei null anfängt und keinen einzelnen Zählvorgang auslässt, dass man dann vollständig alle natürlichen Zahlen abzählt.
Es sei erwähnt, dass solche Überlegungen, die natürlichen Zahlen grundlegend zu begründen, manchmal eher verwirrend als hilfreich sein können. Bei den natürlichen Zahlen ist es erfahrungsgemäß nicht gefährlich, der Intuition zu vertrauen und mit einer naiven Vorstellung davon zu arbeiten \zusatzklammer {dies gilt für die reellen Zahlen nicht in dieser Deutlichkeit} {} {.} Das ist beim Studienanfang jedenfalls wichtiger als Grundlagenfragen.
Ausgehend von den Peano-Axiomen kann man eine Addition auf der Menge der natürlichen Zahlen definieren, wobei die Nachfolgefunktion der Addition mit
\mathl{1=0'}{} entspricht. Die Definierbarkeit beruht selbst auf dem Induktionsprinzip. Ebenso kann man eine Multiplikation definieren und die üblichen Eigenschaften wie Kommutativität und Assoziativität nachweisen.
Wir werden im Folgenden von einem Modell der natürlichen Zahlen ausgehen, bei dem bereits eine Addition und eine Multiplikation definiert wurde, und wir werden die übliche Zifferndarstellung für natürliche Zahlen
\zusatzklammer {im Zehnersystem} {} {}
verwenden. Wir schreiben also
\mathdisp {\N=\{0, 0',(0')', ((0')')' , \ldots \} = \{0,1,2,3,4, \ldots \}} { }
und sprechen von der Menge der natürlichen Zahlen. Des weiteren werden wir die lineare
\zusatzklammer {totale} {} {}
Ordnung auf $\N$ benutzen, wobei
\mathl{x \leq y}{} bedeutet, dass es ein
\mathl{z \in \N}{} gibt mit
\mathl{y=x+z}{.}
\zwischenueberschrift{Das Induktionsprinzip für Aussagen}
Die folgende Aussage und ihr Beweis begründen das Beweisprinzip der \stichwort {vollständigen Induktion} {.}
\inputfaktbeweis
{Zahlentheorie/Beweisverfahren/Induktionsprinzip/Fakt}
{Satz}
{}
{
\faktsituation {Für jede
\definitionsverweis {natürliche Zahl}{}{}
$n$ sei eine Aussage
\mathl{A(n)}{} gegeben.}
\faktvoraussetzung {Es gelte
\aufzaehlungzwei {$A(0)$ ist wahr.
} { Für alle $n$ gilt: wenn
\mathl{A(n)}{} gilt, so ist auch
\mathl{A(n+1)}{} wahr.
}}
\faktfolgerung {Dann gilt
\mathl{A(n)}{} für alle $n$.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { { \left\{ n \in \N \mid A(n) \text{ ist wahr} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir wollen zeigen, dass
\mavergleichskette
{\vergleichskette
{M
}
{ = }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, denn genau dies bedeutet, dass die Aussage für alle $n$ gilt. Nach der ersten Bedingung ist
\mavergleichskettedisp
{\vergleichskette
{0
}
{ \in} {M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach der zweiten Voraussetzung gilt für $M$, dass aus
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stets
\mavergleichskette
{\vergleichskette
{n+1
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt. Damit erfüllt $M$ beide Voraussetzungen im Induktionsprinzip für Mengen, sodass
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
Aus dem Induktionsprinzip folgt die nächste wichtige Eigenschaft. Vom intuitiven Standpunkt her ist sie selbstverständlich, wir führen sie aber trotzdem auf das Induktionsprinzip zurück. Es geht in diesem Beweis weniger dadrum, sich über die Satzaussage zu vergewissern, sondern vielmehr Einblicke in mathematisches Argumentieren zu gewinnen. Es ist auch ein Beispiel dafür, wie man eine Aussage über Teilmengen zu einer Aussage über natürliche Zahlen macht, um das Induktionsprinzip anwenden zu können.
\inputfaktbeweis
{Natürliche Zahlen/Nichtleere Teilmengen/Hat Minimum/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Jede nichtleere Teilmenge
\mavergleichskette
{\vergleichskette
{M
}
{ \subseteq }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}}
\faktfolgerung {besitzt ein
\definitionsverweis {Minimum}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir betrachten die Aussage
\einrueckung{ $A(n)$ = Alle Teilmengen von $\N$, die $n$ enthalten, besitzen ein Minimum.}
Da jede nichtleere Teilmenge mindestens ein
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzt, ist die Aussage des Satzes äquivalent zur Gültigkeit von
\mathl{A(n)}{} für alle $n$. Diese Aussage können wir durch Induktion beweisen. Die Aussage
\mathl{A(0)}{} besagt, dass jede Teilmenge
\mavergleichskette
{\vergleichskette
{M
}
{ \subseteq }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die die $0$ enthält, auch ein Minimum enthält. Dies ist aber klar, da dann eben $0$ das Minimum ist. Es sei die Aussage
\mathl{A(k)}{} nun für alle
\mavergleichskette
{\vergleichskette
{k
}
{ \leq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schon bewiesen. Wir müssen
\mathl{A(n+1)}{} beweisen. Es sei also
\mavergleichskette
{\vergleichskette
{M
}
{ \subseteq }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge, die
\mathl{n+1}{} enthält.
\fallunterscheidungzwei {Wenn $M$ auch eine Zahl
\mavergleichskette
{\vergleichskette
{k
}
{ < }{n+1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzt, so besitzt $M$ nach der Induktionsvoraussetzung ein Minimum.}
{Andernfalls besitzt $M$ keine Zahl, die kleiner als
\mathl{n+1}{} ist. Dann ist aber
\mathl{n+1}{} das Minimum von $M$.}
\zwischenueberschrift{Fakultät und Binomialkoeffizienten}
Es seien nun
\mathbed {a_i} {}
{i=1 , \ldots , n} {}
{} {} {} {,}
\zusatzklammer {$n\geq 1$} {} {}
reelle Zahlen
\zusatzklammer {oder Elemente in einem Körper, ein Begriff, den wir bald einführen werden} {} {.}
Dann wird das Summen- und das Produktzeichen folgendermaßen definiert.
\mathdisp {\sum_{i=1}^n a_i = a_1+ a_2+ \cdots + a_n \text{ und } \prod_{i=1}^n a_i = a_1 \cdot a_2{ \cdots } a_n} { . }
Dies sind geschlossene und einfach zu verstehende Ausdrücke. Formal korrekter und auch beweistechnisch vorteilhaft ist es, diese Zeichen induktiv durch
\mathdisp {\sum_{i=1}^n a_i = (\sum_{i=1}^{n-1} a_i) + a_n \text{ und } \prod_{i=1}^n a_i = ( \prod_{i=1}^{n-1} a_i ) a_n} { }
zu erklären. Insbesondere sind für
\mathl{n \in \N}{} die Vielfachen durch
\mathdisp {na = \sum_{i=1}^n a = (n-1)a +a = \underbrace{a+a+ \cdots +a}_{n\text{-mal} }} { }
und die Potenzen durch
\mathdisp {a^n = \prod_{i=1}^n a =a^{n-1} \cdot a = \underbrace{a \cdot a{ \cdots }a}_{n\text{-mal} }} { }
definiert. Dabei gelten die Konventionen
\mathl{0a=0}{} und
\mathl{a^0=1}{}
\zusatzklammer {die erste lässt sich auch über die Multiplikation begründen, die zweite ist aber auch sinnvoll} {} {.}
\zusatzfussnote {Bei einer Menge $M$ mit einer Verknüpfung $\star$ setzt man für eine endliche Familie von Elementen $a_1, \ldots , a_n$ generell
\mathdisp {\bigstar_{i=1}^n a_i =(\bigstar_{i=1}^{n-1}a_i) \star a_n} { . }
Das leere $\star$-Produkt wird dabei als neutrales Element interpretiert, wenn es ein solches gibt
\zusatzklammer {es gibt maximal ein neutrales Element} {} {}} {} {}
\inputdefinition
{}
{
Zu einer natürlichen Zahl $n$ nennt man die Zahl
\mavergleichskettedisp
{\vergleichskette
{n!
}
{ \defeq} { n(n-1)(n-2) \cdots 3 \cdot 2 \cdot 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Fakultät}{} von $n$
\zusatzklammer {sprich $n$ Fakultät} {} {.}
}
Bei einer $n$-elementigen Menge $M$ gibt es $n!$ bijektive Abbildungen von $M$ nach $M$. Gleichbedeutend damit ist, dass es $n!$ Möglichkeiten, $n$ Objekte auf $n$ Plätze zu verteilen.
\inputdefinition
{}
{
Es seien
\mathkor {} {k} {und} {n} {}
natürliche Zahlen mit
\mavergleichskette
{\vergleichskette
{k
}
{ \leq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann nennt man
\mavergleichskettedisp
{\vergleichskette
{ \binom { n } { k }
}
{ \defeq} {{ \frac{ n ! }{ k ! ( n - k)! } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
den \definitionswort {Binomialkoeffizienten}{} \anfuehrung{$n$ über $k$ }{.}
}
Von dieser Definition her ist es nicht sofort klar, dass es sich dabei um natürliche Zahlen handelt. Dies folgt aus der folgenden Beziehung.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Pascal_triangle.svg} }
\end{center}
\bildtext {Das \stichwort {Dreieck der Binomialkoeffizienten} {} war in Indien und in Persien schon um 1000 bekannt,} }
\bildlizenz { Pascal triangle.svg } {} {Kazukiokumura} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Yanghui_triangle.gif} }
\end{center}
\bildtext {in China heißt es \stichwort {Yanghui-Dreieck} {}
\zusatzklammer {nach Yang Hui (um 1238-1298)} {} {,}} }
\bildlizenz { Yanghui triangle.gif } {} {Noe} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {TrianguloPascal.jpg} }
\end{center}
\bildtext {in Europa heißt es das \stichwort {Pascalsche Dreieck} {}
\zusatzklammer {nach Blaise Pascal (1623-1662)} {} {.}} }
\bildlizenz { TrianguloPascal.jpg } {Pascal} {Drini} {Commons} {PD} {}
{Binomialkoeffizient/Summe in Pascaldreieck/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {Binomialkoeffizienten}{}{}}
\faktfolgerung {erfüllen die rekursive Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \binom { n+1 } { k }
}
{ =} { \binom { n } { k } + \binom { n } { k-1 }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 5.21. }
Die folgende Formel bringt die Addition und die Multiplikation miteinander in Beziehung.
\inputfaktbeweis
{Kommutative Ringtheorie/Binomi/Fakt}
{Satz}
{Binomi}
{Es seien
\mathl{a,b}{} reelle \zusatzklammer {oder ganze} {} {}
Zahlen. Ferner sei $n$ eine natürliche Zahl. Dann gilt
\mathdisp {( a + b )^{n} = \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k}} { . }
}
{
Wir führen Induktion nach $n$. Für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
steht einerseits
\mavergleichskette
{\vergleichskette
{ (a+b)^0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und andererseits
\mavergleichskette
{\vergleichskette
{a^0b^0
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.} Es sei die Aussage bereits für $n$ bewiesen. Dann ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{(a+b)^{n+1}
}
{ =} {(a+b) (a+b)^n
}
{ =} {(a+b) { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) }
}
{ =} {a \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k}\right) + b \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right)
}
{ =} {\sum_{ k=0 } ^{ n } \binom { n } { k } a^{k+1} b^{n - k} + \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k+1}
}
}
{
\vergleichskettefortsetzungalign
{ =} {\sum_{ k= 1 } ^{ n+1 } \binom { n } { k-1 } a^{k} b^{n - k+1} + \sum_{ k=0 } ^{ n+1 } \binom { n } { k } a^{k} b^{n - k+1}
}
{ =} { \sum_{ k= 1 } ^{ n+1 } \left( \binom { n } { k-1 } + \binom { n } { k } \right) a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k=1 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k= 0 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k}
}
}
{}{.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {A_plus_b_au_carre.svg} }
\end{center}
\bildtext {} }
\bildlizenz { A plus b au carre.svg } {} {Alkarex} {Commons} {CC-by-sa 2.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Binomio_al_cubo.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Binomio al cubo.svg } {Drini} {} {Commons} {PD} {}