Beweisarchiv: Geometrie: Planimetrie: Kreis: Satz des Ptolemäus

Kreis: Mittelpunktswinkel-Umfangswinkel · Satz des Ptolemäus · Sehnensatz · Sehnentangentenwinkel · Sehnenviereck · Sekantensatz · Tangentenviereck · Japanischer Satz für konzyklische Vierecke · Satz des Thales

Rechtwinkliges Dreieck: Satz des Pythagoras

Ellipse: Satz vom Flüstergewölbe · Konjugierte Durchmesser

Regelmäßige Vielecke: Dreieck · Viereck · Fünfeck · Sechseck ·

Dreieck: Satz des Heron · Berechnung des Flächeninhalts des Diagonalendreiecks im Quader · Elementarer Satz zur Charakterisierung des Schwerpunkts im Dreieck via Flächeninhalte

Viereck: Flächenformel von Bretschneider

Inzidenzgeometrie ·

affine Geometrie: einfache Hilfssätze · Homothetien und Translationen · Desarguesche affine Ebenen sind Vektorräume

Trigonometrie

Additionstheoreme: Sinus · Kosinus · Tangens · Kotangens

Trigonometriesätze: Sinussatz · Kosinussatz · Neue Folgerungen aus dem Projektionssatz der Dreiecksgeometrie

Trigonometrie in der komplexen Ebene: Tangens und Kotangens in rechtwinkligen Dreiecken aus komplexen Zahlen

Satz des Ptolemäus

Satz des Ptolemäus, vier Punkte

A,B,C,D

in der Ebene, rechts ein sogenanntes Sehnenviereck

ABCD

Für vier Punkte $A,B,C,D$ in der Ebene gilt

{\overline {AB}}\cdot {\overline {CD}}+{\overline {BC}}\cdot {\overline {DA}}\geq {\overline {AC}}\cdot {\overline {BD}}.

Gleichheit tritt genau dann ein, wenn $A,B,C,D$ in dieser Reihenfolge oder einer zyklischen Vertauschung davon auf einem Kreis oder einer Geraden liegen.

Insbesondere gilt: Ist $ABCD$ ein Sehnenviereck, so ist die Summe der Produkte der Längen gegenüberliegender Seiten gleich dem Produkt der Längen der Diagonalen, als Formel

a\cdot c+b\cdot d=e\cdot f

mit

a={\overline {AB}},b={\overline {BC}},c={\overline {CD}},d={\overline {DA}},e={\overline {AC}},f={\overline {BD}}.

Beweis mit komplexen Zahlen

Wir identifizieren Punkte mit komplexen Zahlen, die zu beweisende Ungleichung lautet dann

|A-B|\cdot |C-D|+|B-C|\cdot |A-D|\geq |A-C|\cdot |B-D|.

Der Betrag ist multiplikativ, also ist dies dasselbe wie

|AC-AD-BC+BD|+|AB-BD-AC+CD|\geq |AB-AD-BC+CD|.

In dieser Form folgt die behauptete Ungleichung direkt aus der Dreiecksungleichung

|u|+|v|\geq |u+v|.

Für die Bestimmung des Gleichheitsfalles nehmen wir o.B.d.A. an, dass $A=0$ gilt. Die Ungleichung wird dann zu

|BD-BC|+|CD-BD|\geq |CD-BC|.

Ist ein weiterer der Punkte null, so tritt offenbar der Gleichheitsfall ein; andernfalls kann man durch $|BCD|$ teilen und erhält

{\Big |}{\frac {1}{C}}-{\frac {1}{D}}{\Big |}+{\Big |}{\frac {1}{B}}-{\frac {1}{C}}{\Big |}\geq {\Big |}{\frac {1}{B}}-{\frac {1}{D}}{\Big |}.

Gleichheit tritt somit genau dann ein, wenn $1/B,1/C,1/D$ in dieser Reihenfolge auf einer Geraden $g$ liegen.

Die Abbildung $z\mapsto {\frac {1}{z}}$ ist die Verkettung der Inversion am Einheitskreis mit der Spiegelung an der reellen Achse. Es gibt nun zwei verschiedene Fälle:

$g$ enthält den Ursprung: In diesem Fall ist $g$ das Bild einer Ursprungsgeraden $h$ , und $A,B,C,D$ in dieser Reihenfolge oder einer zyklischen Vertauschung davon auf $h$ .
$g$ enthält den Ursprung nicht: In diesem Fall ist $g$ das Bild eines Kreises $k$ , und $A,B,C,D$ liegen in dieser Reihenfolge auf $k$ .