Beweis, dass die Summe zweier gerader Zahlen gerade ist

Beweise: Wenn $a$ und $b$ gerade ganze Zahlen sind, dann ist $a + b$ gerade.

Formuliere die Hypothese: Angenommen, $a$ und $b$ sind gerade ganze Zahlen = Gegeben: $a$ und $b$ sind gerade

Wende die Definition von gerade an: Eine gerade ganze Zahl kann als $2k$ für eine ganze Zahl $k$ geschrieben werden = $a = 2m$ und $b = 2n$ für ganze Zahlen $m, n$

Addiere die beiden Zahlen: $a + b = 2m + 2n$ = $a + b = 2m + 2n$

Klammere den gemeinsamen Faktor aus: $a + b = 2(m + n)$ = $a + b = 2(m + n)$

Wende die Definition von gerade erneut an: Da $m + n$ eine ganze Zahl ist, ist $2(m + n)$ per Definition gerade = $a + b$ ist gerade

Answer: Daher ist die Summe zweier gerader ganzer Zahlen immer gerade. QED

Beweis, dass das Quadrat einer ungeraden Zahl ungerade ist

Beweise: Wenn $n$ eine ungerade ganze Zahl ist, dann ist $n^2$ ungerade.

Formuliere die Hypothese: Angenommen, $n$ ist eine ungerade ganze Zahl = Gegeben: $n$ ist ungerade

Wende die Definition von ungerade an: Eine ungerade ganze Zahl kann als $2k + 1$ für eine ganze Zahl $k$ geschrieben werden = $n = 2k + 1$ für eine ganze Zahl $k$

Quadriere den Ausdruck: $n^2 = (2k + 1)^2$ = $n^2 = (2k + 1)^2$

Expandiere mit Algebra: $n^2 = 4k^2 + 4k + 1$ = $n^2 = 4k^2 + 4k + 1$

Faktorisiere, um die ungerade Form zu zeigen: $n^2 = 2(2k^2 + 2k) + 1$ = $n^2 = 2(2k^2 + 2k) + 1$

Schließe mit der Definition: Dies ist $2m + 1$, wobei $m = 2k^2 + 2k$ eine ganze Zahl ist = $n^2$ ist ungerade

Answer: Daher ist das Quadrat einer ungeraden ganzen Zahl immer ungerade. QED

Beweis einer Teilbarkeitseigenschaft

Beweise: Wenn $n$ eine ganze Zahl ist, dann ist $n^3 - n$ durch 3 teilbar.

Faktorisiere den Ausdruck: $n^3 - n = n(n^2 - 1)$ = $n^3 - n = n(n^2 - 1)$

Faktorisiere weiter mit der Differenz von Quadraten: $n(n^2 - 1) = n(n-1)(n+1)$ = $n^3 - n = (n-1) \cdot n \cdot (n+1)$

Erkenne das Muster: $(n-1)$, $n$, $(n+1)$ sind drei aufeinanderfolgende ganze Zahlen = Produkt von 3 aufeinanderfolgenden ganzen Zahlen

Wende zahlentheoretische Tatsache an: Unter je 3 aufeinanderfolgenden ganzen Zahlen ist genau eine durch 3 teilbar = Ein Faktor ist durch 3 teilbar

Schließe: Da ein Faktor durch 3 teilbar ist, ist das gesamte Produkt durch 3 teilbar = $n^3 - n$ ist durch 3 teilbar

Answer: Daher ist für jede ganze Zahl $n$ der Ausdruck $n^3 - n$ durch 3 teilbar. QED

Mistake: Verwendung spezifischer Beispiele statt eines allgemeinen Beweises

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

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

Mistake: Annehmen, was man beweisen möchte

Why: Du kannst die Schlussfolgerung nicht in deiner Argumentation verwenden. Das ist Zirkellogik.

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

Mistake: Überspringen logischer Schritte

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

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

Softwareverifikation

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

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.

Juristische Argumentation

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

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.

Q: Woher weiß ich, wann ich direkten Beweis statt anderer Methoden verwenden soll?

A: 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.

Q: Was bedeutet QED?

A: 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).

Q: Wie detailliert sollten meine Schritte sein?

A: 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.