Direkter Beweis

Lerne direkte Beweise zu konstruieren, indem du Schlussfolgerungen logisch aus gegebenen Hypothesen mithilfe von Definitionen, Axiomen und bereits bewiesenen Sätzen ableitest.

Fortgeschritten25 MinLektion
Arbeitsblatt zum Drucken

Definition

Ein direkter Beweis ist eine Methode, um eine mathematische Aussage zu beweisen, indem man mit bekannten Fakten (der Hypothese) beginnt und logische Schritte verwendet, um zur Schlussfolgerung zu gelangen.
Die Struktur eines direkten Beweises:
  1. 1.Annehmen, dass die Hypothese wahr ist
  2. 2.Anwenden von Definitionen, Axiomen und Sätzen
  3. 3.Ableiten der Schlussfolgerung durch logisches Denken
Wenn wir "Wenn PP, dann QQ" beweisen wollen (geschrieben P⇒QP \Rightarrow Q):
  • Beginne damit, anzunehmen, dass PP wahr ist
  • Verwende logische Schlussfolgerungen, um zu zeigen, dass QQ auch wahr sein muss
P⇒Q bedeutet: wann immer P wahr ist, ist auch Q wahrP \Rightarrow Q \text{ bedeutet: wann immer } P \text{ wahr ist, ist auch } Q \text{ wahr}

Probier es gleich aus

Was ist der erste Schritt in einem direkten Beweis?

Lösungsbeispiele

Beweise: Wenn aa und bb gerade ganze Zahlen sind, dann ist a+ba + b gerade.
1

Formuliere die Hypothese

Angenommen, aa und bb sind gerade ganze Zahlen → Gegeben: aa und bb sind gerade
2

Wende die Definition von gerade an

Eine gerade ganze Zahl kann als 2k2k für eine ganze Zahl kk geschrieben werden → a=2ma = 2m und b=2nb = 2n für ganze Zahlen m,nm, n
3

Addiere die beiden Zahlen

a+b=2m+2na + b = 2m + 2n
4

Klammere den gemeinsamen Faktor aus

a+b=2(m+n)a + b = 2(m + n)
5

Wende die Definition von gerade erneut an

Da m+nm + n eine ganze Zahl ist, ist 2(m+n)2(m + n) per Definition gerade → a+ba + b ist gerade

Häufige Fehler

Verwendung spezifischer Beispiele statt eines allgemeinen Beweises

Warum es falsch ist: Zu zeigen, dass 2+4=62 + 4 = 6 (gerade) ist, beweist nichts über ALLE geraden Zahlen. Ein Beweis muss für jeden möglichen Fall funktionieren.

Richtig: Verwende Variablen und Definitionen. Schreibe 'Sei a=2ma = 2m für eine ganze Zahl mm', um JEDE gerade Zahl darzustellen.

Annehmen, was man beweisen möchte

Warum es falsch ist: Du kannst die Schlussfolgerung nicht in deiner Argumentation verwenden. Das ist Zirkellogik.

Richtig: Beginne nur mit der Hypothese und arbeite vorwärts. Schreibe niemals 'Da a+ba + b gerade ist...', bis du es bewiesen hast.

Überspringen logischer Schritte

Warum es falsch ist: Jeder Schritt muss logisch aus vorherigen Schritten folgen. Lücken im Denken können Fehler verbergen.

Richtig: Begründe jeden Schritt mit einer Definition, einem Axiom oder einem bereits bewiesenen Satz.

Interaktive Visualisierung

Wahrheitstabelle

P ∧ Q
PQP ∧ Q
FFF
FWF
WFF
WWW

W= WahrF= Falsch

Interaktiver Sandkasten

Ausdrucksrechner

Probiere diese:

Verlauf

Noch keine Berechnungen

Übungsaufgaben

17 Aufgaben
Aufgabe 1 von 17
Einfach
Was ist der erste Schritt in einem direkten Beweis?

Warum es wichtig ist

Der direkte Beweis ist die grundlegendste Beweistechnik in der Mathematik:
  • Grundlage der Mathematik: Jeder Satz, den du verwendest, wurde mit direktem Beweis oder verwandten Methoden bewiesen
  • Informatik: Korrektheitsbeweise für Algorithmen verwenden oft direktes Schlussfolgern
  • Juristische Argumentation: Anwälte konstruieren Argumente von Beweisen zur Schlussfolgerung
  • Wissenschaftliche Methode: Das Ableiten von Vorhersagen aus Hypothesen nutzt dieselbe logische Struktur
  • Problemlösung: Das Aufteilen komplexer Probleme in logische Schritte
