Direkter Beweis: Summe zweier gerader Zahlen

Beweise, dass die Summe zweier gerader Zahlen gerade ist.

Definiere, was gerade bedeutet: Eine Zahl $n$ ist gerade, wenn $n = 2k$ für eine ganze Zahl $k$ gilt = Definition festgelegt

Seien $a$ und $b$ zwei gerade Zahlen: Nach Definition: $a = 2m$ und $b = 2n$, wobei $m, n$ ganze Zahlen sind = Ausdrücken mit Definition

Addiere die beiden Zahlen: $a + b = 2m + 2n = 2(m + n)$ = Klammere 2 aus

Identifiziere die Form: $2(m + n)$ ist $2 \times (\text{ganze Zahl})$, was die Definition von gerade ist = Entspricht der Definition

Formuliere die Schlussfolgerung: Daher ist $a + b$ gerade = QED

Answer: Die Summe zweier gerader Zahlen ist immer gerade, weil $2m + 2n = 2(m+n)$, was 2 mal eine ganze Zahl ist.

Widerspruchsbeweis: Die Quadratwurzel aus 2 ist irrational

Beweise, dass $\sqrt{2}$ irrational ist.

Nimm das Gegenteil an: Angenommen $\sqrt{2}$ ist rational, also $\sqrt{2} = \frac{a}{b}$ wobei $a, b$ ganze Zahlen ohne gemeinsame Faktoren sind = Beginne mit Widerspruchsannahme

Quadriere beide Seiten: $2 = \frac{a^2}{b^2}$, also $a^2 = 2b^2$ = $a^2$ ist gerade

Folgere, dass $a$ gerade ist: Wenn $a^2$ gerade ist, muss $a$ gerade sein (wäre $a$ ungerade, wäre $a^2$ ungerade) = $a = 2k$ für eine ganze Zahl $k$

Setze zurück ein: $(2k)^2 = 2b^2$, also $4k^2 = 2b^2$, daher $b^2 = 2k^2$ = $b^2$ ist gerade

Folgere, dass $b$ gerade ist: Nach derselben Logik muss $b$ gerade sein = Sowohl $a$ als auch $b$ sind gerade

Identifiziere den Widerspruch: Aber wir sagten, $a$ und $b$ haben keine gemeinsamen Faktoren. Wenn beide gerade sind, teilen sie den Faktor 2! = WIDERSPRUCH

Schlussfolgere: Unsere Annahme war falsch, also ist $\sqrt{2}$ irrational = QED

Answer: $\sqrt{2}$ ist irrational, weil die Annahme, sie sei rational, zu einem logischen Widerspruch führt.

Direkter Beweis: Produkt ungerader Zahlen

Beweise, dass das Produkt zweier ungerader Zahlen ungerade ist.

Definiere, was ungerade bedeutet: Eine Zahl $n$ ist ungerade, wenn $n = 2k + 1$ für eine ganze Zahl $k$ gilt = Definition festgelegt

Seien $a$ und $b$ zwei ungerade Zahlen: $a = 2m + 1$ und $b = 2n + 1$, wobei $m, n$ ganze Zahlen sind = Mit Definition ausdrücken

Multipliziere die Zahlen: $a \times b = (2m + 1)(2n + 1)$ = Multiplikation aufstellen

Ausmultiplizieren: $= 4mn + 2m + 2n + 1 = 2(2mn + m + n) + 1$ = Klammere 2 aus

Identifiziere die Form: $2(2mn + m + n) + 1$ ist $2 \times (\text{ganze Zahl}) + 1$, was ungerade ist = Entspricht der Definition

Formuliere die Schlussfolgerung: Daher ist $a \times b$ ungerade = QED

Answer: Das Produkt zweier ungerader Zahlen ist immer ungerade, weil $(2m+1)(2n+1) = 2(2mn+m+n) + 1$.

Mistake: Spezifische Beispiele statt allgemeinem Beweis verwenden

Why: Zu zeigen, dass $2 + 4 = 6$ gerade ist, beweist nur EINEN Fall, nicht ALLE Fälle.

Correct: Verwende Variablen ($2m + 2n$), um BELIEBIGE zwei gerade Zahlen darzustellen.

Mistake: Das annehmen, was man beweisen will

Why: Du kannst die Schlussfolgerung nicht in deiner Argumentation verwenden - das ist ein Zirkelschluss.

Correct: Beginne nur mit gegebenen Informationen und Definitionen, dann leite die Schlussfolgerung ab.

Mistake: Fehlende Begründung für Schritte

Why: Jeder Schritt muss durch eine Definition, ein Axiom oder einen bereits bewiesenen Satz begründet werden.

Correct: Erkläre immer, WARUM jeder Schritt aus dem vorherigen folgt.

Mistake: Implikationsrichtung verwechseln

Why: Wenn $P \Rightarrow Q$, sagt uns das Wissen von $Q$ NICHT, dass $P$ wahr ist.

Correct: Sei vorsichtig: Umkehrung und Verneinung einer wahren Aussage können falsch sein.

Informatik: Algorithmus-Korrektheit

Softwareingenieure verwenden Beweise, um zu verifizieren, dass Programme für alle Eingaben korrekt funktionieren.

Der Beweis, dass ein Sortieralgorithmus immer eine sortierte Liste erzeugt, erfordert mathematische Induktion.

Kryptographie: Sicherheitsbeweise

Moderne Verschlüsselung basiert auf mathematischen Beweisen, um Sicherheit zu garantieren.

Die Sicherheit der RSA-Verschlüsselung basiert auf der bewiesenen Schwierigkeit, große Zahlen zu faktorisieren.

Juristische Argumentation: Argumente aufbauen

Anwälte konstruieren logische Argumente ähnlich wie mathematische Beweise.

Juristische Argumentation folgt dem Schema 'Wenn die Beweise X zeigen, und X Schuld impliziert, dann ist der Angeklagte schuldig.'

Q: Was ist der Unterschied zwischen einem Theorem und einem Axiom?

A: Ein Axiom ist eine Aussage, die ohne Beweis als wahr akzeptiert wird. Ein Theorem ist eine Aussage, die mit Axiomen und anderen Theoremen bewiesen wurde.

Q: Warum brauchen wir Beweise, wenn wir Beispiele testen können?

A: Das Testen von Beispielen zeigt nur, dass spezifische Fälle funktionieren. Ein Beweis garantiert, dass ALLE Fälle funktionieren. Wir können zum Beispiel nicht unendlich viele Zahlen testen, aber ein Beweis deckt sie alle ab.

Q: Was bedeutet QED?

A: QED steht für 'quod erat demonstrandum' (Lateinisch für 'was zu beweisen war'). Es markiert das Ende eines Beweises.