Der Satz des Ptolemäus (nach Claudius Ptolemäus) ist ein Lehrsatz der Elementargeometrie, der eine Beziehung zwischen den Seiten und Diagonalen eines Sehnenvierecks beschreibt.
Er lässt sich auffassen als Verallgemeinerung des pythagoreischen Lehrsatzes und ergibt sich selbst auch als Grenzfall des Satzes von Casey.
Der Satz des Ptolemäus lautet:
In einem Sehnenviereck gilt also:
Zudem gilt auch die Umkehrung des Satzes von Ptolemäus, das heißt stimmt in einem konvexen Viereck das Produkt der Diagonalen mit der Summe der Produkte der gegenüberliegenden Seiten überein, so handelt es sich um ein Sehnenviereck. Für Vierecke, die keine Sehnenvierecke sind, gilt die folgende Aussage, die auch als Ungleichung des Ptolemäus bezeichnet wird:
Bei einem Sehnenviereck betrachte man das Dreieck mit dem separaten Punkt D auf seinem Umkreis mit Radius r und das zugehörige Fußpunktdreieck . Die Formel zur Berechnung der Seitenlängen eines Fußpunktdreieckes liefert dann für :
Da D nun aber auf dem Umkreis von liegt, ist entartet und seine Seiten liegen auf der zugehörigen Simson-Gerade, so dass die zwei Seiten LM und NM sich zur dritten Seite LN ergänzen. Es gilt also:
Mit den obigen Gleichungen liefert dies:
Liegt D nicht auf dem Umkreis, so gilt aufgrund der Dreiecksungleichung für :
Die obigen Gleichungen liefern damit dann die Ungleichung des Ptolemäus:
Neben der Möglichkeit, den Beweis elementargeometrisch zu führen, lässt sich der Ptolemäische Lehrsatz auch leicht mit Methoden der komplexen Analysis beweisen, indem man die Eigenschaften der komplexen Umkehrfunktion:
ausnutzt.
Die komplexe Umkehrfunktion zählt zu den Möbiustransformationen, welche in der komplexen Analysis als stetige Transformationen der erweiterten komplexen Zahlenebene behandelt werden.
Zunächst darf man oBdA annehmen, dass die Figur, welche aus dem gegebenen Sehnenviereck und der zugehörigen Kreislinie besteht, eine geometrische Figur innerhalb der komplexen Zahlenebene darstellt.
Dabei darf man weiter annehmen, dass eine spezielle Figur mit vorliegt, für die also der Eckpunkt mit dem Ursprung zusammenfällt. Denn folgt der Satz für diesen speziellen Fall, so folgt er allgemein, da jede gegebene geometrische Figur der genannten Art kongruent zu einer solchen speziellen Figur ist. Eine derartige Kongruenz lässt sich mittels einer passend gewählten Verschiebung stets schaffen.
Wesentlich für den Beweis ist nun die Tatsache, dass für die Kreislinie der punktierte Kreisbogen unter der Umkehrfunktion in eine Gerade , nämlich in die Bildgerade von unter , übergeht.
Da nun auf dem punktierten Kreisbogen der Punkt zwischen den Punkten und liegt, gilt Entsprechendes für die drei Bildpunkte der Bildgeraden. Es liegt also zwischen und und gehört damit zu den Punkten der dazwischenliegenden Strecke.
Aus (II) ergibt sich unter Benutzung der komplexen Betragsfunktion unmittelbar:
und damit:
und dann nach Erweitern mit :
und weiter wegen :
Dies aber ist nichts weiter als die oben behauptete und zu beweisende Identität.
Jedes Rechteck ist ein Sehnenviereck, in welchem – mit den obigen Bezeichnungen – die Gleichungen gelten. Da nun ein rechtwinkliges Dreieck sich stets derart zu einem Rechteck ergänzen lässt, dass die Hypotenuse des rechtwinkligen Dreiecks mit einer der beiden Rechteckdiagonalen und die beiden Katheten mit zwei aneinandergrenzenden Rechteckseiten zusammenfallen, zieht der Satz des Ptolemäus den Satz des Pythagoras nach sich.
Gegeben seien ein gleichseitiges Dreieck mit der Seitenlänge sowie ein Punkt auf dem Umkreis des Dreiecks. Dann ist die Summe der Längen der beiden kürzeren der Sehnen , und gleich der Länge der längsten Sehne von .
Beweis:
In der abgebildeten Figur ist ohne Beschränkung der Allgemeinheit die längste der drei Sehnen , und . Dann gilt nach dem Satz von Ptolemäus
und somit
In CAT(0)-Räumen gilt die Ptolemäische Ungleichung
Für vollständige Riemannsche Mannigfaltigkeiten gilt auch die Umkehrung: wenn die Ptolemäische Ungleichung für alle Punkte gilt, dann handelt es sich um einen CAT(0)-Raum.
Wenn eine Riemannsche Mannigfaltigkeit nichtpositive Schnittkrümmung hat, dann ist sie lokal ptolemäisch, d. h. zu jedem Punkt gibt es eine Umgebung, innerhalb derer die Ptolemäische Ungleichung gilt.
This article uses material from the Wikipedia Deutsch article Satz von Ptolemäus, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Abrufstatistik · Autoren Der Inhalt ist verfügbar unter CC BY-SA 4.0, sofern nicht anders angegeben. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Deutsch (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.