Das Beherrschen des direkten Beweises entwickelt rigoroses Denken, das weit über die Mathematik hinaus anwendbar ist!

Anwendungen im echten Leben

Softwareverifikation

Programmierer verwenden die Logik des direkten Beweises, um zu verifizieren, dass ihr Code für alle Eingaben korrekt funktioniert.

Beispiel:

Um zu beweisen, dass ein Sortieralgorithmus immer eine sortierte Ausgabe produziert, zeigen wir: Wenn die Eingabe eine Liste ist, hat die Ausgabe dieselben Elemente in nicht-absteigender Reihenfolge.

1Probiere es selbst

Ein Programm verdoppelt jede Zahl in einer Liste. Wir müssen beweisen: Wenn alle Eingabezahlen positiv sind, sind alle Ausgabezahlen positiv.

Vervollständige diesen direkten Beweis.

Schritt 1: Wähle die richtige Antwort

Wenn x>0x > 0, dann 2x>?2x > ?

Juristische Argumentation

Anwälte konstruieren Argumente, die logisch von Beweisen zu Schlussfolgerungen führen.

Beispiel:

Wenn der Vertrag besagt, dass die Zahlung bei Lieferung fällig ist, und die Lieferung am 1. März erfolgte, dann war die Zahlung am 1. März fällig.

2Probiere es selbst

Gesetz: Alle Bürger über 18 dürfen wählen. Fakt: Alex ist ein Bürger. Fakt: Alex ist 21 Jahre alt.

Beweise, dass Alex wählen darf.

Schritt 1: Wähle die richtige Antwort

Welcher Vergleich von Alex’ Alter mit 18 vervollständigt das Argument?

Wichtige Erkenntnisse

  • 1Ein direkter Beweis nimmt an, dass die Hypothese wahr ist, und leitet die Schlussfolgerung durch logische Schritte ab
  • 2Verwende Definitionen, um Wörter in mathematische Ausdrücke zu übersetzen (z.B. gerade = 2k2k)
  • 3Jeder Schritt muss logisch aus vorherigen Schritten folgen, unter Verwendung von Algebra, Definitionen oder Sätzen
  • 4Der Beweis endet, wenn du die exakte Form der Schlussfolgerung erreicht hast
  • 5QED (quod erat demonstrandum) markiert das Ende eines Beweises

Häufig gestellte Fragen

Versuche zuerst den direkten Beweis für positive Aussagen wie 'Wenn A, dann B.' Wenn du nicht weiterkommst, erwäge Beweis durch Widerspruch oder Kontraposition. Direkter Beweis funktioniert gut, wenn du die Hypothese algebraisch manipulieren kannst.
Versuche zuerst den direkten Beweis für positive Aussagen wie 'Wenn A, dann B.' Wenn du nicht weiterkommst, erwäge Beweis durch Widerspruch oder Kontraposition. Direkter Beweis funktioniert gut, wenn du die Hypothese algebraisch manipulieren kannst.
QED steht für 'quod erat demonstrandum' (Lateinisch für 'was zu beweisen war'). Es signalisiert, dass der Beweis vollständig ist. Manche Mathematiker verwenden stattdessen ein Quadratsymbol (Grabstein).
Jeder Schritt sollte durch eine Definition, Eigenschaft oder einen Satz begründet werden. Wenn du Schritte überspringst, riskierst du, Fehler zu verbergen. Im Zweifel füge mehr Details hinzu.

Glossar

Direkter Beweis
Eine Beweismethode, die die Hypothese annimmt und logische Deduktion verwendet, um die Schlussfolgerung abzuleiten
Hypothese
Der 'wenn'-Teil einer konditionalen Aussage; was wir als wahr annehmen
Schlussfolgerung
Der 'dann'-Teil einer konditionalen Aussage; was wir beweisen wollen
QED
Abkürzung für 'quod erat demonstrandum', markiert das Ende eines Beweises
Satz
Eine mathematische Aussage, die als wahr bewiesen wurde
Axiom
Eine Aussage, die ohne Beweis als wahr akzeptiert wird; ein Ausgangspunkt für Argumentation
Heutige ChallengeEine Aufgabe, drei Versuche

Mehr zu diesem Thema

Einführung in mathematische Beweise

Fortgeschritten25 Min

Zwei-Spalten-Beweise

Mittelstufe25 Min

Beweise in Textform

Fortgeschritten30 Min

Geometrische Beweise

Fortgeschritten30 Min