Satz von Ptolemäus
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.
Aussage
Der Satz des Ptolemäus lautet:<ref name="coxeter">H. S. M. Coxeter, S. L. Greitzer: Geometry Revisited. Math. Assoc. Amer., Washington DC 1967, S. 23, 41–42 ({{#if: VdAM58ksvcIC
| {{#if: {{#if: ||1}} {{#if: VdAM58ksvcIC ||1}}
| <0|&pg={{#if:|RA{{{Band}}}-}}PA23|&pg=23}}{{#if:|&q=}}#v=onepage|{{#if:|&pg=|}}{{#if:|&q=}}}}{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}|{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}}} {{#if:Auszug (Google)|{{#invoke:WLink|getEscapedTitle|Auszug (Google)}}|eingeschränkte Vorschau}}{{#if:ja|| in der Google-Buchsuche}}{{#ifeq:|US|-USA}}{{#if: VdAM58ksvcIC |{{#invoke: Vorlage:GoogleBook|fine |id=VdAM58ksvcIC |errN=Parameter „BuchID“ hat falsche Länge |errC=Parameter „BuchID“ enthält ungültige Zeichen |errH=# in der „BuchID“ |errP=Parameterzuweisungen in der „BuchID“ |class=editoronly |cat={{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch}}
}}
| Es darf nur genau einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}
| Es muss mindestens einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}{{#invoke:TemplatePar|check
|all=
|opt= Suchbegriff= BuchID= Seite= Band= SeitenID= Hervorhebung= Linktext= Land= KeinText=
|cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}}
|template= Vorlage:Google Buch
|format=
}}{{#if:Auszug (Google)|{{#if:{{#invoke:WLink|isBracketedLink|Auszug (Google)}}|}}}})</ref>
- In einem Sehnenviereck ist das Produkt der Längen der Diagonalen gleich der Summe der Produkte der Längen gegenüberliegender Seiten.
In einem Sehnenviereck <math>\square ABCD</math> gilt also:
- <math>|AC|\cdot|BD|=|AB|\cdot|CD|+|BC|\cdot|AD|</math>.
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:<ref name="coxeter" />
- Ist <math>\triangle ABC </math> ein Dreieck und <math>D</math> ein Punkt, der nicht auf dem Bogen <math>\widehat{AC}</math> des Umkreises liegt, so gilt:
- <math>|AB|\cdot|CD|+|BC|\cdot|AD|>|AC|\cdot|BD|</math>.
Elementargeometrischer Beweis
Bei einem Sehnenviereck <math>\square ABCD</math> betrachte man das Dreieck <math> \triangle ABC </math> mit dem separaten Punkt <math>D</math> auf seinem Umkreis mit Radius <math>r</math> und das zugehörige Fußpunktdreieck <math>\triangle LMN</math>. Die Formel zur Berechnung der Seitenlängen eines Fußpunktdreieckes liefert dann für <math>\triangle LMN</math>:
- <math>
\begin{align} &|MN|&=\frac{|AD|\cdot|BC|}{2r}\\ &|LN|&=\frac{|BD|\cdot|AC|}{2r}\\ &|LM|&=\frac{|CD|\cdot|AB|}{2r}\\ \end{align} </math>
Da D nun aber auf dem Umkreis von <math>\triangle ABC</math> liegt, ist <math>\triangle LMN</math> entartet und seine Seiten liegen auf der zugehörigen Simson-Gerade, so dass die zwei Seiten <math>LM</math> und <math>NM</math> sich zur dritten Seite <math>LN</math> ergänzen. Es gilt also:
- <math>|LM|+|NM|=|LN|</math>
Mit den obigen Gleichungen liefert dies:<ref name="coxeter" />
- <math>|AB|\cdot|CD|+|BC|\cdot|AD|=|AC|\cdot|BD|</math>
Liegt D nicht auf dem Umkreis, so gilt aufgrund der Dreiecksungleichung für <math>\triangle LMN</math>:
- <math>|LM|+|NM|>|LN|</math>
Die obigen Gleichungen liefern damit dann die Ungleichung des Ptolemäus:<ref name="coxeter" />
- <math>|AB|\cdot|CD|+|BC|\cdot|AD|>|AC|\cdot|BD|</math>
Beweis des Ptolemäischen Lehrsatzes im Komplexen
Neben der Möglichkeit, den Beweis elementargeometrisch zu führen,<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref> lässt sich der Ptolemäische Lehrsatz auch leicht mit Methoden der komplexen Analysis beweisen, indem man die Eigenschaften der komplexen Kehrwertfunktion:
- <math>I: \; z \mapsto I(z) = \frac 1{z}</math>
ausnutzt.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>
Die komplexe Kehrwertfunktion zählt zu den Möbiustransformationen, welche in der komplexen Analysis als stetige Transformationen der erweiterten komplexen Zahlenebene behandelt werden. Sie beschreibt die Komposition einer Spiegelung an der Einheitskreislinie und einer Spiegelung an der reellen Achse.
(I) Vereinfachung des Problems
Zunächst darf man ohne Beschränkung der Allgemeinheit annehmen, dass die Figur, welche aus dem gegebenen Sehnenviereck <math>\square ABCD </math> und der zugehörigen Kreislinie <math>k</math> besteht, eine geometrische Figur innerhalb der komplexen Zahlenebene <math> \Complex </math> darstellt<ref>{{#invoke:Vorlage:Literatur|f}}</ref>.
Dabei darf man weiter annehmen, dass eine spezielle Figur mit <math>A = 0</math> vorliegt, für die also der Eckpunkt <math>A</math> mit dem Ursprung <math>0 \in \Complex</math> 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.
(II) Ausnutzung der geometrischen Eigenschaften der Kehrwertfunktion
Wesentlich für den Beweis ist nun die Tatsache, dass für die Kreislinie <math>k </math> der punktierte Kreisbogen <math>k \setminus \{ 0 \} </math> unter der Kehrwertfunktion <math>I </math> in eine Gerade <math> g = \{ I(z): {z \in k} \wedge {z \neq 0} \}</math>, nämlich in die Bildgerade von <math>k \setminus \{ 0 \} </math> unter <math>I </math>, übergeht.
Da nun auf dem punktierten Kreisbogen der Punkt <math> C </math> zwischen den Punkten <math> B </math> und <math> D </math> liegt, gilt Entsprechendes für die drei Bildpunkte der Bildgeraden. Es liegt also <math>I(C) = \frac 1{C}</math> zwischen <math>I(B) = \frac 1{B}</math> und <math>I(D) = \frac 1{D}</math> und gehört damit zu den Punkten der dazwischenliegenden Strecke.
(III) Eigentliche Berechnung
Aus (II) ergibt sich unter Benutzung der komplexen Betragsfunktion <math> z \mapsto |z| = \sqrt{z \cdot \overline {z} } </math> unmittelbar
- <math> \left|\frac 1{D} - \frac 1{B}\right| = \left|\frac 1{D} - \frac 1{C}\right| + \left|\frac 1{C} - \frac 1{B}\right| </math>
und damit
- <math> \frac {|B - D|}{|B| \cdot |D|} = \frac {|C - D|}{|C| \cdot |D|} + \frac {|B - C|}{|B| \cdot |C|} </math>.
Nach Erweitern mit <math> |B| \cdot |C| \cdot |D| </math> folgt hieraus
- <math> |B - D| \cdot |C| = |C - D| \cdot |B| + |B - C| \cdot |D| </math>
und wegen <math> A = 0 </math> weiter
- <math> |A - C| \cdot |B - D| = |A - B| \cdot |C - D| + |B - C| \cdot |A - D| </math>.
Dies aber ist nichts weiter als die oben behauptete und zu beweisende Identität.
Folgerungen
Satz des Pythagoras
Jedes Rechteck ist ein Sehnenviereck, in welchem – mit den obigen Bezeichnungen – die Gleichungen <math>\overline{AB}= \overline{CD}, \overline{BC}= \overline{AD}, \overline{AC}= \overline{BD}</math> 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.<ref name="Fraedrich">{{#invoke:Vorlage:Literatur|f}}</ref>
Sehnen des Umkreises eines gleichseitigen Dreiecks
Gegeben seien ein gleichseitiges Dreieck <math>ABC</math> mit der Seitenlänge <math>s</math> sowie ein Punkt <math>P</math> auf dem Umkreis <math>k</math> des Dreiecks. Dann ist die Summe der Längen der beiden kürzeren der Sehnen <math>PA</math>, <math>PB</math> und <math>PC</math> gleich der Länge der längsten Sehne von <math>k</math>.
Beweis:
In der abgebildeten Figur ist ohne Beschränkung der Allgemeinheit <math>PA</math> die längste der drei Sehnen <math>PA</math>, <math>PB</math> und <math>PC</math>. Dann gilt nach dem Satz von Ptolemäus
- <math>s\cdot |PA|=s\cdot |PB|+s\cdot |PC|</math>
und somit
- <math>|PA|=|PB|+|PC|</math>.<ref>Ross Honsberger: Gitter - Reste - Würfel Friedrich Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig 1984, ISBN 978-3-528-08476-9, Seiten 172 und 173</ref>
Verallgemeinerungen (Metrische Räume und Riemannsche Mannigfaltigkeiten)
In CAT(0)-Räumen <math>(X,d)</math> gilt die Ptolemäische Ungleichung
- <math> d(x, y)d(z, p) \le d(x, z)d(p, y) + d(x, p)d(y, z)</math> für alle <math>x, y, z, p \in X</math>.
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.<ref>S. M.Buckley, K. Falk, D. J. Wraith: Ptolemaic Spaces and CAT(0). (PDF; 181 kB) In: Glasg. Math. J., 51, 2009, no. 2, S. 301–314.</ref>
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.<ref>D. C. Kay: Ptolemaic metric spaces and the characterization of geodesics by vanishing metric curvature. Ph.D. thesis, Michigan State Univ., East Lansing MI 1963</ref>
Literatur
- Zair Ibragimov, Bogdan D. Suceavă: Ptolemy Through the Centuries. Mathematics Magazine, Band 96, Nr. 3, 2023, S. 259–271.
- Erwin Just, Norman Schaumberger: Vector Approach to Ptolemy’s Theorem. Mathematics Magazine, Band 77, Nr. 5, 2004, S. 386–88 ({{#invoke:JSTOR|f|1=3219205}}{{#if:
| {{#ifeq: 0 | 0
| }}
}}).
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
Weblinks
|1|= – Lern- und Lehrmaterialien |0|-= |X|x={{#switch: 0
|0|4|10|12|14|100=}}
|#default= – {{{suffix}}}
}}{{#if: | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}{{#invoke:TemplatePar|check
|opt= 1= 2= lang= suffix= |template=Vorlage:Wikibooks |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt }}
- Beweis des Satzes von Ptolemäus (mit Umkehrung) mit geometrischen Mitteln der gymnasialen Mittelstufe, Landesbildungsserver Baden-Württemberg
Einzelnachweise
<references />