LOS TEOREMAS DE PTOLOMEO Y SU GENERALIZACIN POR CASEY.

APLICACIONES
Leccin de preparacin olmpica
Francisco Bellot Rosado

En las revistas Gazeta matematica de Rumania y Matematika & Informatika, de Bulgaria, as

como en la canadiense Crux mathematicorum ([1], [2], [3], [4]), se han publicado, separadamente,
artculos muy interesantes en relacin con los teoremas de Ptolomeo y sus generalizaciones, con
abundantes ejemplos en los que estos resultados se utilizan hbilmente para resolver con patente
simplicidad problemas geomtricos complicados . El objetivo de esta leccin de preparacin es
divulgarlos , de una manera conjunta .

1. El primer teorema de Ptolomeo

ste es un resultado clsico de geometra de cuadrilteros ; proporciona condiciones necesarias

y suficientes para que un cuadriltero sea cclico, es decir, se pueda inscribir en una circunferencia;
y dice lo siguiente :

En un cuadriltero cclico, el producto de las diagonales es igual a la suma de los

productos de pares de lados opuestos, y recprocamente.

De las diversas demostraciones de este teorema existentes en la bibliografa, damos la

siguiente, incluida en el libro Modern College Geometry, de David R. Davis, Addison-Wesley,
1949 :
Designaremos, como es habitual, a = AB, b = BC, c = CD, d = DA y x = BD, y = AC.

Supongamos primero que los puntos A,B,C y D estn en una circunferencia. Se construye
CDE = ADB, con E AC. Entonces los tringulos CDE y BCD son semejantes, de donde
a
EC
= xc .
b
Pero tambin ADE y BCD son semejantes, as que AE = dx .
Como AE + EC = AC = y, sustituyendo tenemos
bd + ac = y ac + bd = xy.
x x
Recprocamente, vamos a probar que si ac + bd = xy, entonces el cuadriltero ABCD es
cclico. Se construye CDE = ADB y se determina DE tal que xc = DE
d
. Se une el punto E con A y
con C. Entonces los tringulos EDC y ADB son semejantes, porque tienen lados proporcionales
que comprenden ngulos iguales, y BDC es semejante a ADE.
Entonces
a = x CED = A
EC c
b = x DEA = C
AE d
Sumando, (AE + EC)x = ac + bd, CED + DEA = A + C.
Como xy = ac + bd, xy = (AE + EC)x y = AC = AE + EC, lo cual indica que AEC es una
lnea recta, lo que implica
A + C = CED + DEA = 180 y el cuadriltero es cclico.Q

Para cuadrilteros no cclicos la desigualdad se escribe

xy < ac + bd
de la que hay una demostracin muy sencilla usando nmeros complejos.

2.El segundo teorema de Ptolomeo

En las condiciones del teorema anterior, se verifica

y ad + bc
x = ab + cd

Demostracin : Como ADC y ABC son suplementarios, se verifica

cos ABC + cos ADC = 0,

as que utilizando el teorema del coseno en los respectivos tringulos ABC y ADC , y
multiplicando por 2abcd para eliminar los denominadores resulta
ab(c 2 + d 2 y 2 ) + cd(a 2 + b 2 y 2 ) = 0
es decir ac(bc + ad) + bd(bc + ad) = y 2 (ab + cd)
o bien y 2 (ab + cd) = (ac + bd)(ad + bc) (1)
Procediendo de la misma manera en los tringulos DAB y BCD resulta
x 2 (ad + bc) = (ab + cd)(ac + bd) (2)
Multiplicando miembro a miembro (1) y (2) se obtiene el teorema directo de Ptolomeo,
mientras que dividiendo miembro a miembro resulta
y 2 (ab + cd) 2 = x 2 (ad + bc) 2
que es lo que queramos probar.Q

3.Preparativos para la generalizacin : longitudes de tangentes comunes a dos

circunferencias
 a) Si dos circunferencias de radios r 1 y r 2 son tangentes exteriores, la longitud del segmento de
tangente exterior comn vale 2 r 1 r 2 .
En efecto, si t es dicha tangente, se tiene (teor. de Pitgoras):
t 2 + (r 1 r 2 ) 2 = (r 1 + r 2 ) 2 t2 = 4r 1 r 2
b) Si las circunferencias son exteriores, de centros respectivos O 1 y O 2 , entonces la longitud
del segmento de tangente exterior comn t verifica

