Sehnensatz
Schneiden zwei Sehnen (siehe Sehne) PQ und RS einander in einem Punkt X, so sind die Produkte der Werte des Längenfunktionals (siehe Längenfunktional) der Längen (siehe Länge) der Sehnenabschnitte der beiden Sehnen gleich:
ℓ(|PX|) ℓ(|XQ|) = ℓ(|RX|) ℓ(|XQ|).
ℓ(|PX|) ℓ(|XQ|) = ℓ(|RX|) ℓ(|XQ|).