Ich fand mal ein Witzeportal, wo jeder um den besten Witz über Mathematik wetteifern konnte. Nur zwei Witze fand ich wirklich Klasse
" Der Beweis, dass die e-Funktion identisch gleich konstant ist. "
Aber der aller größte Brüller in deinem Zusamenhang
" Fundamentalsatz der Zahlenteorie; alle natürlichen Zahlen sind gleich. "
Bewiesen wird ein der Art wichtiger Satz - wie könnte es anders sein - durch ein Lemma.
Habakuksches Lemma: Ich schreibe es jetzt mal in Quantoren auf. Schließlich sollst du ja Quantoren lernen.
(V) n | i < = n ; j < = n ===> i = j ( 1 )
Aus ( 1 ) folgt natürlich trivial der Fundisatz. Und ( 1 ) wird - wie könnte es anders sein - induktiv bewiesen.
INDUKTIONSANFANG ( n = 1 ; trivial )
============================================
INDUKTIONSANNAHME ( siehe ( 1 )
============================================
INDUKTIONSSCHRITT
===========================
Sei also
i < = n + 1 | - 1 ( 2a )
j < = n + 1 | - 1 ( 2b )
Wie üblich habe ich in ( 2ab ) die Umformung vermerkt. wir setzen noch
i ' := i - 1 ; j ' := j - 1 ( 3a )
Dann lautet ( 2ab )
i ' < = n ( 3b )
j ' < = n ( 3c )
Dann ist Induktionsannahme ( 1 ) anwendbar, mithin
i ' = j ' | + 1 ( 4a )
i = j ( 4b ) wzbw ; habichdochgesagt; habichdochgesagt; habichdochgesagt ....
Frag deinen Lehrer bzw. Prof ...