t 2 = O 1 O 2 (r 1 r 2 ) 2 ,
2

pues basta aplicar el teorema de Pitgoras cuando se traza por O 2 una paralela a t = PQ hasta
que corte a O 1 P :

c) Supongamos que las circunferencias k 1 (O 1 ; r 1 ) y k 2 (O 2 ; r 2 ) son tangentes interiores en A y

B, respectivamente, a la circunferencia k(O; R). Entonces la longitud t 12 de la tangente comn
exterior a k 1 y k 2 es

t 12 = AB (R r 1 )(R r 2 ) .
R
Demostracin : No hay prdida de la generalidad en suponer r 1 r 2 , y adems suponemos
que O 1 y O 2 son exteriores:

Sea t 12 = A 1 B 1 , con A 1 k 1 , B 1 k 2 ; y sea P la proyeccin de O 2 sobre O 1 A 1 .

El teorema de Pitgoras en O 1 O 2 P da
 t 212 = O 1 O 2 (r 1 r 2 ) 2 ;
2

y el del coseno en OO 1 O 2 :

O 1 O 2 = (R r 1 ) 2 + (R r 2 ) 2 2(R r 1 )(R r 2 ) cos ,

2

siendo = O 1 OO 2 ; por su parte, el teorema del coseno en ABO da

2
AB = 2R 2 (1 cos ).
Eliminando O 1 O 2 y cos entre estas tres ltimas igualdades obtenemos
2
t 212 = (R r 1 ) 2 + (R r 2 ) 2 (r 1 r 2 ) 2 2(R r 1 )(R r 2 ) 1 AB2
2R
que se simplifica hasta llegar a

t 12 = AB (R r 1 )(R r 2 ) (3).
R
De una forma anloga, si k 1 y k 2 son tangentes exteriores a k se obtendra

t 12 = AB (R + r 1 )(R + r 2 ) ;
R
Si k 1 es tangente exteriormente a k y k 2 lo es interiormente, entonces la longitud de una
tangente comn interior es

t = AB (R + r 1 )(R r 2 ) .
U

R
Nota : Estos resultados se pueden encontrar en [5]y[6].

4.El teorema generalizado de Ptolomeo, o teorema de Casey.

El gemetra irlands John Casey public en Dublin en 1881 un famoso libro, titulado A
Sequel to the first six Books of the Elements of Euclid, (abreviado su ttulo posteriormente hasta A
Sequel to Euclid) en el que incluye la generalizacin del primer teorema de Ptolomeo, y en una
nota al pie en su pgina 104 dice textualmente : Esta extensin del teorema de Ptolomeo apareci
por primera vez en un artculo mo en los Proceedings of the Royal Irish Academy, 1866. El
enunciado es el siguiente :

Si las circunferencias k 1 , k 2 , k 3 y k 4 son tangentes a una misma circunferencia (o recta), y

t ij son las longitudes de las tangentes comunes exteriores a k i y k j entonces se verifica la
relacin
t 12 t 34 + t 23 t 14 = t 13 t 24


Con ayuda de los resultados del prrafo anterior, la demostracin es inmediata, como veremos.
Conviene notar antes que el resultado sigue siendo vlido cuando algunos de los radios de k i son
cero, lo que producir interesantes demostraciones sencillas de resultados geomtricos
complicados, como anuncibamos al comienzo. Si todos los k i son cero, se obtiene el primer
teorema de Ptolomeo. Casey estableci adems que la relacin anterior es una condicin
suficiente para que los crculos k i sean tangentes a un crculo dado, y una demostracin de la
suficiencia se puede encontrar en el ejercicio II. 240 (pginas 330-334) del excelente libro de Igor
Shariguin Problemas de geometra. Planimetra, Ed. Mir, Mosc 1989. Es realmente notable
disponer de una demostracin del recproco del teorema de Casey en un libro tan popular como el
de Shariguin, dado que anteriormente haba sido probado con restricciones (v. [7]).
Demostracin del teorema de Casey:

t 12 t 34 + t 14 t 23 = AB  CD + AD  BC (R r 1 )(R r 2 )(R r 3 )(R r 4 )

