Das Cavalieri-Prinzip

Der direkte Beweis ist eine Methode, um die Richtigkeit einer bestimmten Aussage durch eine einfache Kombination aus feststehenden Tatsachen, in der Regel Axiomen, Definitionen und zuvor bewiesenen Theoremen, zu belegen. Um eine bedingte Aussage [latex]p \rightarrow q[/latex] zu beweisen, nimmt man an, dass [latex]p[/latex] wahr ist, und verwendet Inferenzregeln, um zu zeigen, dass auch [latex]q[/latex] wahr sein muss.

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].

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.

Ein grundlegender Satz in der Topologie und Geometrie, der besagt, dass für jedes konvexe Polyeder die Anzahl der Ecken (V), Kanten (E) und Flächen (F) durch die Formel [latex]V - E + F = 2[/latex] zusammenhängt. Dieser Wert, 2, ist die Euler-Charakteristik einer Kugel und offenbart eine tiefgreifende topologische Eigenschaft, die von der spezifischen Form des Polyeders unabhängig ist.

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.

Eine lineare hyperbolische partielle Differentialgleichung zweiter Ordnung, die die Ausbreitung verschiedener Arten von Wellen regelt. In ihrer einfachsten Form wird sie geschrieben als [latex]\frac{\partial^2 u}{\partial t^2} = c^2 \nabla^2 u[/latex], wobei [latex]u(\vec{x},t)[/latex] die Amplitude der Welle, [latex]c[/latex] die Wellengeschwindigkeit und [latex]\nabla^2[/latex] der Laplace-Operator ist. Er modelliert Phänomene wie schwingende Saiten, Schallwellen und Lichtwellen.

Die Euler-Charakteristik ist eine topologische Invariante, eine Zahl, die die Struktur oder Form eines topologischen Raums beschreibt, unabhängig davon, wie er gekrümmt ist. Bei Polyedern wird sie durch die Formel [latex]\chi = V - E + F[/latex] definiert, wobei V, E und F die Anzahl der Ecken, Kanten bzw. Flächen sind. Für eine Kugel ist [latex]\chi = 2[/latex], für einen Torus ist [latex]\chi = 0[/latex].