Die Summe der Produkte der Werte des Längenfunktionals (siehe Längenfunktional) der Längen (siehe Länge) gegenüberliegender Seiten des Sehnenvierecks (siehe Sehnenviereck) ist gleich dem Produkt der Werte des Längenfunktionals der Längen der Diagonalen.

Bei einem Sehnenviereck (A B C D) gilt also:

ℓ(|AC|) ℓ(|BD|) = ℓ(|AB|) ℓ(|CD|) + ℓ(|AD|) ℓ(|BD|).

Sehnenviereck mit Diagonalen

SatzVonPtolemäus.zir