1. Einführung
Stelle dir vor, du hast gerade dein Abitur erfolgreich bestanden und fieberst bereits dem ersten Vorlesungstag deines Mathe-Studiums entgegen. Vielleicht wirst du aber auch Informatik studieren oder irgendein anderes Fach aus dem MINT (Mathematik, Informatik, Naturwissenschaft und Technik-Bereich). Voller Vorfreude und Elan stürmst du in die Bibliothek, um dich mit ausreichend Fachliteratur einzudecken, die du in den wenigen Monaten zwischen Schul- und Uni-Leben inhalieren willst. Zusätzlich dazu meldest du dich für den Mathematik-Vorkurs deines Studienstandorts an und fühlst dich durch dieses volle Programm bereits ausgebrannt, bevor du auch nur für eine Sekunde einen Hörsaal von innen gesehen hast. Und das Schlimmste: Die meisten Inhalte, die du in deinem ehrgeizigen Selbststudium erlernst, werden dir nur kurz-, aber nicht langfristig helfen. Weitaus wichtiger wäre es, wenn du statt einer ausführlichen Erklärung, was man unter den komplexen Zahlen versteht oder wie man eine arithmetische von einer geometrischen Folge unterscheidet, wenn du an die Denkweise eines Mathematikers bzw. das Ausbilden von Computational Thinking herangeführt wirst. Was man unter Computational Thinking versteht und weshalb es eine für die Zukunft so wichtige Fähigkeit ist, erfährst du in dem folgenden Video:
Für einen sehr langen Zeitraum deines Studiums wirst du dich mit mathematischen Beweisen beschäftigen, da sie die Grundvoraussetzung für eine widerspruchsfreie Mathematik sind. Der deutsche Mathematiker Julius Wilhelm Richard Dedekind sagte \(1888\):
"Was beweisbar ist, soll in der Wissenschaft nicht ohne Beweis geglaubt werden."
Und mit genau dieser Skepsis solltest du mathematische Aussagen fortan betrachten. Ohne Beweise könnte jeder behaupten, dass es unendlich viele Primzahlen gibt oder dass \(5^n-1\) für alle natürlichen Zahlen \(n\) ohne Rest durch \(4\) teilbar ist. Erst, wenn man durch hieb- und stichfeste mathematische Argumente zweifelsfrei nachweisen kann, dass eine Behauptung wahr ist, sollte man auf ihr weiter aufbauen. Da die Mathematik ein gewaltiges Gedankenkonstrukt ist, das (in seiner Intensität wie kaum eine andere Disziplin) auf vielen Säulen (Definitionen, Sätze, Lemmata etc.) aufbaut, ist es kaum verwunderlich, dass Beweise jeden neu eingeführten Zusammenhang durchziehen. Deshalb solltest du dich vorrangig darauf vorbereiten und Themen wie Folgen und Reihen, das Horner-Schema oder das Berechnen von Interpolationspolynomen hinten anstellen. Wie bereits erwähnt werden diese Themen ohnehin noch einmal im Studium (und dort dann mit Beweisen) durchgenommen.
Obwohl es sich dabei um ein so fundamental wichtiges Werkzeug handelt, gehen viele Professoren anscheinend davon aus, dass ihre Studenten diese Fähigkeit bereits mitbringen oder sie diese durch das Lesen dutzender Beweise ausbilden. Würde diese Methode wirklich funktionieren, dann könnte man auch eine völlig fremde Sprache erlernen, indem man nur lange genug anderen beim Sprechen zuhört ohne dabei Grammatikregeln oder Vokabeln lernen zu müssen. Dass das so nicht geht, sieht man schnell ein. Du kannst natürlich eine Sprache auf diese Weise bis zu einem bestimmten Level lernen, doch das Ergebnis ist dann zumeist sehr bescheiden. Genauso verhält es sich auch bei Beweisen: Wenn du nur lange genug Aufgaben zur vollständigen Induktion siehst, wirst du schon irgendwann ähnliche Probleme lösen können. Doch du wirst dadurch sehr unwahrscheinlich ein Level erreichen, an dem du komplett eigene Beweisgedanken fassen, die z. B. gar keine vollständige Induktion benötigen. Es ist für den Anfang erstmal viel mehr wert zu wissen, wann du z. B. das Beweisprinzip der vollständigen Induktion anwendest als wie genau du einen Induktionsbeweis führst. Es ist viel mehr wert zu erkennen, wann es sinnvoller ist einen indirekten anstelle eines direkten Beweises zu wählen als sich daran zu erinnern, dass am Ende eines Beweises ein q.e.d. oder \(\square\) steht.
Statt zum wiederholten Mal den kleinen Gauß aufzuschreiben, kannst du die Gauß'sche Summenformel z. B. auch anschaulich durch graphische Überlegungen beweisen. Sieh dir dazu das folgende Video an.
2. Der Beweis-Leitfaden
Dieser Abschnitt ist als Leitfaden zu verstehen, mit dessen Hilfe du an Beweisprobleme herangehen kannst. Bevor du dich aber nun durch mehrere Seiten Text mit einem sehr konstruiert wirkenden und unverständlichen Beispiel kämpfst (wie es in den meisten Lehrbüchern der Fall ist), kannst du dir das folgende Video ansehen, in dem du anhand eines Beispiels aus der Zahlentheorie erklärt bekommst, wie man an einen Beweis herangehen kann. Du bekommst dabei eine Vorgehensweise präsentiert, mit der du einen Beweis strukturiert angehen kannst, ohne dich verloren fühlen zu müssen.
Hast du dir während des Videos Notizen gemacht? Falls nein, kannst du trotzdem unbesorgt sein: Du erhältst nun eine Kurzübersicht über die im Video besprochenen Phasen der Beweisführung und bekommst diese Vorgehensweise anhand von zwei weiteren Beispielen erklärt.
Zum Beweis einer Aussage der Form \(A\Longrightarrow B\) können die folgenden Phasen durchlaufen werden:
- Analyse
- Übersetzung
- Verständnis/Tests
- Entwicklung der Beweisidee
- Aufschreiben des Beweises
Damit du in einer Klausuren- oder Übungsblattsituation auch weißt, was mit den einzelnen Phasen gemeint ist, wirst du nun noch einmal detailliert jeden Schritt beschrieben bekommen (sofern dir die Inhalte aus dem vorangegangenen Video noch nicht ausgereicht haben sollten).
2.1 Analyse
Die Analysephase ist dein erster Berührungspunkt mit der Behauptung, die es zu beweisen gilt. Markiere dir zuerst alle Fachbegriffe, die unklar sind. Diese werden im weiteren Verlauf eine wichtige Rolle spielen. Wie bei einer Satzanalyse im Deutsch- oder Lateinunterricht identifizierst du in der Analyse außerdem die relevanten Bestandteile. Jede Behauptung lässt sich in der Form $$A\Longrightarrow B$$ schreiben, wobei \(A\) die Prämisse und \(B\) die Konklusion (also die Schlussfolgerung) ist. Die Prämisse kann sich wiederum aus verschiedenen Teilaussagen \(A_1, A_2, ..., A_n\) zusammensetzen, die durch und, oder etc. miteinander kombiniert werden. Zerlege also die Behauptung in Teilaussagen, die durch aussagenlogische Operatoren miteinander kombiniert werden.
2.2 Übersetzung
Alle Begriffe, die du im \(1.\) Schritt markiert hast, werden nun übersetzt. Am Ende sollst du die unklaren Begriffe verstanden haben. Hierfür schlägst du in deinem Vorlesungsskript oder den Werken aus der Literaturempfehlung nach, wie genau die markierten Begriffe definiert wurden. Versuche am Ende dieser Übersetzungsphase die zu beweisende Behauptung in eigenen Worten wiederzugeben (ohne die Übersetzung anzusehen).
Dieser Schritt ist nur für dich gedacht und kein Bestandteil des Beweises. Wenn du nichts markieren musstest,gibt es an dieser Stelle nichts für dich zu tun.
2.3 Verständnis/Tests
Um ein Gefühl für die Behauptung zu bekommen und das Problem zu verstehen, kannst du einige Tests durchführen. Dies sieht z. B. so aus, dass du verschiedene Zahlenwerte in eine zu beweisende Formel einsetzt oder dich geometrisch bzw. anschaulich davon überzeugst, dass an der Behauptung etwas dran ist. Dieses Testen mit bestimmten Fällen ist natürlich noch kein Beweis, aber es hilft dir, ein Verständnis für die Problematik zu entwickeln.
2.4 Entwicklung der Beweisidee
Dieser Schritt ist der aufwendigste bzw. zeitintensivste. Leider gibt es hierfür keinen Algorithmus, d. h. du musst dich beim Beweisen immer wieder auf neue Situationen einstellen. Das kann aber natürlich auch ein Vorteil sein, denn so wird die Mathematik nicht langweilig. Mit der Zeit stellt sich aber trotzdem eine gewisse Routine ein. Je mehr Beweise mit cleveren Tricks und Gedankengängen du siehst, desto schneller entwickelst du ein Gefühl dafür, wie man ein bestimmtes Problem oder eine Problemklasse lösen kann. Am Anfang deiner Überlegungen könnte z. B. die Frage stehen, ob du die Behauptung direkt beweisen (\(A\Longrightarrow B\)) sollst oder ob es sinnvoller wäre, einen indirekten Beweis (\(\overline{B}\Longrightarrow\overline{A}\)) zu führen. Möglicherweise ist ein Beweis durch Widerspruch auch eine sinnvolle Herangehensweise. Danach beginnt die Phase, in der du über das Problem nachdenkst (alleine oder mit anderen). Probiere verschiedene Ansätze aus. Auch wenn du nicht direkt auf einen sinnvollen Lösungsansatz kommst, solltest du nicht verzweifeln. Im Gegenteil: Es wäre ziemlich außergewöhnlich, wenn du immer direkt beim ersten Mal einen Ansatz findest, der nahtlos zum Ziel führt. Nur durch die Betrachtungsweise des Problems von mehreren Seiten wirst du langfristig davon profitieren. Du musst die Gedankenprozesse selbst durchlaufen, um dein Gehirn auf Beweisen zu trimmen. Die Lösung einfach nachzuschauen ist das Gefährlichste, was du tun kannst. Auch (vermeintliche) Tipps in der Lösung zu suchen ist nicht zielführend, da du dir so möglicherweise den einen (scheinbar unbedeutenden) Gedankengang vorwegnimmst.
Bei einigen Beweisen gestaltet sich das Finden der Beweisidee besonders leicht, da es ein Beweisschema gibt, das du letztendlich wie einen Algorithmus abspulen kannst. Wenn in der Behauptung z. B. "für alle natürlichen Zahlen\(\mathbb{N}\)" steht, dann ist das ein Indikator dafür, dass hier das Beweisprinzip der vollständigen Induktion angewendet werden kann. Dieses läuft nach einem einfachen Algorithmus bzw. einer Klasse von verschiedenen Algorithmen ab.
2.5 Aufschreiben des Beweises
Ein Beweis ist erst dann wirklich sauber, wenn er nachvollziehbar und lückenlos dokumentiert ist. Stelle dir vor, dass dein Beweis in einem Gerichtsverfahren standhalten müsste. Dort werden Schlampereien ebenfalls mit Zweifeln und im schlimmsten Fall mit einer Nichtanerkennung bestraft. Erschwerend kommt hinzu, dass du (anders als bei der Beweisidee) zuerst aufschreiben musst, was genau gesucht ist und dann erst den Leser durch logische Schlüsse davon überzeugen musst, dass die Behauptung stimmt und dein Beweis keine gedanklichen Sprünge bzw. Widersprüche enthält. Wie sieht das konkret aus?
2.5.1 Notiere, was gegeben ist, d. h. gib die Prämissen \(A_1, A_2, ..., A_n\) an.
2.5.2 Schreibe auf, was gezeigt werden soll, d. h. formuliere die Schlussfolgerung \(A_1\wedge A_2\wedge ...\wedge A_n\Longrightarrow B\).
Hier würde ich gerne weiterschreiben, doch leider ist die maximale Zeichenanzahl erreicht ... bitte erhöhen, dann geht es weiter ;)
Dieser Artikel hat 50 Bonuspunkte erhalten. Schreib auch du einen Artikel.