Vollständige Induktion
In einem Satz: Bei der vollständigen Induktion zeigst du, dass eine Aussage für die erste Zahl gilt und dass sie jedes Mal an die nächste Zahl weitergereicht wird.
Das Prinzip
Definition
Sei eine Aussage über natürliche Zahlen . Um für alle zu beweisen, zeigt man zwei Dinge:
- Induktionsanfang: ist wahr.
- Induktionsschritt: Für jedes gilt: Wenn wahr ist (die Induktionsvoraussetzung), dann ist auch wahr (die Induktionsbehauptung).
Daraus folgt, dass für alle gilt.
In einfachen Worten
Stell dir eine lange Reihe Dominosteine vor. Der Induktionsanfang kippt den ersten Stein um. Der Induktionsschritt garantiert: Fällt ein Stein, dann fällt auch der nächste. Zusammen fallen alle. Je nach Vorlesung beginnt bei oder bei . Dann ist der Induktionsanfang oder .
Beispiel: Die Gaußsche Summenformel
Behauptung: Für alle gilt
Induktionsanfang (): Links steht , rechts . Die Aussage stimmt.
Induktionsvoraussetzung: Für ein festes gelte .
Induktionsbehauptung: Dann gilt auch für :
Induktionsschritt: Wir beginnen mit der linken Seite der Behauptung. Den Anfang der Summe ersetzen wir mit der Induktionsvoraussetzung:
Das ist genau die rechte Seite der Induktionsbehauptung. Damit ist der Schritt gezeigt, und die Formel gilt für alle .
Beispiel: Ungerade Zahlen
Behauptung: Die Summe der ersten ungeraden Zahlen ist :
Induktionsanfang (): . Induktionsschritt: Gilt die Formel für , dann ist
Also gilt sie auch für .
Typische Verständnisfragen
Warum darf ich die Induktionsvoraussetzung benutzen? Im Induktionsschritt behauptest du nicht, dass wahr ist. Du zeigst nur die Implikation “ wahr, dann wahr”. Eine Implikation darf man beweisen, indem man ihre Voraussetzung annimmt. Dass wirklich wahr ist, folgt dann erst aus dem Induktionsanfang und der Kette der Schritte.
Warum taucht beim Schritt ein zusätzlicher Summand auf? Die Summe bis hat einen Summanden mehr als die Summe bis . Du trennst ihn ab, ersetzt den Rest mit der Induktionsvoraussetzung und rechnest weiter.
Was ist der Unterschied zwischen Induktionsvoraussetzung und zu beweisender Aussage? Die Induktionsvoraussetzung ist und darf im Schritt benutzt werden. Die zu beweisende Aussage in diesem Schritt ist , und die darf man nicht schon voraussetzen. Rechne daher immer von einer Seite aus und erreiche die andere.
Stolperstelle
Ohne Induktionsanfang beweist der Schritt nichts. Nimm die falsche Aussage : “”. Der Schritt gelingt, denn aus folgt durch Addition von , dass gilt. Trotzdem ist die Aussage für kein wahr, denn der Induktionsanfang ist falsch. Die Dominokette fällt nicht, wenn der erste Stein stehen bleibt.
Wie man das Vorgehen als Beweismethode einordnet, steht im Artikel Beweismethoden.