Théorème de Ptolémée

Énoncé

Pour un quadrilatère [formule] inscrit dans un cercle : [formule].

Preuve

Méthode par inversion : appliquer l'inversion de pôle [formule] et de rapport [formule]. Le cercle passant par [formule] est envoyé sur une droite. Les images [formule], [formule], [formule] sont alignées, avec [formule] entre [formule] et [formule] (convexité du quadrilatère). Relation d'alignement : [formule]. Or les distances sous inversion vérifient [formule]. En substituant : [formule]. En multipliant par [formule] : [formule].