Direkter Beweis (Mathematik)

Euklids fünf Postulate bilden die axiomatische Grundlage der euklidischen Geometrie, wie sie in seiner Abhandlung „Elemente“ beschrieben wird. Sie sind grundlegende Annahmen, aus denen sich alle anderen Theoreme logisch ableiten. Die ersten vier betreffen die Konstruktion von Linien und Kreisen, während das fünfte, das Parallelenpostulat, die flache, nicht gekrümmte Natur des euklidischen Raums eindeutig definiert. Diese Axiome begründeten die deduktive Methode in der Mathematik.

Ein fundamentaler Satz der euklidischen Geometrie besagt, dass die Summe der Maße der drei Innenwinkel eines beliebigen Dreiecks immer gleich zwei rechten Winkeln oder 180 Grad ist. Diese Eigenschaft, [latex]\alpha + \beta + \gamma = 180^\circ[/latex], ist eine direkte Folge des Parallelitätspostulats und gilt für alle Dreiecke, unabhängig von ihrer Größe oder Form, in einer ebenen, euklidischen Ebene.

Der Widerspruchsbeweis oder die Reductio ad absurdum ist eine Form des indirekten Beweises. Er belegt die Richtigkeit einer Aussage, indem er aufzeigt, dass die Annahme, die Aussage sei falsch, zu einem logischen Widerspruch führt. Um eine Aussage [latex]p[/latex] zu beweisen, nimmt man ihre Negation an, [latex]\neg p[/latex], und leitet daraus einen Widerspruch ab, beispielsweise [latex]q \land \neg q[/latex], woraus folgt, dass [latex]p[/latex] wahr sein muss.

Der Satz des Pythagoras ist eine grundlegende Beziehung in der euklidischen Geometrie zwischen den drei Seiten eines rechtwinkligen Dreiecks. Er besagt, dass die Fläche des Quadrats, dessen Seite die Hypotenuse (die dem rechten Winkel gegenüberliegende Seite) ist, gleich der Summe der Flächen der Quadrate an den beiden anderen Seiten ist. Die Formel wird ausgedrückt als [latex]a^2 + b^2 = c^2[/latex].

Dieses auch als Methode der Unteilbarkeiten bekannte Prinzip besagt, dass zwei Körper, die zwischen zwei parallelen Ebenen liegen, die Eigenschaft haben, dass jede zu den beiden gegebenen Ebenen parallele Ebene sie in Querschnitten gleicher Fläche schneidet, dann haben die beiden Körper gleiche Volumina. Es bietet eine leistungsfähige Methode zur Berechnung der Volumina komplexer Formen ohne Rechenaufwand.

Der Satz des Pythagoras bildet die Grundlage für die Entfernungsformel in kartesischen Koordinaten. Der Abstand [latex]d[/latex] zwischen zwei Punkten [latex](x_1, y_1)[/latex] und [latex](x_2, y_2)[/latex] in einer Ebene ist gegeben durch [latex]d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}[/latex]. Diese Formel ist eine direkte Anwendung des Satzes auf ein rechtwinkliges Dreieck, dessen Katheten die Differenzen der x- und y-Koordinaten sind.

Dies ist ein historisch bemerkenswertes Problem in der Mathematik. Seine negative Lösung durch Leonhard Euler im Jahr 1736 legte den Grundstein für die Graphentheorie und nahm die Idee der Topologie vorweg. Es ging um die Frage, ob die sieben Brücken der Stadt Königsberg in einer einzigen Fahrt ohne Umweg überquert werden können, wobei die Fahrt auf derselben Landmasse endet, auf der sie beginnt.

Euklids fünftes Postulat, das Parallelitätspostulat, ist das Axiom, das die euklidische Geometrie definiert: Es besagt, dass, wenn eine Linie zwei andere Linien schneidet und die Summe der Innenwinkel auf einer Seite kleiner als zwei rechte Winkel ist ([latex]\alpha + \beta < 180^\circ[/latex]), sich die beiden Linien schließlich auf dieser Seite schneiden werden. Dieses Postulat garantiert eine einzige parallele Linie durch einen Punkt, der nicht auf einer bestimmten Linie liegt.

