Primer teorema de Ptolomeo

En un cuadrilátero cíclico, el producto de las diagonales es igual a la suma de los productos de pares de lados opuestos, y recíprocamente.

Para ampliar: Teorema de Casey