Direkt zum Inhalt

Pfadnavigation

  1. Startseite
  2. Mathematik Abitur
  3. 1 Denk- und Arbeitsweisen der Mathematik
  4. 1.2 Grundbegriffe der Mathematik
  5. 1.2.5 Beweise
  6. Indirekter Beweis

Indirekter Beweis

Die Struktur des indirekten Beweises besteht darin, dass aus der Voraussetzung, bereits bekannten Tatsachen (Definitionen und Sätzen) und dem Gegenteil der Behauptung mithilfe einer endlichen Anzahl gültiger Schlussregeln ein Widerspruch zur Voraussetzung, zu bereits bekannten Tatsachen oder zum Gegenteil der Behauptung erzeugt wird.

Schule wird easy mit KI-Tutor Kim und Duden Learnattack

  • Kim hat in Deutsch, Mathe, Englisch und 6 weiteren Schulfächern immer eine von Lehrkräften geprüfte Erklärung, Video oder Übung parat.
  • 24/7 auf Learnattack.de und WhatsApp mit Bildupload und Sprachnachrichten verfügbar. Ideal, um bei den Hausaufgaben und beim Lernen von Fremdsprachen zu unterstützen.
  • Viel günstiger als andere Nachhilfe und schützt deine Daten.
Jetzt 30 Tage risikofrei testen
Your browser does not support the video tag.

Beim indirekten Beweis eines Satzes der Form A ⇒ B geht man von der Annahme aus, dass die Behauptung B falsch sei und deren Negation ¬   B also wahr ist. Aus dieser Annahme versucht man, einen Widerspruch herzuleiten. Wenn das gelingt, dann wäre ¬   B falsch und somit B wahr.

Das Erzeugen des Widerspruchs kann in unterschiedlicher Weise geschehen.
Im Allgemeinen unterscheidet man folgende Fälle:
(1) Es ergibt sich ¬   A , d.h. ein Widerspruch zur gültigen Voraussetzung A. Das ist in zweierlei Weise möglich:

  1. Aus dem Gegenteil der Behauptung folgt unmittelbar das Gegenteil der Voraussetzung, d.h.:
      A ⇒ B ⇔ ¬   B ⇒ ¬   A
    (die sogenannte Kontraposition eines Satzes)
  2. Aus der Voraussetzung und dem Gegenteil der Behauptung ergibt sich das Gegenteil der Voraussetzung, d.h.
      A ⇒ B ⇔ [ A ∧ ¬   B ] ⇒ ¬   A

(2) Aus der Voraussetzung und dem Gegenteil der Behauptung ergibt sich die Behauptung, d.h. ein Widerspruch zur negierten Behauptung:
  A ⇒ B ⇔ [ A ∧ ¬   B ] ⇒ B  

(3) Aus der Voraussetzung und dem Gegenteil der Behauptung ergibt sich eine neue Aussage der Form C ∧ ¬   C , wobei C eine bereits als wahr erkannte Aussage darstellt. Man spricht in diesem Fall von einer reductio ad absurdum, es handelt sich um einen Widerspruch zu einem bereits bewiesenen Satz:
  A ⇒ B ⇔ [ A ∧ ¬   B ] ⇒ [ C ∧ ¬   C ]

In jedem dieser drei (bzw. besser vier) Fälle ergibt sich eine Implikation, die zu A ⇒ B äquivalent ist (durch Aufstellen der Wahrheitswertetabellen überzeugt man sich sehr schnell von der Gültigkeit der Äquivalenzen).

Damit ergibt sich folgende Struktur für den indirekten Beweis:
Aus der Voraussetzung, bereits bekannten Tatsachen (Definitionen und Lehrsätze) und dem Gegenteil der Behauptung wird mithilfe einer endlichen Anzahl gültiger Schlussregeln ein Widerspruch zur Voraussetzung zu bereits bekannten Tatsachen oder zum Gegenteil der Behauptung erzeugt.
Gelingt die Widerspruchserzeugung, dann ist das Gegenteil der Behauptung falsch und somit nach dem Satz vom ausgeschlossenen Widerspruch sowie dem Satz vom ausgeschlossenen Dritten die Behauptung wahr.
Die beiden genannten Schlussregeln bilden also gewissermaßen das Fundament für den indirekten Beweis.

