Teorema de Ptolomeo

Un cuadrilátero es cíclico si y solo si el producto de sus diagonales es igual a la suma de los productos de sus pares de lados opuestos.

ABCD es cíclico ⬄ AC·BD = AB·CD + BC·AD