Teorema de Ptolomeo.
Un cuadrilátero convexo es cíclico sí y sólo sí el producto de las diagonales es igual a la suma de los productos de los lados opuestos.