Vollständige Induktion

Die vollständige Induktion ist eine mathematische Beweismethode, mit der eine Aussage für alle natürlichen Zahlen bewiesen wird. Da es sich um unendlich viele Zahlen handelt, kann solch ein Beweis nicht für jede Zahl einzeln erbracht werden. Er wird daher in zwei Etappen durchgeführt: als Induktionsanfang für eine kleinste Zahl (meist 1 oder 0) und als Induktionsschritt, der aus der Aussage für eine variable Zahl die entsprechende Aussage für die nächste Zahl logisch ableitet. Damit ist schon die Gültigkeit der Aussage für alle natürlichen Zahlen gezeigt.

Die Beweismethode beruht auf dem Prinzip der vollständigen Induktion (kurz: Induktionsprinzip), das entweder als Axiom gesetzt oder aus anderen Axiomen hergeleitet werden kann. Trotz ihres Namens handelt es sich bei der vollständigen Induktion um ein deduktives Verfahren.

Die vollständige Induktion lässt sich im Allgemeinen anwenden, wenn man eine Familie von Aussagen beweisen möchte, bei der jede Aussage von einer natürlichen Zahl abhängt bzw. eine „Nummer“ gegeben werden kann und es einen inhaltlichen Zusammenhang zwischen der Nummer und der Aussage gibt. Da solche Situationen über die Arithmetik hinaus in allen Gebieten der Mathematik auftreten, ist die vollständige Induktion von grundlegender Bedeutung für die gesamte Mathematik.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Beschreibung

Mit <math>A(n)</math> sei eine mathematische Aussage gemeint, die von einer natürlichen Zahl <math>n</math> abhängt.

Um zu beweisen, dass eine Aussage <math>A(n)</math> für alle natürlichen Zahlen <math>n</math> gilt, genügt es, die folgenden beiden Schritte durchzuführen:<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

1. Induktionsanfang (auch Induktionsverankerung):

Zeige, dass <math>A(0)</math> oder <math>A(1)</math> gilt.<ref group="A">Ob der Induktionsanfang bei <math>n=0</math> oder bei <math>n=1</math> startet, hängt davon ab, ob man die Null zu den natürlichen Zahlen zählt oder nicht (respektive, ab welchem Index die Aussage überhaupt gelten soll).</ref>

2. Induktionsschritt (auch Induktionsschluss, Schluss von n auf n+1):

Nimm an, dass die Aussage <math>A(n)</math> für ein beliebiges <math>n</math> gilt (Induktionsannahme) und zeige dann, dass daraus <math>A(n+1)</math> folgt (Induktionsbehauptung).

Erläuterungen und Veranschaulichung

Datei:Domino - 2.png

Vollständige Induktion als Dominoeffekt mit unendlich vielen Steinen

Im Gegensatz zum ersten Schritt wird im zweiten Schritt kein konkreter Wert für <math>n</math> festgelegt.
Die Aussage <math>A(n)</math> wird nicht bewiesen, sondern als Induktionsannahme vorausgesetzt. Man zeigt, dass aus der Gültigkeit von <math>A(n)</math> die Aussage <math>A(n+1)</math> folgt, das heißt <math>A(n) \implies A(n+1)</math>.
Die Induktionsannahme wird auch Induktionsvoraussetzung genannt.
Die Methode der vollständigen Induktion ist mit dem Dominoeffekt vergleichbar: Wenn der erste Dominostein fällt und durch jeden fallenden Dominostein der nächste umgestoßen wird, wird schließlich jeder Dominostein der unendlich lang gedachten Kette irgendwann umfallen.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Die Allgemeingültigkeit einer Aussageform <math>A(n)</math> ist für <math>n = 1, 2, 3, \ldots</math> bewiesen, wenn <math>A(1)</math> gültig ist (der erste Stein fällt um) und wenn zusätzlich gilt <math>A(n) \Rightarrow A(n+1)</math> für <math>n = 1, 2, 3, \ldots</math> (jeder Stein stößt beim Umfallen den nächsten Stein mit um).

Beispiele

Gaußsche Summenformel