Eine pythagoreische Dreiergruppe besteht aus drei positiven ganzen Zahlen a, b und c, sodass [latex]a^2 + b^2 = c^2[/latex] gilt. Ein bekanntes Beispiel ist (3, 4, 5). Die Euklidische Formel ist eine grundlegende Methode zur Erzeugung dieser Dreiergruppen. Für zwei beliebige positive ganze Zahlen m und n mit [latex]m > n[/latex] erzeugt die Formel [latex]a = m^2 - n^2[/latex], [latex]b = 2mn[/latex], [latex]c = m^2 + n^2[/latex] ein pythagoreisches Dreierpaar.

Die platonischen Körper sind die einzigen fünf konvexen regelmäßigen Polyeder: Ein regelmäßiges Polyeder hat kongruente regelmäßige polygonale Flächen und die gleiche Anzahl von Flächen, die sich an jedem Scheitelpunkt treffen. Die fünf Körper sind das Tetraeder (4 Flächen), der Würfel (6 Flächen), das Oktaeder (8 Flächen), das Dodekaeder (12 Flächen) und das Ikosaeder (20 Flächen). Ihre Symmetrie und ihre Eigenschaften werden seit dem Altertum untersucht.

Die Quadratwurzel von 2 ist eine irrationale Zahl, was bedeutet, dass sie nicht als Verhältnis zweier ganzer Zahlen [latex]p/q[/latex] ausgedrückt werden kann. Der klassische Beweis, der oft den Pythagoräern zugeschrieben wird, ist ein Beweis durch Widerspruch: Er geht von der Annahme aus, dass [latex]\sqrt{2} = p/q[/latex] in seiner einfachsten Form vorliegt, was zu der Schlussfolgerung führt, dass sowohl [latex]p[/latex] als auch [latex]q[/latex] gerade sein müssen, was im Widerspruch zur ursprünglichen Annahme steht.

Der Satz des Ptolemäus liefert einen eleganten geometrischen Beweis für die Summen- und Differenzformeln in der Trigonometrie. Durch Einzeichnen eines Vierecks in einen Kreis, dessen Durchmesser eine Seite des Vierecks ist, lassen sich die Seitenlängen als Sinus- und Kosinuswerte der eingeschriebenen Winkel ausdrücken. Die Anwendung des Satzes [latex]AC \cdot BD = AB \cdot CD + BC \cdot DA[/latex] führt direkt zu Identitäten wie [latex]sin(alpha + beta) = \sin\alpha\cos\beta + \cos\alpha\sin\beta[/latex].

Das kartesische Koordinatensystem bietet ein algebraisches Modell für die euklidische Geometrie. Es verwendet eine oder mehrere Zahlen bzw. Koordinaten, um die Position eines Punktes im Raum eindeutig zu bestimmen. In einer Ebene werden zwei senkrecht zueinander stehende Linien (die x- und die y-Achse) verwendet, wodurch geometrische Formen durch algebraische Gleichungen beschrieben werden können. Diese Verschmelzung von Algebra und Geometrie wird als analytische Geometrie bezeichnet.

Die mathematische Induktion ist eine Technik, mit der bewiesen wird, dass eine Eigenschaft [latex]P(n)[/latex] für jede natürliche Zahl [latex]n[/latex] gilt. Sie umfasst zwei Schritte: den Basisfall, in dem bewiesen wird, dass [latex]P(0)[/latex] oder [latex]P(1)[/latex] wahr ist, und den induktiven Schritt, in dem bewiesen wird, dass, wenn [latex]P(k)[/latex] für eine natürliche Zahl [latex]k[/latex] wahr ist (die Induktionshypothese), dann ist auch [latex]P(k+1)[/latex] wahr.