Teorema de Ptolomeo

El teorema de Ptolomeo es una relación en geometría euclidiana entre los cuatro lados y las dos diagonales de un cuadrilátero cíclico. El teorema recibe su nombre del astrónomo y matemático griego Claudio Ptolomeo.

Si un cuadrilátero está dado por sus cuatro vértices A, B, C, D, el teorema afirma que:

Esta relación puede ser expresada de manera verbal de la siguiente forma:

Teorema de Ptolomeo

En todo cuadrilátero cíclico, la suma de los productos de los pares de lados opuestos es igual al producto de sus diagonales.

Note que la demostración es válida solo para cuadriláteros concíclicos simples. Si el cuadrilátero es complejo entonces K se encontrará fuera del segmento AC, y por lo tanto AK-CK=±AC, tal como se esperaba.

Existe una generalización de este teorema llamado el teorema de Casey, que involucra a cuatro circunferencias no secantes y tangentes interiores a una quinta.

El teorema de Ptolomeo se puede demostrar con métodos de inversión geométrica con respecto a cualquier vértice de un cuadrilátero.^[1]​

Considérese un pentágono regular y la circunferencia circunscrita al mismo. En el cuadrilátero ABCD las diagonales son iguales al lado AD. El teorema de Ptolomeo arroja en este caso,

Dividiendo entre ${displaystyle a^{2}}$ se tiene

Denotando con ${displaystyle varphi }$ la razón b/a se obtiene ${displaystyle varphi ^{2}=1+varphi }$, ecuación que coinicide con la definición de la razón dorada.