{{#if: Gaußsche Summenformel|{{#ifexist:Gaußsche Summenformel|

|{{#if: |{{#ifexist:{{{2}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{2}}}{{#if: ||{{{titel2}}}}}]]{{#if: |{{#ifexist:{{{3}}}| und [[{{{3}}}{{#if: ||{{{titel3}}}}}]]|}}|}}

|{{#if: |{{#ifexist:{{{3}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{3}}}{{#if: ||{{{titel3}}}}}]]

|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}

Die Gaußsche Summenformel besagt: Für alle natürlichen Zahlen <math>n \geq 1 </math> gilt

<math>1+2+\cdots+n = \frac{n(n+1)}{2}</math>.

Der Induktionsanfang ergibt sich unmittelbar:

Im Induktionsschritt ist zu zeigen, dass für <math>n \geq 1</math> aus der Induktionsvoraussetzung

<math>1+2+\cdots+n = \frac{n(n+1)}{2}</math>

die Induktionsbehauptung

<math>1+2+\cdots+n+(n+1) = \frac{(n+1)((n+1)+1)}{2}</math>

(mit <math>(n\!+\!1)</math> an der Stelle des <math>n</math> der Induktionsvoraussetzung) folgt.

Dies gelingt, indem man die linke Seite der Induktionsbehauptung zunächst mithilfe der Induktionsvoraussetzung umformt und dann elementare Termumformungen vornimmt:

<math>

\begin{align}1+2+\cdots+n+(n+1) &= \frac{n(n+1)}{2} + (n+1) \\ &= \frac{n(n+1)+2(n+1)}{2} \\ &= \frac{(n+1)(n+2)}{2} \\ &= \frac{(n+1)((n+1)+1)}{2}.

\end{align} </math>

Mit dem Induktionsprinzip folgt die Gültigkeit der Gaußschen Summenformel für alle <math>n \geq 1</math>.

Summe ungerader Zahlen (Maurolicus 1575)

Die schrittweise Berechnung der Summe der ersten <math> n </math> ungeraden Zahlen,

<math>1+3+5+7=16</math>,

legt die Vermutung nahe: Die Summe aller ungeraden Zahlen von <math> 1 </math> bis <math> 2n-1</math> ist gleich dem Quadrat von <math>n</math>:

<math>1+3+5+ \cdots + (2n-1) = n^2</math>.

Sie wurde 1575 von Franciscus Maurolicus mit vollständiger Induktion bewiesen.<ref name="Maurolicus">Maurolycus: Arithemticorum Liber primus, S. 7, Proposition 15^a. {{#if: 5cMjjJYMY_AC | {{#if: {{#if: ||1}} {{#if: 5cMjjJYMY_AC ||1}} | <0|&pg={{#if:|RA{{{Band}}}-}}PA89|&pg=89}}{{#if:|&q=}}#v=onepage|{{#if:|&pg=|}}{{#if:|&q=}}}}{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}|{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}}} {{#if:|{{#invoke:WLink|getEscapedTitle|{{{Linktext}}}}}|eingeschränkte Vorschau}}{{#if:|| in der Google-Buchsuche}}{{#ifeq:|US|-USA}}{{#if: 5cMjjJYMY_AC |{{#invoke: Vorlage:GoogleBook|fine |id=5cMjjJYMY_AC |errN=Parameter „BuchID“ hat falsche Länge |errC=Parameter „BuchID“ enthält ungültige Zeichen |errH=# in der „BuchID“ |errP=Parameterzuweisungen in der „BuchID“ |class=editoronly |cat={{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch}} }} | Es darf nur genau einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}} | Es muss mindestens einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}{{#invoke:TemplatePar|check |all= |opt= Suchbegriff= BuchID= Seite= Band= SeitenID= Hervorhebung= Linktext= Land= KeinText= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch |format= @@@ }}{{#if:|{{#if:{{#invoke:WLink|isBracketedLink|{{{Linktext}}}}}| Linktext ungültig}}}}.</ref> Ein Beweis mit moderner Notation liest sich folgendermaßen:

Der Induktionsanfang mit <math>n=1</math> gilt wegen <math>1 =1^2</math>.

Im Induktionsschritt ist zu zeigen, dass aus der Induktionsvoraussetzung

<math>\textstyle 1+3+5+ \cdots +(2n-1) = n^2 </math> für ein <math>n\geq 1</math>

die Induktionsbehauptung

<math>\textstyle 1+3+5+ \cdots + (2(n+1)-1) = (n+1)^2</math>

folgt. Er ergibt sich über folgende Gleichungskette, bei der in der zweiten Umformung die Induktionsvoraussetzung angewandt wird:

<math>\begin{align}

1+3+5+\cdots + (2(n+1)-1) &= 1 + 3 + 5 + \cdots + (2n-1) + (2(n+1)-1) \\

    & = n^2 + 2n + 1 \\
    & = (n+1)^2.

\end{align}</math>

Mit dem Induktionsprinzip folgt die Gültigkeit der Aussage für alle <math>n \geq 1</math>.

Bernoullische Ungleichung

Nach der bernoullischen Ungleichung gilt für alle reellen Zahlen <math>x \geq -1</math> und alle natürlichen Zahlen <math>n \geq 0</math> die Ungleichung

<math>(1+x)^n \geq 1+nx</math>.

Der Induktionsanfang mit <math>n=0</math> gilt wegen <math> (1+x)^0 = 1 \geq 1 </math>.<ref group="A">Für <math>x=-1</math> muss <math>0^0 :=1</math> gesetzt werden, damit die Bernoulli-Ungleichung ihre Gültigkeit auch für diesen Fall behält.</ref>

Den Induktionsschritt gewinnt man über folgende Ableitung, die im zweiten Schritt die Induktionsvoraussetzung verwendet, wobei die Bedingung <math>x \geq -1</math> dafür sorgt, dass der Term nicht negativ wird:

<math>\begin{align}

(1+x)^{n+1} &= {(1+x)^n } \cdot (1+x) \\ &\geq (1+nx) \cdot(1+x) \\ &= 1 + x + nx + nx^2 \\ &\geq 1 + x + nx \\ &= 1 + (n+1)x. \end{align}</math>

Nach dem Induktionsprinzip gilt die Behauptung für alle <math>n \in \mathbb N_0</math>.

Färbung spezieller Landkarten

Datei:Färbung-zwei-Farben.png

Durch Farbvertauschung der rechten Seite erhält man wieder eine zulässige Färbung.

Die folgende Aussage ist eine Aussage über einen eher geometrischen Sachverhalt, der sich mithilfe vollständiger Induktion beweisen lässt:

Jede beliebige Anzahl von Geraden zerlegt die Ebene in Teilflächen. Es ist nun stets möglich, die Ebene mit zwei Farben so zu färben, dass keine zwei angrenzenden Teilflächen die gleiche Farbe bekommen („zulässige Einfärbung“).

Der Induktionsbeweis wird über die Anzahl <math>n</math> von Geraden geführt. Der Induktionsanfang mit <math>n=1</math> gilt, denn eine einzige Gerade teilt die Ebene in zwei Halbebenen, von denen die eine mit Farbe 1 und die andere mit Farbe 2 gefärbt wird.

Im Induktionsschritt ist zu zeigen, dass wenn sich eine von <math>n</math> Geraden durchzogene Ebene mit zwei Farben zulässig einfärben lässt, sie sich auch zulässig mit zwei Farben einfärben lässt, wenn sie von <math>n+1</math> Geraden durchzogen ist. Sei also für eine Ebene mit <math>n</math> Geraden eine zulässige Färbung mit zwei Farben möglich. Zieht man in dieser Ebene eine <math>(n+1)</math>-te Gerade, so wird die Ebene von ihr in zwei Halbebenen geteilt. In der einen Halbebene wird die Färbung bestehen gelassen, in der anderen werden die Farben vertauscht. Dadurch erhält man wieder eine zulässige Färbung mit zwei Farben (siehe Skizze). Also lässt sich auch eine mit <math>n+1</math> Geraden durchzogene Ebene zulässig färben. Mit dem Induktionsprinzip folgt die Gültigkeit der Aussage für alle <math>n\geq 1 </math>.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Pferde-Paradox

{{#if: Pferde-Paradox|{{#ifexist:Pferde-Paradox|

|{{#if: |{{#ifexist:{{{2}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{2}}}{{#if: ||{{{titel2}}}}}]]{{#if: |{{#ifexist:{{{3}}}| und [[{{{3}}}{{#if: ||{{{titel3}}}}}]]|}}|}}

|{{#if: |{{#ifexist:{{{3}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{3}}}{{#if: ||{{{titel3}}}}}]]

|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}

Das Pferde-Paradox ist ein Standardbeispiel für eine fehlerhafte Anwendung der vollständigen Induktion und illustriert die Bedeutung des Zusammenspiels von Induktionsverankerung und Induktionsschritt. Bei ihm wird die unsinnige Aussage, dass in einer Herde von <math>n</math> Pferden alle immer die gleiche Farbe besitzen, anhand einer scheinbar korrekten Induktion bewiesen. Dabei ist der Induktionsschritt selbst korrekt, würde aber die Induktionsverankerung bei einem <math>n\geq 2</math> benötigen, während der (fehlerhafte) Beweis die Induktion bei <math>n=1</math> verankert und somit schon der Schritt von <math>n=1</math> auf <math>n=2</math> scheitert.

Etymologie und Geschichte

Die Bezeichnung Induktion leitet sich ab von lat. inductio, wörtlich „Hineinführung“. Der Zusatz vollständig signalisiert, dass es sich hier im Gegensatz zur Induktion im Sinne der Philosophie, die aus Spezialfällen ein allgemeines Gesetz erschließt und kein exaktes Schlussverfahren ist, um ein deduktives Beweisverfahren handelt.

Das Induktionsprinzip steckt latent bereits in der von Euklid überlieferten pythagoreischen Zahlendefinition: „Zahl ist die aus Einheiten zusammengesetzte Menge.“<ref name="Euklid">Euklids Elemente VII, Definition 2. Dazu: Wilfried Neumaier: Antike Rhythmustheorien, Kap. 1 Antike mathematische Grundbegriffe, S. 11–12.</ref> Euklid führte aber noch keine Induktionsbeweise, sondern begnügte sich mit intuitiven, exemplarischen Induktionen, die sich aber vervollständigen lassen. Auch andere bedeutende Mathematiker der Antike und des Mittelalters hatten noch kein Bedürfnis nach präzisen Induktionsbeweisen. Vereinzelte Ausnahmen im hebräischen und arabischen Sprachraum blieben ohne Nachfolge.<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Lange galt ein Beweis von Franciscus Maurolicus von 1575 als älteste explizite vollständige Induktion (unten ausgeführt).<ref name="Maurolicus" /> Er erörterte aber das allgemeine Beweisverfahren noch nicht. Erst Blaise Pascal thematisierte das Induktionsprinzip mit Induktionsanfang und Induktionsschritt in seinem Traité du triangle arithmétique von 1654.<ref>Blaise Pascal: Traité du triangle arithmétique, S. 7, Conséquence douziesme, Le 1. (Induktionsanfang), Le 2. (Induktionsschritt), {{#if: UqgUAAAAQAAJ | {{#if: {{#if: ||1}} {{#if: UqgUAAAAQAAJ ||1}} | <0|&pg={{#if:|RA{{{Band}}}-}}PA|&pg=}}{{#if: "Traité du Triangle Arithmétique"|&q=%22Trait%C3%A9+du+Triangle+Arithm%C3%A9tique%22}}#v=onepage|{{#if:|&pg=|}}{{#if:"Traité du Triangle Arithmétique"|&q=%22Trait%C3%A9+du+Triangle+Arithm%C3%A9tique%22}}}}{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}|{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}}} {{#if:|{{#invoke:WLink|getEscapedTitle|{{{Linktext}}}}}|eingeschränkte Vorschau}}{{#if:|| in der Google-Buchsuche}}{{#ifeq:|US|-USA}}{{#if: UqgUAAAAQAAJ |{{#invoke: Vorlage:GoogleBook|fine |id=UqgUAAAAQAAJ |errN=Parameter „BuchID“ hat falsche Länge |errC=Parameter „BuchID“ enthält ungültige Zeichen |errH=# in der „BuchID“ |errP=Parameterzuweisungen in der „BuchID“ |class=editoronly |cat={{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch}} }} | Es darf nur genau einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}} | Es muss mindestens einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}{{#invoke:TemplatePar|check |all= |opt= Suchbegriff= BuchID= Seite= Band= SeitenID= Hervorhebung= Linktext= Land= KeinText= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch |format= @@@ }}{{#if:|{{#if:{{#invoke:WLink|isBracketedLink|{{{Linktext}}}}}| Linktext ungültig}}}}.</ref> Zur Verbreitung von Induktionsbeweisen trug ab 1686 Jakob I Bernoulli wesentlich bei.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Das Beweisverfahren wurde dann 1838 von Augustus De Morgan erstmals als Induktion oder sukzessive Induktion bezeichnet.<ref name="De Morgan">{{#invoke:Vorlage:Literatur|f}}</ref> 1888 prägte schließlich Richard Dedekind in seiner Schrift Was sind und was sollen die Zahlen? den Begriff vollständige Induktion.<ref name="Dedekind">{{#invoke:Vorlage:Literatur|f}}</ref> Über dieses Werk aus der Gründerzeit der Mengenlehre wurde sie zum allgemein bekannten, etablierten Beweisprinzip, auf das seither kein Zweig der Mathematik mehr verzichten kann. Ein Jahr später, 1889, formulierte Giuseppe Peano mit den Peanoschen Axiomen den ersten formalisierten Kalkül für die natürlichen Zahlen mit einem Induktionsaxiom, aus dem sich das Beweisschema der vollständigen Induktion herleiten lässt.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> Er zeigte mit formaler Strenge, dass aus seinen Zahlaxiomen, zu denen das Induktionsaxiom gehört, die ganze Arithmetik bis hin zu den reellen Zahlen ableitbar ist. Dadurch machte er die fundamentale Bedeutung und die Leistungskraft der Induktion voll bewusst.

Prinzip der vollständigen Induktion

Das Beweisverfahren der vollständigen Induktion beruht auf dem Prinzip der vollständigen Induktion:<ref name=":1" />

Ist <math>A(n)</math> eine Aussage über natürliche Zahlen, so dass

<math>A(0)</math> bzw. <math>A(1)</math> gilt und
für alle <math>n</math> die Gültigkeit von <math>A(n)</math> die Gültigkeit von <math>A(n+1)</math> nach sich zieht,

so gilt die Aussage für jede natürliche Zahl.

Als formale Schlussregel mit dem Ableitungsoperator <math>\vdash</math> lautet das Prinzip der vollständigen Induktion:

<math>A(0) \land \forall n \in \N\colon(A(n)\Rightarrow A(n+1))\ \vdash\ \forall n \in \N \colon A(n)</math>

Logische Stellung des Induktionsprinzips

Das Induktionsprinzip kann entweder als Axiom gesetzt oder aus anderen Axiomen hergeleitet werden. Im Rahmen der Arithmetik und Zahlentheorie wird es meist aus dem gleichwertigen fünften Peano-Axiom, dem Induktionsaxiom, hergeleitet.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> Dieses lautet:

Ist <math>\,K</math> eine Teilmenge der natürlichen Zahlen <math>\N</math> mit den Eigenschaften:

<math>\,1</math> ist ein Element von <math>\,K</math>
Mit <math>\,n </math> aus <math>\,K </math> ist stets auch <math>\,n+1 </math> aus <math>\,K </math>,

dann ist <math>\,K = \N</math>.

Auch in anderen Konzepten der natürlichen Zahlen sind die Peano-Axiome und damit auch das Prinzip der vollständigen Induktion herleitbar, zum Beispiel bei der Definition der natürlichen Zahlen

als von 1 erzeugte geordnete Halbgruppe, die der zitierten pythagoreischen Zahlendefinition entspricht;<ref name="Euklid" />
als frei von 1 erzeugtes Monoid, das von der Addition der Zahlen ausgeht;<ref>Felscher: Naive Mengen und abstrakte Zahlen I, S. 130–132.</ref>
als Algebra mit Nachfolger-Abbildung, die Dedekinds Zahlendefinition entspricht;<ref>Dedekind: Was sind und was sollen die Zahlen?, § 6, Erklärung 71.</ref><ref>dargestellt als Dedekind-Tripel in: Felscher: Naive Mengen und abstrakte Zahlen I, S. 147.</ref>
als kleinste induktive Menge, nämlich als kleinste Menge, die das Unendlichkeitsaxiom erfüllt, wie es in der Mengenlehre üblich ist;
als Klasse der endlichen Ordinalzahlen, die nur eine allgemeine Mengenlehre ohne Unendlichkeitsaxiom voraussetzt.

Induktionsvarianten

Induktion mit beliebigem Anfang

Möchte man zeigen, dass eine Aussage <math>A(n)</math> nicht für alle natürlichen Zahlen, sondern nur für natürliche Zahlen größer oder gleich einer Zahl <math>n_0</math> gilt, so besteht ein Induktionsbeweis aus den beiden folgenden Schritten:<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Im Induktionsanfang zeigt man, dass die Aussage für <math>n_0</math> gilt.
Im Induktionsschritt zeigt man, dass für beliebiges <math>n \geq n_0</math> gilt: Ist die Aussage für <math>n</math> richtig, so auch für <math>n+1</math>.

Beispiel

Induktionsbeweis der Ungleichung <math>2^n\ge n^2</math> für natürliche Zahlen <math>n\ge 4</math>: Induktionsanfang: Für <math>\,n = 4</math> ist die Ungleichung wegen <math>2^{4}=16\ge 16 = 4^2</math> erfüllt. Induktionsschritt: Für ein <math>n \geq 4</math> gelte <math>2^n \geq n^2 </math> (Induktionsvoraussetzung). Damit erhält man die Abschätzung

<math>\begin{array}{lll}

2^{n+1} &= 2\cdot 2^n\ge 2\cdot n^2 &= n^2+n\cdot n \ge n^2+4n \\ &= n^2+2n+2n &\ge n^2+2n+2\cdot4 \\ &\ge n^2+2n+1 &= (n+1)^2 . \end{array}</math>

Dabei wurde die Induktionsvoraussetzung im zweiten Schritt verwendet und im vierten und sechsten Schritt die Voraussetzung <math>n \geq 4</math>. Die endlich vielen Fälle, die solch ein allgemeinerer Induktionsbeweis nicht abdeckt, können einzeln untersucht werden. Im Beispiel ist die Ungleichung für <math>n=3</math> offenbar falsch.

Induktion mit mehreren Vorgängern

In manchen Induktionsbeweisen kommt man in der Induktionsvoraussetzung mit dem Bezug auf einen einzigen Vorgänger nicht aus, bspw. wenn eine Rekursionsformel mehrere Vorgänger enthält.<ref>S. Beweis der Formel von Binet für die Fibonacci-Folge</ref> Der Induktionsanfang ist dann für mehrere Startwerte durchzuführen. Ist zur Ableitung einer Formel etwa die Induktionsvoraussetzung für <math>n</math> und <math>n-1</math> nötig, dann ist ein Induktionsanfang für zwei aufeinander folgende Zahlen, also etwa 0 und 1, erforderlich.

Starke Induktion

Die starke Induktion beruht auf dem Prinzip der starken Induktion, das Folgendes besagt:<ref name=":0">{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Zieht für jedes <math>k</math> die Gültigkeit der Aussagen <math>A(1), A(2), \ldots , A(k-1)</math> die Gültigkeit von <math>A(k)</math> nach sich, so gilt <math>A(n)</math> für alle natürlichen Zahlen.

Bei einem Beweis mittels starker Induktion ist folglich nur der Induktionsschritt zu zeigen. Hierzu setzt man voraus, dass für beliebiges <math>k</math> die Aussage <math>A(1), A(2), \ldots , A(k-1)</math> gelten (starke Induktionsvoraussetzung), und zeigt dann die Gültigkeit von <math>A(k)</math> (Induktionsbehauptung).

Das Prinzip der „gewöhnlichen“ Induktion<ref group="A">Um die gewöhnliche Induktion von der starken Induktion abzugrenzen, spricht man auch von der schwachen Induktion.</ref> ist äquivalent zum Prinzip der starken Induktion, das heißt beide Prinzipien lassen sich jeweils aus dem anderen folgern.<ref name=":0" /><ref name=":1">{{#invoke:Vorlage:Literatur|f}}</ref> Trotz dieser prinzipiellen Gleichwertigkeit in der Beweisstärke ist der Unterschied in der Ausdrucksstärke wegen der beliebig vielen Startwerte und der Möglichkeit des Rückgriffs auf beliebig viele Vorgänger groß, besonders bei rekursiven Definitionen.

Beispiel

Ein Beispiel ist der Beweis, dass jede natürliche Zahl <math>n\geq 2</math> einen Primzahl-Teiler hat:

Die Aussage sei für alle <math>m</math> mit <math>2\leq m \leq n</math> erfüllt. Ist nun <math>n+1</math> eine Primzahl, so ist <math>n+1</math> selbst der gesuchte Teiler, und die Behauptung ist bewiesen. Ist <math>\,n+1</math> keine Primzahl, so gibt es zwei Zahlen <math>a, b \in\N</math> mit <math>a\cdot b = n+1</math> und <math>1 < a < n+1</math>. In diesem Fall besitzt <math>a</math> gemäß Induktionsvoraussetzung einen Primzahl-Teiler, etwa <math>p</math>. Dann teilt <math>p</math> auch <math>n+1</math> und ist Primzahl-Teiler von <math>n+1</math>. Damit ist auch für diesen zweiten Fall die Behauptung bewiesen.

Induktion mit Vorwärts-Rückwärts-Schritten

Augustin-Louis Cauchy führte 1821 eine Induktionsvariante vor, bei der der vorwärts gerichtete Induktionsschritt Sprünge macht (nämlich von <math>2^k</math> nach <math>2^{k+1}</math>) und die entstandenen Lücken nachträglich durch eine rückwärts gerichtete Herleitung von <math>2^k</math> nach <math>n < 2^k</math> auf einen Schlag gefüllt werden. Mit dieser Variante bewies er die Ungleichung vom arithmetischen und geometrischen Mittel.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Weitere Induktionsvarianten

Es gibt auch Sachlagen, bei denen Aussagen über alle ganzen Zahlen (positive und negative) mit vollständiger Induktion bewiesen werden können. Der Beweis in die positive Richtung geschieht wie gewohnt mit einem beliebigen Induktionsanfang und dem positiven Induktionsschritt von <math>n</math> nach <math>n+1</math>. Danach kann es möglich sein, den Induktionsschritt in die negative Richtung von <math>n</math> nach <math>n-1</math> auszuführen. Beispielsweise lässt sich bei der Fibonacci-Folge die Rekursionsgleichung in die Gegenrichtung umstülpen.

Die vollständige Induktion lässt sich auf Ordinalzahlen verallgemeinern. Bei Ordinalzahlen, die größer als die natürlichen Zahlen sind, spricht man dann von transfiniter Induktion.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Die Induktion lässt sich auch übertragen auf sogenannte fundierte Mengen, die eine der Zahlenordnung vergleichbare Ordnungsstruktur aufweisen; hier spricht man zuweilen von struktureller Induktion.

Rekursive oder induktive Definition

Die rekursive Definition<ref>{{#invoke:Vorlage:Literatur|f}}</ref> – auch induktive Definition genannt<ref name="Hausdorff">{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref> – ist ein der vollständigen Induktion analoges Verfahren, bei der ein Term durch einen Rekursionsanfang und einen Rekursionsschritt definiert wird. Dadurch ist der Term schon für alle natürlichen Zahlen erklärt.

Beispiel

Die Potenzen einer Zahl <math>x</math> sind erklärt durch

<math>x^1 := x</math> und
die Rekursionsformel <math>x^{n+1} := x^n\cdot x</math>

Anmerkungen

Literatur

Otto Forster, Florian Lindemann: Analysis 1. 13. Auflage. Springer Spektrum, Wiesbaden 2023, ISBN 978-3-658-40129-0, S. 1–24.
Konrad Königsberger: Analysis 1. 6. Auflage. Springer, Berlin 2004, ISBN 978-3-540-40371-5, S. 1–2.
Gerhard Schurz: Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik. 2. Auflage. De Gruyter, Berlin / Boston 2020, ISBN 978-3-11-069714-8, S. 357–360.
Florian André Dalwigk: Vollständige Induktion. Springer, Berlin / Heidelberg 2019, ISBN 978-3-662-58632-7
{{#invoke:Vorlage:Literatur|f}}
Ilja S. Sominski: Die Methode der vollständigen Induktion (= Kleine Ergänzungsreihe zu den Hochschulbüchern Mathematik. Band 3). 10. Auflage. VEB Deutscher Verlag der Wissenschaften, Berlin 1971.
Merlin Carl: Wie kommt man darauf? Einführung in das mathematische Aufgabenlösen. Springer Spektrum, Wiesbaden 2017, ISBN 978-3-658-18249-6, S. 45–58.
David S. Gunderson: Handbook of Mathematical Induction. Taylor & Francis, 2010, ISBN 978-1-4200-9365-0.

Weblinks

[[b:{{#if:|{{{lang}}}:}}{{#if:Mathe für Nicht-Freaks: Vollständige Induktion|Mathe für Nicht-Freaks: Vollständige Induktion|Vollständige Induktion}}|Wikibooks: {{#if:|{{{2}}}|{{#if:Mathe für Nicht-Freaks: Vollständige Induktion|Mathe für Nicht-Freaks: Vollständige Induktion|Vollständige Induktion}}}}]]{{#switch: 1

|1|= – Lern- und Lehrmaterialien |0|-= |X|x={{#switch: 0

      |0|4|10|12|14|100=}}

|#default= – {{{suffix}}}

}}{{#if: | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}

{{#invoke:TemplatePar|check

  |opt= 1= 2= lang= suffix=
  |template=Vorlage:Wikibooks
  |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt
  }}

Vollständige Induktion mit Beispielen.
Vollständige Induktion. henked.de
emath.de (PDF; 837 kB) Umfangreiche Aufgabensammlung zur vollständigen Induktion
Christian Spannagel: Vorlesungen zur vollständigen Induktion.
Beweise mit vollständiger Induktion auf Video anschaulich erklärt:
- {{#if:|: }}{{#if:|Show }}[https://www.youtube.com/{{#if:

|user/ Summe ungerader Zahlen (Satz des Maurolicus)]
|{{#if:
 |channel/ Summe ungerader Zahlen (Satz des Maurolicus)]
 |{{#if:
  |c/ Summe ungerader Zahlen (Satz des Maurolicus)]
  |{{#if:
   |@ Summe ungerader Zahlen (Satz des Maurolicus)]
   |{{#if:
    |show/ Summe ungerader Zahlen (Satz des Maurolicus)]
    |{{#if:
     |show?p= Summe ungerader Zahlen (Satz des Maurolicus)]
     |{{#if:
      |playlist?list= Summe ungerader Zahlen (Satz des Maurolicus)]
      |watch?v=y8B8fl_usm0{{#if:|&t={{#if:|{{{h}}}h}}{{#if:|{{{m}}}m}}{{#if:|s}}}} Summe ungerader Zahlen (Satz des Maurolicus)]{{#if:| (ab {{#if:|{{{h}}}:|0:}}{{#if:|{{#ifexpr:{{#invoke:Str|len|{{{M}}}}}>1||0}}:|00:}}{{#if:|{{#ifexpr:{{#invoke:Str|len|}}>1||0}}|00}})|{{#if:| (ab {{#expr: trunc(  / 3600 ) }}:{{#ifexpr:  
 {{#expr:    
   trunc( 
     (  - trunc(  / 3600 ) * 3600 )  
     / 60 )  
 }} < 10 | 0 
 }}{{#expr:  
 trunc(
   (  - trunc(  / 3600 ) * 3600 )  
   / 60 )

}}:{{#ifexpr:

 {{#expr:  
    - trunc(  / 3600 ) * 3600  
   - trunc( (  - trunc(  / 3600 ) * 3600 ) / 60 ) * 60  
 }} < 10 | 0
 }}{{#expr:  
  - trunc(  / 3600 ) * 3600  
 - trunc( (  - trunc(  / 3600 ) * 3600 ) / 60 ) * 60

}})}}}}

      }}
     }}
    }}
   }}
  }}
 }}
}} auf {{#ifeq:{{{link}}}|0|YouTube |YouTube}}{{#if: 
    |, {{#invoke:DateTime|format||T._Monat JJJJ}}
  }}{{#if:
    |, abgerufen am {{#invoke:DateTime|format||T._Monat JJJJ}}
  }}{{#if:|  ({{#if:
        | {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}
      }}{{#if: 
        | {{#if: 
            | ;  
          }}
      }}{{#if: 
        | {{#if: 
            | ;  
          }}Laufzeit: {{{laufzeit}}}
      }})
  }}{{#if: |.}}{{#invoke:TemplatePar|check

|all= |opt= 1= id= 2= title= titel= 3= abruf= zugriff= z= h= m= time= sec= uploader= upl= upload= d= kommentar= k= link= user= channel= c= alias= list= show= showid= sprache= laufzeit= |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=h |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=m |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=sec |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=time |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=sprache |2=langs |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=link |2=/^[01]?$/ |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ 0 oder 1 erlaubt }}{{#if:y8B8fl_usm0||Vorlage:YouTube: Fehlender Typ-Parameter. Entweder id, list, show, showid, user, channel, c oder alias muss angegeben werden. }}.

- {{#if:|: }}{{#if:|Show }}[https://www.youtube.com/{{#if:

|user/ Gaußsche Summenformel]
|{{#if:
 |channel/ Gaußsche Summenformel]
 |{{#if:
  |c/ Gaußsche Summenformel]
  |{{#if:
   |@ Gaußsche Summenformel]
   |{{#if:
    |show/ Gaußsche Summenformel]
    |{{#if:
     |show?p= Gaußsche Summenformel]
     |{{#if:
      |playlist?list= Gaußsche Summenformel]
      |watch?v=7v1n8iJH5aY{{#if:|&t={{#if:|{{{h}}}h}}{{#if:|{{{m}}}m}}{{#if:|s}}}} Gaußsche Summenformel]{{#if:| (ab {{#if:|{{{h}}}:|0:}}{{#if:|{{#ifexpr:{{#invoke:Str|len|{{{M}}}}}>1||0}}:|00:}}{{#if:|{{#ifexpr:{{#invoke:Str|len|}}>1||0}}|00}})|{{#if:| (ab {{#expr: trunc(  / 3600 ) }}:{{#ifexpr:  
 {{#expr:    
   trunc( 
     (  - trunc(  / 3600 ) * 3600 )  
     / 60 )  
 }} < 10 | 0 
 }}{{#expr:  
 trunc(
   (  - trunc(  / 3600 ) * 3600 )  
   / 60 )

}}:{{#ifexpr:

 {{#expr:  
    - trunc(  / 3600 ) * 3600  
   - trunc( (  - trunc(  / 3600 ) * 3600 ) / 60 ) * 60  
 }} < 10 | 0
 }}{{#expr:  
  - trunc(  / 3600 ) * 3600  
 - trunc( (  - trunc(  / 3600 ) * 3600 ) / 60 ) * 60

}})}}}}

      }}
     }}
    }}
   }}
  }}
 }}
}} auf {{#ifeq:0|0|YouTube |YouTube}}{{#if: 
    |, {{#invoke:DateTime|format||T._Monat JJJJ}}
  }}{{#if:
    |, abgerufen am {{#invoke:DateTime|format||T._Monat JJJJ}}
  }}{{#if:|  ({{#if:
        | {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}
      }}{{#if: 
        | {{#if: 
            | ;  
          }}
      }}{{#if: 
        | {{#if: 
            | ;  
          }}Laufzeit: {{{laufzeit}}}
      }})
  }}{{#if: |.}}{{#invoke:TemplatePar|check

|all= |opt= 1= id= 2= title= titel= 3= abruf= zugriff= z= h= m= time= sec= uploader= upl= upload= d= kommentar= k= link= user= channel= c= alias= list= show= showid= sprache= laufzeit= |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=h |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=m |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=sec |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=time |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=sprache |2=langs |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=link |2=/^[01]?$/ |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ 0 oder 1 erlaubt }}{{#if:7v1n8iJH5aY||Vorlage:YouTube: Fehlender Typ-Parameter. Entweder id, list, show, showid, user, channel, c oder alias muss angegeben werden. }}.

- {{#if:|: }}{{#if:|Show }}[https://www.youtube.com/{{#if:

|user/ Bernoulli-Ungleichung]
|{{#if:
 |channel/ Bernoulli-Ungleichung]
 |{{#if:
  |c/ Bernoulli-Ungleichung]
  |{{#if:
   |@ Bernoulli-Ungleichung]
   |{{#if:
    |show/ Bernoulli-Ungleichung]
    |{{#if:
     |show?p= Bernoulli-Ungleichung]
     |{{#if:
      |playlist?list= Bernoulli-Ungleichung]
      |watch?v=qv2PDm2le_4{{#if:|&t={{#if:|{{{h}}}h}}{{#if:|{{{m}}}m}}{{#if:|s}}}} Bernoulli-Ungleichung]{{#if:| (ab {{#if:|{{{h}}}:|0:}}{{#if:|{{#ifexpr:{{#invoke:Str|len|{{{M}}}}}>1||0}}:|00:}}{{#if:|{{#ifexpr:{{#invoke:Str|len|}}>1||0}}|00}})|{{#if:| (ab {{#expr: trunc(  / 3600 ) }}:{{#ifexpr:  
 {{#expr:    
   trunc( 
     (  - trunc(  / 3600 ) * 3600 )  
     / 60 )  
 }} < 10 | 0 
 }}{{#expr:  
 trunc(
   (  - trunc(  / 3600 ) * 3600 )  
   / 60 )

}}:{{#ifexpr:

 {{#expr:  
    - trunc(  / 3600 ) * 3600  
   - trunc( (  - trunc(  / 3600 ) * 3600 ) / 60 ) * 60  
 }} < 10 | 0
 }}{{#expr:  
  - trunc(  / 3600 ) * 3600  
 - trunc( (  - trunc(  / 3600 ) * 3600 ) / 60 ) * 60

}})}}}}

      }}
     }}
    }}
   }}
  }}
 }}
}} auf {{#ifeq:0|0|YouTube |YouTube}}{{#if: 
    |, {{#invoke:DateTime|format||T._Monat JJJJ}}
  }}{{#if:
    |, abgerufen am {{#invoke:DateTime|format||T._Monat JJJJ}}
  }}{{#if:|  ({{#if:
        | {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}
      }}{{#if: 
        | {{#if: 
            | ;  
          }}
      }}{{#if: 
        | {{#if: 
            | ;  
          }}Laufzeit: {{{laufzeit}}}
      }})
  }}{{#if: |.}}{{#invoke:TemplatePar|check

|all= |opt= 1= id= 2= title= titel= 3= abruf= zugriff= z= h= m= time= sec= uploader= upl= upload= d= kommentar= k= link= user= channel= c= alias= list= show= showid= sprache= laufzeit= |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=h |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=m |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=sec |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=time |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=sprache |2=langs |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=link |2=/^[01]?$/ |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ 0 oder 1 erlaubt }}{{#if:qv2PDm2le_4||Vorlage:YouTube: Fehlender Typ-Parameter. Entweder id, list, show, showid, user, channel, c oder alias muss angegeben werden. }}.

- {{#if:|: }}{{#if:|Show }}[https://www.youtube.com/{{#if:

|user/ Beweis von 2ⁿ≥n²]
|{{#if:
 |channel/ Beweis von 2ⁿ≥n²]
 |{{#if:
  |c/ Beweis von 2ⁿ≥n²]
  |{{#if:
   |@ Beweis von 2ⁿ≥n²]
   |{{#if:
    |show/ Beweis von 2ⁿ≥n²]
    |{{#if:
     |show?p= Beweis von 2ⁿ≥n²]
     |{{#if:
      |playlist?list= Beweis von 2ⁿ≥n²]
      |watch?v=aiWJwypx-Pk{{#if:|&t={{#if:|{{{h}}}h}}{{#if:|{{{m}}}m}}{{#if:|s}}}} Beweis von 2ⁿ≥n²]{{#if:| (ab {{#if:|{{{h}}}:|0:}}{{#if:|{{#ifexpr:{{#invoke:Str|len|{{{M}}}}}>1||0}}:|00:}}{{#if:|{{#ifexpr:{{#invoke:Str|len|}}>1||0}}|00}})|{{#if:| (ab {{#expr: trunc(  / 3600 ) }}:{{#ifexpr:  
 {{#expr:    
   trunc( 
     (  - trunc(  / 3600 ) * 3600 )  
     / 60 )  
 }} < 10 | 0 
 }}{{#expr:  
 trunc(
   (  - trunc(  / 3600 ) * 3600 )  
   / 60 )

}}:{{#ifexpr:

 {{#expr:  
    - trunc(  / 3600 ) * 3600  
   - trunc( (  - trunc(  / 3600 ) * 3600 ) / 60 ) * 60  
 }} < 10 | 0
 }}{{#expr:  
  - trunc(  / 3600 ) * 3600  
 - trunc( (  - trunc(  / 3600 ) * 3600 ) / 60 ) * 60

}})}}}}

      }}
     }}
    }}
   }}
  }}
 }}
}} auf {{#ifeq:0|0|YouTube |YouTube}}{{#if: 
    |, {{#invoke:DateTime|format||T._Monat JJJJ}}
  }}{{#if:
    |, abgerufen am {{#invoke:DateTime|format||T._Monat JJJJ}}
  }}{{#if:|  ({{#if:
        | {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}
      }}{{#if: 
        | {{#if: 
            | ;  
          }}
      }}{{#if: 
        | {{#if: 
            | ;  
          }}Laufzeit: {{{laufzeit}}}
      }})
  }}{{#if: |.}}{{#invoke:TemplatePar|check

|all= |opt= 1= id= 2= title= titel= 3= abruf= zugriff= z= h= m= time= sec= uploader= upl= upload= d= kommentar= k= link= user= channel= c= alias= list= show= showid= sprache= laufzeit= |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=h |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=m |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=sec |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=time |2=n |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=sprache |2=langs |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ }}{{#invoke:TemplatePar|valid |1=link |2=/^[01]?$/ |template=Vorlage:YouTube |cat=Wikipedia:Vorlagenfehler/Vorlage:YouTube |format=@@@ 0 oder 1 erlaubt }}{{#if:aiWJwypx-Pk||Vorlage:YouTube: Fehlender Typ-Parameter. Entweder id, list, show, showid, user, channel, c oder alias muss angegeben werden. }}.

Einzelnachweise

Vorlage:Hinweisbaustein{{#ifeq:0 | 0 | {{#if: 15. Juli 2010 | | }} {{#if: {{#invoke:Expr|figure|76653225|set=Z}} | | }} {{#if: {{#invoke:Vorlage:Seitenbewertung|fulfils|match=17437798}} | | }} }}

{{#ifeq: s | p | | {{#if: 4124408-4sh85065806 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: s | p | | {{#if: 4124408-4sh85065806 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: s | p | {{#if: 4124408-4 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: s | p | {{#if: 4124408-4 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: s | p | {{#if: sh85065806 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: s | p | {{#if: sh85065806 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung