Satz von Stewart
Nach dem Satz von Stewart gilt in einem Dreieck (P Q R), bei dem S ein Punkt auf der Seite PQ ist:
ℓ(|PS|) ℓ(|PR|)² + ℓ(|SQ|) ℓ(|QR|)² = ℓ(|PQ|) ℓ(|SR|)² + ℓ(|PS|) ℓ(|SQ|)² + ℓ(|PS|)² ℓ(|SQ|),
dabei ist ℓ ein Längenfunktional.
ℓ(|PS|) ℓ(|PR|)² + ℓ(|SQ|) ℓ(|QR|)² = ℓ(|PQ|) ℓ(|SR|)² + ℓ(|PS|) ℓ(|SQ|)² + ℓ(|PS|)² ℓ(|SQ|),
dabei ist ℓ ein Längenfunktional.