Zum Inhalt springen

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 A(n)A(n) eine Aussage über natürliche Zahlen nn. Um A(n)A(n) für alle n≥n0n \geq n_0 zu beweisen, zeigt man zwei Dinge:

  1. Induktionsanfang: A(n0)A(n_0) ist wahr.
  2. Induktionsschritt: Für jedes n≥n0n \geq n_0 gilt: Wenn A(n)A(n) wahr ist (die Induktionsvoraussetzung), dann ist auch A(n+1)A(n+1) wahr (die Induktionsbehauptung).

Daraus folgt, dass A(n)A(n) für alle n≥n0n \geq n_0 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 N\mathbb{N} bei 00 oder bei 11. Dann ist der Induktionsanfang n0=0n_0 = 0 oder n0=1n_0 = 1.

Beispiel: Die Gaußsche Summenformel

Behauptung: Für alle n≥1n \geq 1 gilt

1+2+⋯+n=n (n+1)2. 1 + 2 + \dots + n = \frac{n\,(n+1)}{2} .

Induktionsanfang (n=1n = 1): Links steht 11, rechts 1⋅22=1\dfrac{1 \cdot 2}{2} = 1. Die Aussage stimmt.

Induktionsvoraussetzung: Für ein festes n≥1n \geq 1 gelte 1+2+⋯+n=n (n+1)21 + 2 + \dots + n = \dfrac{n\,(n+1)}{2}.

Induktionsbehauptung: Dann gilt auch für n+1n + 1:

1+2+⋯+n+(n+1)=(n+1) (n+2)2. 1 + 2 + \dots + n + (n+1) = \frac{(n+1)\,(n+2)}{2} .

Induktionsschritt: Wir beginnen mit der linken Seite der Behauptung. Den Anfang der Summe ersetzen wir mit der Induktionsvoraussetzung:

1+2+⋯+n+(n+1)=n (n+1)2+(n+1)(Induktionsvoraussetzung)=(n+1)(n2+1)=(n+1) (n+2)2. \begin{aligned} 1 + 2 + \dots + n + (n+1) &= \frac{n\,(n+1)}{2} + (n+1) && \text{(Induktionsvoraussetzung)} \\ &= (n+1)\left(\frac{n}{2} + 1\right) \\ &= \frac{(n+1)\,(n+2)}{2} . \end{aligned}

Das ist genau die rechte Seite der Induktionsbehauptung. Damit ist der Schritt gezeigt, und die Formel gilt für alle n≥1n \geq 1. □\square

Beispiel: Ungerade Zahlen

Behauptung: Die Summe der ersten nn ungeraden Zahlen ist n2n^2:

1+3+5+⋯+(2n−1)=n2. 1 + 3 + 5 + \dots + (2n - 1) = n^2 .

Induktionsanfang (n=1n = 1): 1=121 = 1^2. Induktionsschritt: Gilt die Formel für nn, dann ist

1+3+⋯+(2n−1)+(2n+1)=n2+2n+1=(n+1)2. 1 + 3 + \dots + (2n-1) + (2n+1) = n^2 + 2n + 1 = (n+1)^2 .

Also gilt sie auch für n+1n + 1.

Typische Verständnisfragen

Warum darf ich die Induktionsvoraussetzung benutzen? Im Induktionsschritt behauptest du nicht, dass A(n)A(n) wahr ist. Du zeigst nur die Implikation “A(n)A(n) wahr, dann A(n+1)A(n+1) wahr”. Eine Implikation darf man beweisen, indem man ihre Voraussetzung annimmt. Dass A(n)A(n) 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 n+1n+1 hat einen Summanden mehr als die Summe bis nn. 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 A(n)A(n) und darf im Schritt benutzt werden. Die zu beweisende Aussage in diesem Schritt ist A(n+1)A(n+1), 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 A(n)A(n): “n=n+1n = n + 1”. Der Schritt gelingt, denn aus n=n+1n = n + 1 folgt durch Addition von 11, dass n+1=n+2n + 1 = n + 2 gilt. Trotzdem ist die Aussage für kein nn wahr, denn der Induktionsanfang 1=21 = 2 ist falsch. Die Dominokette fällt nicht, wenn der erste Stein stehen bleibt.

Wie man das Vorgehen als Beweismethode einordnet, steht im Artikel Beweismethoden.

Zuletzt aktualisiert am