R2
= AC 2BD (R r 1 )(R r 3 ) (R r 2 )(R r 4 )
R
= t 13 t 24 .Q

5.Generalizacin del segundo teorema de Ptolomeo

Escribiendo el segundo teorema de Ptolomeo en la forma

AB  AD + CB  CD = AC
BA  BC + DA  DC BD
se demuestra que
t 12 t 14 (R r 3 ) + t 23 t 34 (R r 1 )
= t 13 .
(R )
t 12 t 23 r 4 + t 14 t 34 r 2(R ) t 24

En efecto, basta sustituir y hacer operaciones para obtener el resultado.Q

6.Ejemplos resueltos

En los artculos rumanos y blgaro mencionados se ofrecen 18 aplicaciones del primer teorema
generalizado de Ptolomeo y 4 del segundo. No las expondremos todas resueltas, dejando algunas
de ellas como ejercicios.
 Shailesh Shirali ofrece en [4] dos aplicaciones del teorema directo y del recproco del
teorema de Casey. La primera es el ms bello problema de Geometra propuesto por la India en la
I.M.O. de Mosc de 1992 :
Ejemplo 1
Las circunferencias 1 y 2 son exteriormente tangentes en el punto I, y ambas son
tangentes interiormente a una tercera, . Una tangente comn a las dos primeras corta a la
tercera en B y C, mientras que la tangente comn en I corta a la tercera en A, del mismo lado de
BC que I.
Demostrar que I es el incentro de ABC.

Considerando la configuracin de la figura siguiente, donde x e y son, respectivamente, las

longitudes de las tangentes desde B y C a 1 y a 2 , D es AI BC ; z = |AI|, u = |ID| y a, b, c son
los lados de ABC,

Aplicando el teorema de Casey a las dos cuaternas de crculos (A, 1 , B, C) y (A, 2 , C, B)

obtenemos
az + bx = c(2u + y) (1)
az + cy = b(2u + x) (2).

Restando (2) de (1) resulta

bx cy = u(c b)
x+u = c
y+u b
BD = AB AI es bisectriz de BAC
DC AC
BD = ac
b+c
 Sumando (1) y (2) resulta

az = u(b + c) z b+c
u = a

AI = AB BI es bisectriz de ABC.
ID BD
Esto prueba el resultado.Q

Cuando este problema fu rechazado por el Jurado de la I.M.O. 92, la representante de

Colombia coment en voz alta : Se acaba de rechazar el ms bello problema de Geometra de
este ao. Suscribo plenamente su opinin.

Ejemplo 2 (El teorema de Feuerbach, 1822)

A continuacin, y como curiosidad bibliogrfica, reproduzco la primera pgina del libro donde
Feuerbach demostr el teorema que lleva su nombre. La edicin es de 1822. La ilustracin sobre
su teorema, que aparece despus del enunciado, no es de esta edicin, porque la existente, en papel
azulado y lneas con tinta muy finas, se resista a ser reproducida en una calidad mnimamente
visible.

El crculo inscrito en un tringulo es tangente al crculo de los nueve puntos (que pasa
por los puntos medios de los lados del tringulo)
 Supongamos que los lados BC, CA y AB del tringulo tienen como puntos medios a D,E,F
respectivamente, y sea el crculo inscrito. Consideramos la cuaterna de crculos (D, E, F, ).
Obtenemos las siguientes longitudes para los segmentos de tangentes que se indican :

t DE = c , t DF = b , t EF = a
2 2 2
t D = a (s b) = b c
2 2
t E = b (s c) = a c
2 2
t F = c (s a) = b a
2 2
donde s = a+b+c
2
.
Con objeto de aplicar el recproco del teorema de Casey necesitamos comprobar si, para alguna
combinacin de signos + y , se tiene
c(b a) a(b c) b(a c) = 0,
lo cual es inmediato. Por lo tanto, existe un crculo que es tangente a los crculos D,E,F (de
radio 0) y . Como el crculo que pasa por D,E y F es el de los nueve puntos, el teorema de
Feuerbach queda demostrado.Q

El mismo procedimiento permite demostrar que el crculo de los 9 puntos es tangente a los
crculos exinscritos, mutatis mutandis.

Ejemplo 3 : El problema de Victor Thbault (1938)

