Mit der Euler-Formel wird der Abstand der Mittelpunkte von Umkreis und Inkreis eines Dreiecks berechnet. Das Besondere an dieser Formel ist, dass sie nicht etwa die Koordinaten der Eckpunkte oder die Seitenlängen des Dreiecks verwendet, sondern Größen, mit denen Dreiecke normalerweise nicht beschrieben werden: die Radien von Umkreis und Inkreis.
Die Euler-Formel wird in gängigen Geometriebüchern nicht bewiesen. Nathan Bowler's Artikel "How anyone can prove Euler's Formula” skizziert dagegen gleich vier verschiedene Beweise. Gegenstand dieser Arbeit sind die beiden ersten Beweise hierin: Klassischer und Inversions-Beweis der Euler-Formel. Bowler setzt nicht nur Vieles voraus, sondern verwendet auch eine sehr kondensierte Darstellung. Daher werden hier in der folgenden Vorbereitung die nötigen Sätze hergeleitet bzw. bewiesen, bevor die eigentlichen Beweise der Euler-Formel entwickelt werden.
Inhaltsverzeichnis
1 Einleitung
2 Vorbereitung
2.1 Peripheriewinkelsatz
2.2 Umkreis eines Dreiecks
2.3 Inkreis eines Dreiecks
2.4 Sehnen/Sekanten-Satz und Potenz eines Punktes
2.5 Inversion am Kreis
2.6 Sinussatz
3 Beweise der Euler-Formel
3.1 Klassischer Beweis
3.2 Inversionsbeweis
Zielsetzung & Themen
Das Hauptziel dieser Arbeit ist die Herleitung und detaillierte Darstellung zweier unterschiedlicher Beweisverfahren für die Euler-Formel in der Geometrie, welche den Abstand zwischen dem Umkreis-Mittelpunkt und dem Inkreis-Mittelpunkt eines Dreiecks in Abhängigkeit der jeweiligen Radien definiert.
- Herleitung mathematischer Grundlagen (Peripheriewinkelsatz, Sinussatz, Potenz eines Punktes)
- Durchführung eines klassischen Beweises basierend auf dem Sehnensatz
- Durchführung eines modernen Inversionsbeweises am Kreis
- Programmiertechnische Umsetzung und Visualisierung der geometrischen Zusammenhänge mittels R
Auszug aus dem Buch
3.1 Klassischer Beweis
Nach Definition 4 und dem Sehnensatz 5 mit Formel (9) gilt für jede Sehne des Umkreises Γ1 des Dreiecks, die durch I den Inkreismittelpunkt geht, eine bestimmte feste Potenz p(I, Γ1). Diese ist völlig unabhängig davon, welche Sehne durch I wir betrachten. Wir wählen zum einen eine Winkelhalbierende z.B. AL, die den Winkel in der Ecke A des Dreiecks halbiert, und zum anderen eine Sehne, die außer durch I auch noch durch den Umkreismittelpunkt O geht. Letztere berührt den Umkreis in irgendwelchen Punkten X und Y (Bild 11). Die Distanzen von I aus zu ihnen werden mittels Umkreisradius R und dem Abstand OI zwischen den Mittelpunkten ausgedrückt:
IX =R+OI , IY =R−OI ⇒ p(I , Γ1)=AI*IL=IX *IY =(R+OI )*(R –OI )=R2−OI2 (16) ⇒ OI2=R2−p(I,Γ1) (17)
Wir müssen jetzt nur noch zeigen, dass in (17) die Potenz p(I, Γ1)=2Rr ist, dann ist die Eulerformel (1) komplett bewiesen. Die Winkelhalbierende AL ist uns schon stückweise bekannt: nach Satz 3 Formel (7) ist das Stück IL = CL und das Stück AI ist die Hypothenuse in einem bei P rechtwinkligen Dreieck API, mit P als Fußpunkt des Lotes von I auf die Dreiecksseite AC. Dieses Lot hat gemäß Satz 4 als Länge den Inkreisradius r. Weiterhin gilt für alle Dreiecke, deren Eckpunkte auf dem Umkreis um O mit Radius R liegen, der Sinussatz 9 mit Formel (14). Uns interessiert hierzu das Dreieck CAL und die Sehne CL (Bild 11):
Zusammenfassung der Kapitel
1 Einleitung: Einführung in die Euler-Formel und deren Bedeutung für die Abstandsbestimmung von Inkreis- und Umkreismittelpunkt bei Dreiecken.
2 Vorbereitung: Herleitung und Beweis fundamentaler geometrischer Sätze wie dem Peripheriewinkelsatz, Inkreis-Eigenschaften und der Inversion am Kreis.
3 Beweise der Euler-Formel: Anwendung der theoretischen Grundlagen für einen klassischen Beweis und einen Inversionsbeweis der zentralen Formel.
Schlüsselwörter
Euler-Formel, Geometrie, Inkreis, Umkreis, Inversionsbeweis, klassischer Beweis, Dreieck, Sinussatz, Potenz eines Punktes, Peripheriewinkelsatz, R-Programmierung, Kreisgeometrie.
Häufig gestellte Fragen
Worum geht es in dieser Arbeit grundsätzlich?
Die Arbeit befasst sich mit der mathematischen Herleitung des Abstands zwischen Umkreis- und Inkreismittelpunkt eines Dreiecks durch zwei verschiedene Beweismethoden.
Was sind die zentralen Themenfelder?
Die zentralen Themen sind die klassische Dreiecksgeometrie, die Kreisgeometrie und die Anwendung der Inversion zur Lösung geometrischer Fragestellungen.
Was ist das primäre Ziel oder die Forschungsfrage?
Das Ziel ist die präzise mathematische Verifikation der Euler-Formel für Dreiecke durch zwei spezifische Beweisansätze.
Welche wissenschaftliche Methode wird verwendet?
Es werden klassische geometrische Beweisführungen (Satzbildung und logische Ableitung) verwendet, ergänzt durch computergestützte Visualisierungen via R.
Was wird im Hauptteil behandelt?
Der Hauptteil gliedert sich in eine umfangreiche theoretische Vorbereitung und die anschließende Durchführung des klassischen Beweises sowie des Inversionsbeweises.
Welche Schlüsselwörter charakterisieren die Arbeit?
Zu den Schlüsselwörtern zählen Euler-Formel, Inkreis, Umkreis, Inversion am Kreis und Dreiecksgeometrie.
Warum wird der Inversionsbeweis als aufwendiger beschrieben?
Der Inversionsbeweis erfordert eine umfangreiche Visualisierung und das Verständnis komplexerer Abbildungen von Geraden und Kreisen am Inversionskreis.
Welche Rolle spielt die Software R in dieser Publikation?
R dient zur programmtechnischen Validierung und Visualisierung der geometrischen Sätze, um die theoretischen Ableitungen anschaulich zu untermauern.
- Quote paper
- Dipl.-Ing., MSc, Rainer Stickdorn (Author), 2012, Schriftlich/graphische Beweise des Euler Satzes, Munich, GRIN Verlag, https://www.grin.com/document/433455
