Die mathematische Induktion ist eine besondere Art des Nachweises einer mathematischen Wahrheit. Sie kann dazu verwendet werden, um zu beweisen, dass für alle natürlichen Zahlen (alle positiven ganzen Zahlen) etwas wahr ist. Die Idee ist, dass
- Für den ersten Fall trifft etwas zu
- Dasselbe gilt immer für den nächsten Fall
dann
- Dasselbe gilt für jeden Fall
In der sorgfältigen Sprache der Mathematik:
- Geben Sie an, dass der Beweis durch Induktion über n {\Darstellungsstil n} erfolgen wird
. ( n {\Darstellungsstil n}
ist die Induktionsvariable).
- Zeigen Sie, dass die Aussage wahr ist, wenn n {\Darstellungsstil n}
gleich 1 ist.
- Nehmen Sie an, dass die Aussage für jede natürliche Zahl n {\Darstellungsstil n}
wahr ist. (Dies wird als Induktionsschritt bezeichnet).
- Zeigen Sie dann, dass die Aussage für die nächste Zahl, n + 1 {\darstellungsstil n+1}
wahr ist.
Denn es gilt für 1, dann gilt es für 1+1 (=2, durch den Induktionsschritt), dann gilt es für 2+1 (=3), dann gilt es für 3+1 (=4), und so weiter.
Ein Beispiel für den Beweis durch Induktion:
Beweisen Sie dies für alle natürlichen Zahlen n:
1 + 2 + 3 + . . . . + ( n - 1 ) + n = 1 2 n ( n + 1 ) {\Anzeigestil 1+2+3+....
Beweise:
Zunächst kann die Aussage geschrieben werden: für alle natürlichen Zahlen n
2 ∑ k = 1 n k = n ( n + 1 ) {\darstellungsstil 2\sum _{k=1}^{n}k=n(n+1)}
Durch Induktion auf n,
Erstens, für n=1:
2 ∑ k = 1 1 k = 2 ( 1 ) = 1 ( 1 + 1 ) {\darstellungsart 2\sum _{k=1}^{1}k=2(1)=1(1+1)} ,
Das ist also wahr.
Nehmen Sie als nächstes an, dass für einige n=n0 die Aussage wahr ist. Das heißt:
2 ∑ k = 1 n 0 k = n 0 ( n 0 + 1 ) {\darstellungsart 2\sum _{k=1}^{n_{0}}}k=n_{0}(n_{0}+1)} {\darstellungsart 2\sum _{k=1}^{n_{0}}}k=n_{0}(n_{0}+1)}
Dann für n=n0+1:
2 ∑ k = 1 n 0 + 1 k {\darstellungsstil 2\sum _{k=1}^{{{{n_{0}}}+1}k}
kann umgeschrieben werden
2 ( ∑ k = 1 n 0 k + ( n 0 + 1 ) ) {\Anzeigestil 2\links(\sum _{k=1}^{n_{0}}}k+(n_{0}+1)\rechts)}
Seit 2 ∑ k = 1 n 0 k = n 0 ( n 0 + 1 ) , {\darstellungsstil 2\sum _{k=1}^{n_{0}}}k=n_{0}(n_{0}+1),}
2 ∑ k = 1 n 0 + 1 k = n 0 ( n 0 + 1 ) + 2 ( n 0 + 1 ) = ( n 0 + 1 ) ( n 0 + 2 ) {\darstellungsstil 2\sum _{k=1}^{n_{0}+1}k=n_{0}(n_{0}+1)+2(n_{0}+1)=(n_{0}+1)(n_{0}+2)} {\darstellungsstil 2\sum _{k=1}^{n_{0}+1}k=n_{0}(n_{0}+1)+2(n_{0}+1)}
Daher ist der Beweis richtig.