Im Folgenden betrachten wir zwei Beispiele.

Beispiel 1

  • Wenn das Quadrat einer natürlichen Zahl gerade ist, so ist auch die Zahl selbst gerade.
  1. Voraussetzung:
      2 |   x 2 ;         x ∈ ℕ
  2. Behauptung:
      2 |   x
  3. Beweis (indirekt):
    Das Gegenteil der Behauptung ist 2   I   x (2 teilt nicht x).

Feststellung

Begründung

2   I   x bedeutet: x = 2 n + 1 ;         n ∈ ℕ Jede natürliche Zahl ist entweder gerade oder ungerade.
x 2 = 4 n 2 + 4 n + 1 Anwenden der binomischen Formel
x 2 = 2 ( 2 n 2 + 2 n ) + 1 = 2 m + 1 Wenn n ∈ ℕ , dann ist auch 2 n 2 + 2 n = m ∈ ℕ .
2   I   x 2 x 2 ist wegen x 2 = 2 m + 1 ungerade.

Damit ist ein Widerspruch zur Voraussetzung erzeugt, d.h., das Gegenteil der Behauptung ist falsch, und somit ist die Behauptung bzw. der Satz wahr.

Beispiel 2

  • Gilt für die Maßzahlen der Seiten eines Dreiecks ABC die Beziehung a 2 + b 2 = c 2 , dann ist das Dreieck rechtwinklig (Umkehrung des Satzes von PYTHAGORAS).
  1. Voraussetzung:
    beliebiges Dreieck ABC mit a 2 + b 2 = c 2
  2. Behauptung:
      ∢   B C A = 90   °
  3. Beweis (indirekt):
    Annahme: γ ≠ 90   °
FeststellungBegründung
△   A B ' C ist rechtwinklig.Senkrechte zu AC in C
und von C aus a abtragen
a 2 + b 2 = c 1 2   (   1   ) Satz des PYTHAGORAS für rechtwinkliges Dreieck AB'C
a 2 + b 2 = c 2   ( 2 ) nach Voraussetzung
Wegen c ≠ c 1 können (1) und (2) nicht gleichzeitig gelten.Bild

Damit ergibt sich ein Widerspruch zur Voraussetzung, die Annahme ist also falsch und somit die Behauptung war, d.h., es ist γ = 90   ° .

Das letzte Beispiel macht zweierlei deutlich: Erstens der indirekte Beweis wird vorwiegend beim Beweis der Umkehrung von Sätzen angewendet. Zweitens wird dabei der ursprüngliche Beweis häufig als Beweismittel verwendet.

Weitere Anwendungsbereiche des indirekten Beweises sind die folgenden:

  • Nachweis von Eindeutigkeitsaussagen, etwa
    Es gibt höchstens ein x mit der Eigenschaft H ( x ) .
    (Die Annahme der Existenz eines zweiten Elements wird ad absurdum geführt.)
  • Nachweis von negierten Existentialaussagen, etwa
    Es gibt kein x mit der Eigenschaft H ( x ) .
    (Man weist nach, dass doch ein Element existiert, indem man eines konstruiert.)
  • Figur zur Beweisfindung (bei einem indirekten Beweis)
Lernhelfer (Duden Learnattack GmbH): "Indirekter Beweis." In: Lernhelfer (Duden Learnattack GmbH). URL: http://www.lernhelfer.de/schuelerlexikon/mathematik-abitur/artikel/indirekter-beweis (Abgerufen: 20. May 2025, 12:55 UTC)

Suche nach passenden Schlagwörtern

  • Voraussetzung
  • Dreieck
  • rechtwinkliges Dreieck
  • Quadrat
  • Widerspruch
  • indirekter Beweis
  • Gegenteil
  • Kontraposition
  • Beweisen
  • Satz
  • Pythagoras
  • Behauptung
