El Teorema de Ptolomeo 1.

Enunciado del teorema de Ptolomeo

En un cuadril atero inscrito en una circunferencia, el producto de las diagonales es igual a la suma de los productos de los lados opuestos. AB DC + DA CB = AC BD.

2.

Demostraci on del teorema de Ptolomeo

Sea el cuadril atero ABCD (Fig. 1). Tracemos el segmento AF de manera que BAF = CAD. A

E D

F C
Figura 1: El teorema de Ptolomeo

Entonces, los tri angulos ABE y ACD son semejantes y AB BE = AB DC = AC BE AC DC Tambi en son semejantes los tri angulos ADE y ACB : ED AD = DA CB = AC ED AC CB Sumando miembro a miembro (1) y (2) obtenemos AB DC + DA CB = AC (BE + ED) = AC BD. 1 (1)

(2)

3.

La desigualdad de Ptolomeo

La desigualdad de Ptolomeo generaliza al teorema de Ptolomeo y es de mucha utilidad en la demostraci on de desigualdades geom etricas: Si ABCD es un cuadril atero cualquiera del plano, entonces AB CD + BC DA AC BD, cumpli endose la igualdad si y solo si el cuadril atero es c clico. Demostraci on. Supongamos primero que el cuadril atero ABCD es convexo. En ese caso, giramos con centro en B y seguidamente hacemos una homotecia de raz on k de manera que la imagen de D sea A. Llamemos C a la imagen de C .

B C C A
Figura 2: Cuadril atero convexo

BD AB = , es Los tri angulos ABC y DBC son semejantes, por lo que AC CD decir, AB CD AC = . BD Los tri angulos C BC y ABD tambi en son semejantes, ya que C BC = ABD y CB AB = = k. BC BD BC BD Esta semejanza signica que = , de donde CC AD CC = BC AD . BD 2

Teniendo en cuenta la desigualdd triangular, AC + C C = AB CD BC AD + AC, BD BD

y por tanto, AB CD + BC AD AC BD. La desigualdad se cumple si y solo si C est a en el segmento AC , que cuyo caso tendremos BAC = BAC = BDC y los puntos A, B , C , D estar an en una circunferencia. Supongamos ahora que el cuadril atero ABCD no es convexo. Entonces, una de sus diagonales, por ejemplo BD, no tiene puntos en el interior del cuadril atero.

D
Figura 3: Cuadril atero no convexo

Si C es el sim etrico de C respecto de la recta BD, el cuadril atero ABC D tiene lados con las mismas longitudes que ABCD. Sin embargo, el producto de las diagonales es menor en el cuadril atero ABCD ya que AC < AC y la otra diagonal es la misma en los dos. Por tanto, si el cuadril atero no es convexo, la desigualdad de Ptolomeo es tambi en cierta, no cumpli endose la igualdad en ning un caso.

4.

El teorema de Casey

Cuatro circunferencias son tangentes a una quinta circunferencia o a una recta si y solo si t12 t34 t13 t42 t14 t23 = 0, siendo tij la tangente com un a las circunferencias i y j .

5.

El teorema de Purser

Sean t, u y v las longitudes de las tangentes a una circunferencia C desde los v ertices de un tri angulo de lados a, b y c. Entonces, la condici on para que C sea tangente a la circunferencia circunscrita al tri angulo es que at bu cv = 0. Este teorema fue descubierto independientemente, primero por Casey y despu es por Purser.