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 = x. c EC b x Pero tambin ADE y BCD son semejantes, as que AE = d . Como AE + EC = AC = y, sustituyendo tenemos bd + ac = y x x

ac + bd = xy.

Recprocamente, vamos a probar que si ac + bd = xy, entonces el cuadriltero ABCD es

d cclico. Se construye CDE = ADB y se determina DE tal que x = DE . Se une el punto E con A y c 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 c EC b = x AE d

CED = A DEA = C

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 2 = O 1 O 2 (r 1 r 2 ) 2 ; 12
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 AB = 2R 2 (1 cos ). Eliminando O 1 O 2 y cos entre estas tres ltimas igualdades obtenemos
2 t 2 = (R r 1 ) 2 + (R r 2 ) 2 (r 1 r 2 ) 2 2(R r 1 )(R r 2 ) 1 AB2 12 2R 2

que se simplifica hasta llegar a t 12 = AB (R r 1 )(R r 2 ) R (3).

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 ) . R
7

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 BD BA  BC + DA  DC se demuestra que t 12 t 14 (R r 3 ) + t 23 t 34 (R r 1 ) = t 13 . t 24 (R r 4 ) + t 14 t 34 (R r 2 ) t 12 t 23 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) az + cy = b(2u + x) Restando (2) de (1) resulta bx cy = u(c b)

(1) (2).

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) AI = AB 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.

z b+c u = a

BI es bisectriz de ABC.

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 a (s b) = b c t D = 2 2 b (s c) = a c t E = 2 2 c (s a) = b a t F = 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 2 + r 2 sin 2 2 = c  CD  sin = c  h c = S = r.Q s 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 a= 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 ) .Q r1 r2 + r3 r4

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 1 = r 3 (sea r este valor comn) y r 2 = r 4 = R(R r) . 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.