El teorema de Ptolomeo

Un polígono cíclico es en el que hay una circunferencia que pasa por todos sus vértices. Si por ejemplo dibujamos un triángulo con una circunferencia, y dibujamos las diagonales, así:

_________________
|      AC+BD = EF    |