Teorema de Ptolomeo

Un cuadriltero es cclico si y slo si el producto de sus diagonales es igual a la suma de los productos de sus pares de lados opuestos. En otras palabras, dado un cuadriltero ABCD, se tiene que: ABCDes cclico AC BD = AB CD + BC AD . B

D Como se puede ver, este teorema se divide en dos partes: (1) si ABCD es cclico, entonces AC BD = AB CD + BC AD y, (2) si se cumple la relacin AC BD = AB CD + BC AD , entonces ABCD es cclico. En la mayora de los casos quiz convenga hacer las dos demostraciones por separado; sin embargo, en esta ocasin trataremos las dos al mismo tiempo. Al final, veremos una serie de ejemplos donde aplicaremos este conocimiento. Para demostrar todo lo anterior, consideremos un cuadriltero arbitrario ABCD, y sea K un punto en su interior, tal que los tringulos ABK y BCD son semejantes.

K A C

D Entonces como los tringulos ABK y BCD son semejantes podemos obtener lo siguiente: AK AB AB CD = AK = . CD BD BD De la misma semejanza obtenemos que AB BK = , y como los ngulos ABD y KBC BD BC son iguales, entonces los tringulos ABD y BKC son semejantes. De esto ltimo obtenemos lo siguiente: KC BC BC AD = KC = . AD BD BD

Ahora, si observamos bien, para que el cuadriltero ABCD sea cclico necesitamos que K est sobre AC para que los ngulos BAC y BDC sean iguales y terminar. Entonces tenemos las siguientes relaciones: ABCDes cclico K est sobre AC AK + KC = AC AB CD BC AD + = AC BD BD AB CD + BC AD = AC BD Con esto terminamos la demostracin.

Notemos que si el punto K fuera arbitrario, entonces se cumplira lo siguiente:

AK + KC AC AB CD BC AD + AC BD BD AB CD + BC AD AC BD

La relacin anterior se conoce como el teorema extendido de Ptolomeo, y podemos enunciarlo como sigue.

Teorema Extendido de Ptolomeo

En un cuadriltero, la suma de los productos de pares de lados opuestos es mayor o igual al producto de sus diagonales. En otras palabras, dado un cuadriltero ABCD se tiene que:
AB CD + BC AD AC BD

Para tener variedad de soluciones, usaremos la Ley de Cosenos para demostrar nuevamente el teorema de Ptolomeo. Consideremos un cuadriltero arbitrario ABCD con lados consecutivos a, b, c, d y diagonales m y n, como se muestra en la figura. B a A m d c n C b

Por una parte, tenemos que:

ABCDes cclico A + C = 180 A = 180 C cos( A) = cos(180 C ) cos( A) = cos(C ) a2 + d 2 m2 b 2 + c 2 m2 = 2 ad 2 bc 2 2 2 a bc + bcd + ab d + ac 2 d = m2 bc + m 2 ad ac( ab + cd ) + bd(cd + ab ) = m2 ( ad + bc ) ad + bc ac + bd = m2 ab + cd Anlogamente, obtenemos que: ABCDes cclico B + D = 180 cos( B) = cos(D) a2 + b 2 n2 c 2 + d 2 n2 = 2 ab 2cd ab + cd ac + bd = n 2 ad + bc

Multiplicando ambas relaciones obtenemos que:

ad + bc 2 ab + cd ABCDes cclico ( ac + bd )( ac + bd ) = m 2 n ab + cd ad + bc ( ac + bd )2 = m2 n 2 ac + bd = mn

Con esto hemos finalizado nuevamente. Cul demostracin es ms atractiva? La Ley de Cosenos bien aplicada puede romper el hielo cuando hace falta ingenio. Ahora, recordemos la ley de Cosenos para un tringulo ABC con lados a, b y c, respectivamente: a 2 = b 2 + c 2 2bc cos A . La frmula anterior es simtrica con respecto a los tres lados del tringulo. Entonces, consideremos nuevamente un cuadriltero ABCD con lados consecutivos a, b, c, d y diagonales m y n, como en la figura.

C b B c n

Sean K y M dos puntos exteriores a ABCD tales que: AKB ADC AMD ABC Esto implica la igualdad de ngulos: D

m a

ADM = BAC ABK = BAC

Por lo tanto: d K
MDB + KBD = MDA + ADB +ABD + ABK = BAC + ADB

+ABD + DAC = 180

Esto ltimo implica que BK y MD son paralelas. Luego, de la semejanza de los tringulos ABC y ADM, obtenemos que: AM d bd DM d ad = AM = y = DM = . b m m a m m Anlogamente, de la semejanza de los tringulos ABK y ACD obtenemos: AK a ac BK a ad = AK = = BK = . y c m m d m m De esto ltimo, BK = MD, por lo que BDMK es un paralelogramo. Por lo tanto MK = n. Adems, MAK = KAB + BAD + MAD = ACD + BAD + ACB = A + C . Luego, aplicando Ley de Cosenos al tringulo AKM, obtenemos:

KM 2 = AK 2 + AM 2 2 AK AM cos( MAK ) a2 c 2 b 2 d 2 ac bd + 2 2 cos( A + C ) 2 m m m m 2 2 2 2 2 2 m n = a c + b d 2 abcd cos( A + C ) n2 = Con esto, tenemos otra demostracin del teorema de Ptolomeo: mn = ac + bc m2 n2 = a 2 c 2 + b 2 d 2 + 2 abcd a 2 c 2 + b 2 d 2 + 2 abcd = a 2 c 2 + b 2 d 2 2 abcd cos( A + C ) 2 abcd = 2 abcd cos( A + C ) 1 = cos( A + C ) A + C = 180 ABCDes cclico Como se ve, la frmula que acabamos de obtener es aplicable a cualquier cuadriltero. Esto puede resumirse en el siguiente teorema:

Teorema de Bretschneider (Ley de Cosenos para Cuadrilteros)

Si ABCD es un cuadriltero con lados consecutivos a, b, c, d y diagonales m y n, entonces: m2 n2 = a 2 c 2 + b 2 d 2 2 abcd cos( A + C ) . Hay muchas otras relaciones importantes para cuadrilteros, pero se mostrarn en otras secciones. Aunque la formulacin de teorema de Ptolomeo es sencilla y fcil de entender, veremos unos cuantos ejemplos. Ejemplo 1. Dado un pentgono regular ABCDE, hallar la razn
AC . AB

Solucin. Consideremos el pentgono de la figura, y llamemos a al lado del pentgono y b a la longitud de sus diagonales. Consideremos el pentgono con su circunferencia circunscrita.

E a A b a b b a D

Si nos fijamos, tenemos muchos cuadrilteros cclicos en la figura, a saber, todos ellos son iguales. Escojamos el cuadriltero ABDE para trabajar. Entonces, aplicando el teorema de Ptolomeo tenemos que: ab + a a = b b b 2 ab a 2 = 0 a a 2 4( a 2 ) (resolviendo para b )b = 2 1 5 b = a 2 b 1+ 5 ( a y b son ambos positivos ) = a 2 AC 1 + 5 = AB 2 Ejemplo 2. Considrese una circunferencia de radio R e inscribamos un hexgono regular ABCDEF. Sea P la interseccin de la circunferencia de centro D y radio DB con la circunferencia de centro A y radio AC. Finalmente, sea K la interseccin de la circunferencia con centro B y radio BP con la circunferencia original. Demostrar que el segmento AK es un cuarto de la longitud de la circunferencia. Demostracin. Construyamos nuestra figura para empezar.

K B C

A M O

Notemos que AP = AC = R 2 + R 2 2 R R cos 120 = R 3 . Luego tenemos que OP = AP 2 OA2 = 3R 2 R 2 = R 2 . Tambin notemos que: BK = BP = OM 2 + (OP BM )2 = R2 R 3 +R 2 = R 3 6 . 4 2

Finalmente, veamos el cuadriltero cclico ABKE. Aplicando el teorema de Ptolomeo tenemos:

BC AK = AB EK + AE BK 2 R AK = R R 1 + 6 + R 3 R 3 6 2 AK = R 1 + 6 + 3 R AK = 3 2

R 1 + 6 + 3R 3 2 2 R 1 AK (3.142399) = (2 R 3.142399) 2 4

Como vemos, quiz tuvimos que haber recurrido a la calculadora. Trataremos de evitar esto.

Ejemplo 3. Sea ABC un tringulo con lados a, b, c, respectivamente, tal que el ngulo A es el doble del ngulo B. Demuestra que a 2 = b(b + c ) . (Pregunta: Qu hace este problema aqu?) Demostracin. Podemos desarrollar la expresin y demostrar que a 2 = b 2 + bc . Esto se parece a Ptolomeo, y lo ms probable es que tenga que ver. Veamos: Tracemos la bisectriz del ngulo A hasta A tal que AA = a. Y sea A = 2 . A

c a B b

A Notemos que los tringulos AAB y ABC tienen lados a y c y el ngulo entre ellos es igual a . Entonces son congruentes, por lo que AB = b. Adems los ngulos BAA y BCA son iguales por esta ultima congruencia, por lo que el cuadriltero ABAC es cclico (ahora s tendr que ver Ptolomeo). Pero como ABAC es cclico, se tiene que CA ' A = CBA = , por lo que el tringulo ACA es issceles y entonces AC = b. Finalmente, aplicamos el teorema de Ptolomeo al cuadriltero ABAC: BC AA ' = AB A 'C + A ' B AC aa = cb + bb a 2 = b 2 + bc Con esto, hemos concluido.

Los siguientes problemas no son tan obvios como para aplicar este famoso teorema, sin embargo, probablemente aparezca dentro sus soluciones.

Problemas
1. Sea ABC un tringulo equiltero y P un punto sobre el arco menor BC del circuncrculo de ABC. Demuestra que AP = BP + CP. 2. Sea ABCDEFG un heptgono regular. Demuestra que 1 1 1 = + . AB AC AD

3. En los tringulos ABC y ABC los ngulos B y B son iguales, en tanto que los ngulos A y A suman 180. Demuestra que los lados de estos tringulos estn ligados en la relacin aa ' = bb '+ cc ' . 4. En el tringulo ABC los ngulos A, B y C estn relacionados como 4:2:1. Demuestra que los lados respectivos a, b y c estn ligados con la igualdad:
1 1 1 + = . a b c

5. Sea O el circuncentro de un tringulo ABC y sean X, Y, Z los puntos medios de los lados BC, CA, AB, respectivamente. Si R y r son los radios de las circunferencias circunscrita e inscrita, demuestra que: OX + OY + OZ = R + r. 6. Sea ABCD un cuadriltero, y sean P, Q y R los pies de las perpendiculares desde C a los segmentos AB, BD y DA, respectivamente. Demuestra que P, Q y R son colineales si y slo si el cuadriltero ABCD es cclico.