Jetzt durchstarten

Lernblockade und Hausaufgabenstress?

Entspannt durch die Schule mit KI-Tutor Kim und Duden Learnattack.

  • Kim hat in Deutsch, Mathe, Englisch und 6 weiteren Schulfächern immer eine von Lehrkräften geprüfte Erklärung, Video oder Übung parat.
  • 24/7 auf Learnattack.de und WhatsApp mit Bildupload und Sprachnachrichten verfügbar. Ideal, um bei den Hausaufgaben und beim Lernen von Fremdsprachen zu unterstützen.
  • Viel günstiger als andere Nachhilfe und schützt deine Daten.

Verwandte Artikel

Beweise unter Verwendung von Vektoren

Sätze der ebenen Geometrie lassen sich mithilfe von Vektoren mitunter sehr knapp und übersichtlich beweisen. Auf der Grundlage entsprechender Figuren, in denen die relevanten Stücke vektoriell gekennzeichnet werden, formuliert man Voraussetzungen und Behauptung jeweils mittels Vektoren und versucht, durch logische Schlüsse unter Verwendung der Rechengesetze für Vektoren den Beweis zu führen.
Bereits Addition und Vervielfachung von Vektoren können dabei sehr hilfreich sein, die Hinzunahme multiplikativer Verknüpfungen und deren Eigenschaften erschließen weitere Anwendungsmöglichkeiten. Die folgenden Beispiele illustrieren diese Vorgehensweise.

Archimedes von Syrakus

* etwa 287 v.Chr.
† 212 v.Chr.

ARCHIMEDES VON SYRAKUS zählt zu den bedeutendsten Mathematikern nicht nur der Antike. Viele seiner Ideen waren Ausgangspunkt für wissenschaftliche Arbeiten von Mathematikern verschiedenster Epochen.
ARCHIMEDES entwickelte Methoden zur Bestimmung des Schwerpunktes und des Inhalts von Flächen und Körpern. Er schrieb über Arithmetik und Astronomie. Des Weiteren beschäftigte er sich intensiv mit mathematischen Grundlagen physikalischer Prozesse.

Stammfunktionen

Eine Grundaufgabe der Differenzialrechnung besteht im Ermitteln der Ableitungsfunktion f‘ zu einer gegebenen Funktion f.
Wird diese Aufgabenstellung umgekehrt, d.h., sucht man zu einer gegebenen Funktion f eine Funktion F, deren Ableitungsfunktion F‘ gleich f ist, so kommt man zur Grundaufgabe der Integralrechnung und zum Begriff der Stammfunktion.     

Intervallschachtelungen

Der (historisch gesehen) zunächst nur naiv gefasste Begriff der reellen Zahl bedurfte einer exakten Fundierung. Dies gelang RICHARD DEDEKIND (1831 bis 1916), der mithilfe eines Schnittes zwischen zwei rationalen Zahlenmengen zu einer exakten Definition der reellen Zahlen gelangte.

Ein etwas anderes Vorgehen ist die Methode der Intervallschachtelungen, die im Folgenden skizziert wird.

Dabei zeigt sich: Durch eine Intervallschachtelung in der Menge ℚ der rationalen Zahlen wird genau eine reelle Zahl (als Kern) definiert. In der Menge ℝ der reellen Zahlen besitzt jede Intervallschachtelung als Kern eine reelle Zahl, d.h., ℝ ist abgeschlossen.

Karl Theodor Wilhelm Weierstraß

* 31. Oktober 1815 Ostenfelde (Westfalen)
† 19. Februar 1897 Berlin

KARL WEIERSTRASS arbeitete vor allem auf den Gebieten der Funktionentheorie und der Analysis. Er lehrte an der Berliner Universität; zu seinen Schülern gehörten solche bekannten Mathematiker wie GEORG CANTOR und FELIX KLEIN.

Ein Angebot von

Footer

  • Impressum
  • Sicherheit & Datenschutz
  • AGB
© Duden Learnattack GmbH, 2025