En 1938, el famoso problemista francs Vctor Thbault propuso en el American

Mathematical Monthly el siguiente problema:

Sea D un punto del lado AB del tringulo ABC. El crculo k 1 (O 1 , r 1 ) es tangente

interiormente al crculo circunscrito k de ABC, es tangente a AB en M y tangente a CD ;
por su parte, el crculo k 2 (O 2 , r 2 ) es tangente interiormente a k, tangente a DB en N y
tangente a CD. Si r es el inradio de ABC, demostrar que
r = r 1  cos 2 + r 2  sin 2
2 2

donde = ADC.

Este problema no fu resuelto en el Monthly hasta 1983, pero la solucin completa no fu

publicada porque la nica recibida, del aficionado ingls a la Geometra (pero no matemtico
profesional) K.B. Taylor, ocupa 24 pginas de clculos (tengo un ejemplar que me envi el autor).
Ms tarde, en 1986, Gerhard Turwald public una solucin sensiblemente ms corta en la revista
suiza Elemente der Mathematik.En 1989, el holands G.R.Veldkamp envi a Crux
Mathematicorum una solucin suya del problema, publicada en 1973 en una revista holandesa de
no muy extendida circulacin, el Nieuw Tijdschrift voor Wiskunde, y que debi pasar inadvertida a
los redactores del Monthly. Para completar la historia, a finales de 1989 Elemente der Mathematik
public otra solucin del problema, sin usar trigonometra, completamente sinttica, probando
resultados ms generales que incluyen el problema de Thbault como caso particular. Debe
aadirse que en el enunciado original de Thbault la relacin pedida entre r, r 1 , r 2 y era errnea,
y adems peda demostrar que O 1 y O 2 estn alineados con el incentro de ABC (lo cual es verdad).

Sean x = DM, y = DN. Aplicando el teorema de Casey a (A, B, C, k 1 ) obtenemos:

c(CD x) + (AD x)a = b(BD + x)
x(a + b + c) = a  AD + c  CD b  BD
Aplicndolo otra vez a (A, B, k 2 , C) nos da:
y(a + b + c) = c  CD + b  BD a  AD
Sumando miembro a miembro,

x + y = 2c  CD .
a+b+c
Pero, en O 1 MD, x = r 1 cot(/2), y en O 2 ND, y = r 2 tan(/2) , luego

r 1 cos 2 + r 2 sin 2 = c  CD  sin = c  h c = Ss = r.Q

2 2 a+b+c 2s
Ejemplo 4 : Un problema japons de 1874

Durante la Restauracin Meiji en Japn, el pas estuvo aislado de Occidente y los matemticos
japoneses descubrieron por s mismos muchos resultados geomtricos, cuyas aplicaciones,
dibujadas en tabletas de madera (Sangaku) se colgaban en las entradas de los templos en honor de
los dioses y para gloria de sus autores. Presentamos aqu un ejemplo de 1874 :

Un crculo O(r) es interior a un cuadrado ABCD, de lado a; los crculos

O i (r i ), i = 1, 2, 3, 4 son tangentes a lados adyacentes del cuadrado, y tangentes exteriores a
O(r). Hallar la relacin entre r i y a.
 Necesitamos las longitudes de la tangentes exteriores comunes a cada par de crculos, lo que se
escribe inmediatamente. As se llega a la ecuacin
(a r 1 r 2 )(a r 3 r 4 ) + (a r 1 r 4 )(a r 2 r 3 )
= 2(a r 1 r 3 ) 2 (r 1 r 3 ) 2 2(a r 2 r 4 ) 2 (r 2 r 4 ) 2

que conduce a una ecuacin cuadrtica en a, y finalmente

2(r 1 r 3 r 2 r 4 ) + 2(r 1 r 2 )(r 1 r 4 )(r 3 r 2 )(r 3 r 4 )

a= r1 r2 + r3 r4 .Q

7.Problemas propuestos

1.Sea el tringulo issceles ABC, con AC = BC) y k su crculo circunscrito. El crculo k 1 es

