Mathe für Nicht-Freaks: Vollständige Induktion
Die vollständige Induktion ist eine wichtige Beweismethode in der Mathematik, die dir in deinem Studium noch häufig begegnen wird. Dabei kann man die Wirkungsweise der vollständigen Induktion gut mit dem Dominoeffekt vergleichen. Doch wie kann ein solcher Beweis mit dem Dominoeffekt in der Mathematik angewandt werden? Betrachten wir dazu eine Beispielaufgabe, die man mit Hilfe der vollständigen Induktion lösen kann.
Eine Beispielaufgabe [Bearbeiten]
Unsere Beispielaufgabe ist die Gaußsche Summenformel, auch kleiner Gauß genannt. Sie heißt so, weil der kleine 9 jährige Carl Friedrich Gauß diese Summenformel in einer Mathestunde gefunden hat (Gauß ist der geniale Mathematiker, dessen Gesicht später den 10-Mark-Schein in Deutschland zieren sollte). Laut
Anekdote konnte der kleine Gauß die ersten 100 natürlichen Zahlen sofort und ohne größere Probleme aufsummieren. Wenn man seinen „Trick“ verallgemeinert, kommt man auf folgende Formel:
Ok, wir könnten nun anfangen, diese Behauptung für einzelne natürliche Zahlen
zu beweisen:
- Für
:
, stimmt ✔
- Für
:
, stimmt ✔
- und so weiter …
Doch dies ist keine Möglichkeit, einen Beweis zu führen, da es unendlich viele natürlichen Zahlen gibt und es immer mühseliger wird und unmöglich ist, alle Summen auszurechnen (Denk an die armen Mitschüler von Gauß, wie sie versucht haben, die einzelnen Zahlen nacheinander aufzusummieren). Wir brauchen also eine andere Lösungsmethode. Ich habe dir gesagt, dass die vollständige Induktion ein Beweis mit dem Dominoeffekt ist und sich auch diese Aufgabe durch vollständige Induktion lösen lässt. Doch wie lässt sich ein Dominoeffekt in dieser Aufgabe ausnutzen (Hast du schon eine Idee?). Analysieren wir dazu die Aufgabe.
Wenn du dir die Aufgabe durchliest, kannst du feststellen, dass es in der Aufgabenstellung eine freie Variable gibt (die natürliche Zahl
). Wenn du für diese freie Variable einen bestimmten Wert einsetzt, entsteht eine konkrete Aussage. Durch Nachrechnen kannst du feststellen, ob diese Aussage wahr oder falsch ist. Wenn du z. B. für
die Zahl 42 einsetzt, entsteht die (wahre) Aussage:
- Die Summe
ist gleich
.
Ein solcher Ausdruck, der eine (oder auch mehrere) freie Variable enthält und die durch Belegung dieser Variablen mit Werten in eine Aussage übergeht, wird Aussageform genannt und mit
bezeichnet.
heißt soviel wie: eine Aussageform mit dem Namen
und der freien Variablen
, also
in Abhängigkeit von
. Die obige Aussage wäre demnach
. Hier einige weitere Beispiele:
lautet: Die Summe
ist gleich
.
lautet: Die Summe
ist gleich
.
Unsere Aufgabe ist es, zu zeigen, dass die Aussageform für alle natürlichen Zahlen
wahr ist. Wir müssen also beweisen, dass wenn wir für
irgendeine beliebige natürliche Zahl einsetzen, die daraus entstehende Aussage wahr ist. Eine solche Aussageform, die für alle natürlichen Zahlen wahr ist, nennt man allgemeingültig in
.
Doch wie kann man jetzt den Dominoeffekt ins Spiel bringen? Dazu werden wir eine Analogie zwischen der Aussageform und einer Dominoreihe finden. Stell dir dazu eine unendlich lange Dominoreihe vor, die irgendwo im Raum anfängt. Diese Dominoreihe ist durchnummeriert (der erste Dominostein ist die 1, der Zweite die 2 und so weiter). Nun führen wir eine Beziehung zwischen der Dominoreihe und der zu beweisenden Aussageform
ein. Wir sagen, dass der erste Dominostein für die Aussage
steht, der zweite Dominostein für die Aussage
steht und so weiter. Gehen wir nun davon aus, dass wenn ein Dominostein umfällt, die Wahrheit der zu diesem Dominostein zugewiesenen Aussage bewiesen ist. Wenn also Dominostein Nummer 7 umfällt, die Aussage
wahr ist und beim Fall von Dominostein Nummer 23, ist die Aussage
wahr.
Wir haben nun das Problem der Aufgabe auf das von uns in der Kindheit bekannte Problem zurückgeführt, dass wir eine Dominoreihe zum Umfallen bringen wollen.
Wenn du darüber nachdenkst, kommst du auf 2 Schritte, die du einhalten musst, damit alle Dominosteine umfallen.
- Schritt 1: Du musst den ersten Dominostein umstoßen.
- Schritt 2: Die Dominoreihe muss so aufgebaut sein, dass wenn ein Dominostein umfällt auch sein Nachfolger umfällt.
Wenn beide Schritte eingehalten werden, fallen alle Steine in der Dominoreihe nacheinander um (Dominoeffekt). Du musst also dafür Sorge tragen, dass beide Schritte erfüllt sind.
- Lösungsschritt 1: Die Aussageform ist für
wahr. - Lösungsschritt 2: Wenn die Aussageform für ein beliebiges
wahr ist, muss die Aussageform auch für den Nachfolger
wahr sein.
Dass durch den Beweis dieser beiden Lösungsschritte die Aufgabe gelöst ist, kannst du folgendermaßen erkennen (beachte den dabei eintretenden Dominoeffekt!). Zunächst wird im ersten Lösungsschritt gezeigt, dass die Behauptung für
wahr ist. Wenn wir nun Lösungsschritt 2 auf dieses Wissen anwenden (wenn also
ist), folgt, dass die Behauptung auch für
wahr sein muss. Wenn wir nochmal Lösungsschritt 2 anwenden, folgt die Wahrheit für
und bei nochmaliger Anwendung für
und so weiter...
Damit müssen wir nur die obigen beiden Lösungsschritte beweisen, um die Aufgabe zu lösen. Hier der Beweis zu den beiden Lösungsschritten:
- Lösungsschritt 1:
- Für
lautet die zu beweisende Aussage
. Durch Nachrechnen der rechten Seite, zeigt man, dass diese Aussage wahr ist.
- Lösungsschritt 2:
- Gehen wir davon aus, dass die Aussage für
bereits bewiesen ist. Gehen wir also davon aus, dass gilt:
-
(Anfangsgleichung: Das haben wir gegeben)
- Wir müssen nun die Summenformel für
beweisen. Wir müssen also beweisen, dass gilt:
-
(Zielgleichung: Das wollen wir beweisen)
- Fangen wir auf der linken Seite dieser zu beweisenden Aussage an:
Wir haben so eine kurze und elegante Lösung der Aufgabe gefunden (Gauß' Lehrer wäre sicherlich stolz auf uns ^^).
Das Prinzip der vollständigen Induktion [Bearbeiten]
Doch was ist nun das Prinzip der vollständigen Induktion? Schauen wir uns dazu die obige Beispielaufgabe an und versuchen das dabei verwendete Beweisprinzip zu abstrahieren. (Kannst du dieses Prinzip schon jetzt erklären?)
Hinweis:
Im Folgenden wird die vollständige Induktion so beschrieben, wie sie in vielen Lehrbüchern definiert wird. Das Prinzip kann aber auch allgemeiner formuliert werden (siehe späterer Abschnitt). Dementsprechend kann es dir bei einigen Aufgaben passieren, dass du die vollständige Induktion (ein wenig) anders anwendest, als sie hier beschrieben wird.
Zunächst stellen wir fest, dass es sich um eine Aussageform handelt, deren eine freie Variable eine natürliche Zahl ist. Die Aufgabe besteht nun darin, zu beweisen, dass die Aussageform für alle natürlichen Zahlen wahr ist, dass also die Aussageform allgemeingültig in
ist.
Nun haben wir im ersten Schritt bewiesen, dass die Aussageform für die kleinste natürliche Zahl wahr ist (in unserem obigen Beispiel war diese kleinste natürliche Zahl die 1; in bestimmten Fällen kann sie aber auch die 0 sein, je nachdem wie die zu beweisende Aufgabe lautet). Dieser Schritt wird Induktionsanfang genannt und entspricht in unserer obigen Analogie dem Umstoßen des ersten Dominosteins.
Im zweiten Schritt haben wir bewiesen, dass wenn die Aussageform für eine beliebige natürliche Zahl
wahr ist, sie auch für
wahr sein muss. Dieser Schritt wird Induktionsschritt genannt und entspricht in unserer obigen Analogie der Tatsache, dass die Dominoreihe so aufgebaut sein muss, dass wenn ein Dominostein umfällt, auch der nächste Dominostein umfallen muss. Die dabei getroffene Annahme, dass die Aussageform für ein beliebiges
wahr ist, nennt man Induktionsvoraussetzung (das war unsere obige Anfangsgleichung). Die unter Annahme der Induktionsvoraussetzung zu beweisende Aussage
wird Induktionsbehauptung genannt (das war unsere obige Zielgleichung).

Fassen wir zusammen: Die vollständige Induktion lässt sich beim Beweis der Allgemeingültigkeit von Aussageformen
anwenden, deren eine freie Variable
eine natürliche Zahl ist. Zum Beweis durch vollständige Induktion musst du folgendes leisten:
- 1. Induktionsanfang: Beweise, dass
eine wahre Aussage ist. - 2. Induktionsschritt: Beweise, dass wenn
wahr ist, auch
wahr sein muss. Dabei können folgende Teilschritte identifiziert werden:
- 2a. Induktionsvoraussetzung: Die Aussage
ist wahr für ein bestimmtes
. - 2b. Induktionsbehauptung: Die Aussage
ist wahr. - 2c. Beweis des Induktionsschritts: Beweise, dass unter Annahme der Induktionsvoraussetzung die Induktionsbehauptung folgt.
- 2a. Induktionsvoraussetzung: Die Aussage
Schritt 2 hat dementsprechend folgende Form:
| 2a Induktionsvoraussetzung (Anfang des Beweises; ist gegeben) |
![]() |
| (2c Der Beweis) |
![]() |
| 2b Induktionsbehauptung (Ziel des Beweises; soll bewiesen werden) |
Oftmals (insbesondere bei einfachen Aufgaben) werden Schritt (2a) und (2b) weggelassen, wenn sie dem Autor zu trivial erscheinen, um aufgeschrieben zu werden. Dies kann möglicherweise auch auf den Induktionsanfang bzw. den Induktionsschritt zutreffen, wenn der Autor z. B. sie für zu einfach hält. Manchmal gibt der Autor eines Buches auch nur den Hinweis, dass eine bestimmte Aufgabe durch vollständige Induktion bewiesen werden kann und überlässt dem Leser diesen Beweis. In diesem Kapitel werden aber alle Teilschritte aufgeführt.
Wenn wir nun die obige Beweismethode in mathematischer Sprache formulieren, erhalten wir die Definition der vollständigen Induktion.
Definition (Vollständige Induktion):
Sei
eine Aussageform in der freien Variablen
. Sei
(oder
) eine wahre Aussage (Induktionsanfang) und die Implikation
für alle
erfüllt (Induktionsschritt), dann ist die Aussageform allgemeingültig in
.
Hier noch eine Grafik, welche das Prinzip der vollständigen Induktion gut veranschaulicht:
gleich
ist.
, stimmt ✔
:
, stimmt ✔
ist gleich
.
ist gleich
.
lautet: Die Summe
ist gleich
.
wahr ist, muss die Aussageform auch für den Nachfolger
wahr sein.
. Durch Nachrechnen der rechten Seite, zeigt man, dass diese Aussage wahr ist.
(Anfangsgleichung: Das haben wir gegeben)
(Zielgleichung: Das wollen wir beweisen)![\begin{alignat}{1}
\overbrace{1+2+3+ \dots +k+(k+1)}^{\text{linke Seite der Zielgleichung}}
& = { \color{OliveGreen}(1+2+ 3+ \dots +k) } + (k+1) \\[3px]
& \qquad{\color{OliveGreen}\downarrow \mathrm{\ Anfangsgleichung\ einsetzen}} \\[3px]
& = { \color{OliveGreen} {{k \cdot (k+1)} \over 2}} + (k+1) \\[3px]
& \qquad\left\downarrow\ \text{Summe in Bruch zusammenfassen}\right. \\[3px]
& = {{k \cdot (k+1) + 2(k+1)} \over 2} \\[3px]
& \qquad\left\downarrow\ (k+1) \text{ ausklammern}\right. \\[3px]
& = {{(k+1) \cdot (k+2)} \over 2} \\[3px]
& \qquad\left\downarrow\ k+2=(k+1)+1\right. \\[3px]
& = \underbrace{{{(k+1) \cdot ((k+1)+1)} \over 2}}_{\text{rechte Seite der Zielgleichung}} \\
\end{alignat}](http://upload.wikimedia.org/math/1/b/f/1bfc7b7ee988466f227efa212a1789ef.png)
wahr ist, auch
wahr sein muss. Dabei können folgende Teilschritte identifiziert werden:
ist wahr für ein bestimmtes 