tangente interiormente al tringulo en M AB y tangente interiormente a k. Demostrar que la
longitud t de la tangente desde C a k 1 no depende de la eleccin de k 1 . Calcular t.
2.Sea C un punto del dimetro AB del crculo k. Sea k 1 el crculo de dimetro AC y k 2 el de
dimetro CB. La perpendicular a AB en C corta a k en M y N. Hallar la longitud de la tangente
comn a k 1 y k 2 .
3.Tres crculos de radios iguales son tangentes exteriores entre s dos a dos y tangentes
interiores al crculo k. Desde un punto cualquiera M situado en la circunferencia k se trazan las
tangentes a los tres crculos. Demostrar que una de ellas es igual a la suma de las otras dos
(teorema de Pompeiu), y menor o igual que 2R 3 1 . Cundo se verifica la igualdad?
Si r es el radio comn a los tres crculos, y R el de k, probar que r = R 3 2 3
4.El crculo inscrito en ABC tiene radio r. Desde C se traza la altura CH sobre AB. Los
crculos k 1 (r 1 ) y k 2 (r 2 ) son tangentes interiores a k, y tangentes a AB y a AH y BH,
respectivamente. Probar que r 1 + r 2 = 2r.
5.Sea R el radio del crculo circunscrito a un tringulo y r el del inscrito. Sean r 1 , r 2 , r 3 los
radios de tres crculos, tangentes a dos de los lados del tringulo y al crculo circunscrito. Probar
que
4r r 1 + r 2 + r 3 2R.
6. (Olimpiada Britnica 1986) Las rectas paralelas t 1 , t 2 son tangentes al crculo k, de radio R.
El crculo k 1 (r 1 ) es tangente a t 1 y a k, mientras que el crculo k 2 (r 2 ) es tangente a t 2 , a k y a k 1 .
Se supone que todas las tangencias son exteriores; t 1 , k y k 1 no tienen puntos comunes. Expresar R
mediante r 1 y r 2 .
 7.En el crculo k(O, R) se inscribe un tringulo ABC cualquiera. Demostrar que cualquiera que
sea el punto M BC se puede construir un crculo que sea tangente interiormente a k y tangente a
BC en M. Determinar el lugar geomtrico de los centros de estos crculos.
8.Sea k(O, R) el crculo circunscrito al tringulo arbitrario ABC. k i (O i , r i ) son tres crculos
tangentes interiores a k y tangentes a los lados AC,AB y BC del tringulo. Demostrar que
r1 + r2 + r3 R r
2
R 3
r1r2 + r2r3 + r3r1 s 2r 3
8
3
r1r2r3 R
4
Cundo se verifican las igualdades?
9. Cuatro crculos k i (O i , r i ) son tangentes dos a dos y tangentes interiores al crculo k(O, R) en
los puntos A, B,C y D (el cuadriltero ABCD es convexo). Demostrar que
(R r 1 )(R r 2 )(R r 3 )(R r 4 ) 4r 1 r 2 r 3 r 4

y que el signo igual se verifica si y slo si

R(R r)
r 1 = r 3 (sea r este valor comn) y r 2 = r 4 = .
R+r

8.Bibliografa

[1] T.Petrov : El teorema de Casey y sus aplicaciones (en blgaro), Matematika &
Informatika, 5/1994.
[2] M.Dragusin : Aplicaciones del teorema de Casey (en rumano), Gazeta Matematica,
12/1995.
[3] S. Shirali : On the generalized Ptolemy theorem, Crux mathematicorum, 1996, pp.49-53.
[4] A.Bulacu : Generalizacin del segundo teorema de Ptolomeo (en rumano), Gazeta
matematica, 12/2000.
[5] I. Shariguin : Problemas de Geometra (Planimetra), Ed. Mir, Mosc, 1989.
[6] Michiwaki, Oyama, Hamada : An invariant relation in Chains of tangent circles,
Mathematics magazine, 48(1975),p.80.
[7] R.A.Johnson : Advanced Euclidean Geometry, Dover Pub.,1960.
[8] Fukagawa & Pedoe : Japanese Temple Geometry Problems (Sangaku), Winnipeg,
Canada, 1989.
[9] D.Branzei, S.Anitsa, A. Anitsa : Competentza si performantza in Geometrie (en rumano),
Ed. Minied, Iasi, Rumania, 1992.
[10] D.R.Davis : Modern College Geometry. Addison-Wesley Press, 1949.
[11] J. Casey : A Sequel to the First six boks of the Elements of Euclid. Dublin U.P., 1892.