LA CUCHILLA DEL ZAPATERO ()>*/5F@ Leccin de preparacin olmpica Francisco Bellot Rosado El tringulo curvilneo formado por tres

s semicircunferencias mutuamente tangentes, con sus centros alineados sobre la misma recta era conocida entre los antiguos griegos como rbelos, que significa cuchilla de zapatero, por su similitud con la que utilizan esos profesionales para cortar cuero. Segn parece, fu Arqumedes el que primero la estudi, y posteriormente, fu tambin tratada por Pappus, Vieta, Descartes, Fermat, Newton , Steiner y McKay, y ya en el siglo XX, por (cmo no!) Victor Thbault, Leon Bankoff (el dentista de California), Clayton W. Dodge, Thomas Schoch, Peter Y. Woo y Paul Yiu (estos dos ltimos son los editores de una excelente revista virtual de Geometra, Forum Geometricorum). Consideremos un segmento AB, y sea C un punto cualquiera de su interior. Trazando, en un mismo semiplano, los semicrculos de dimetros AB, AC y CB se obtiene el rbelos :

Nos proponemos enumerar y demostrar algunas de las numerossimas propiedades relacionadas con esta configuracin ; se procurar utilizar nicamente herramientas matemticas al alcance de los estudiantes de Bachillerato o de Olimpiadas; para mayor profundizacin se puede consultar la Bibliografa. Se pueden encontrar en Internet pginas dedicadas al rbelos : http://www.biola.edu/academics/undergrad/math/woopy/arbelos.htm aunque las bellas imgenes animadas que en ella se incluyen no pueden imprimirse, lamentablemente. Quien no tema visitar una pgina en holands puede ver http://www.pandd.demon.nl/arbelos.htm, donde estn demostradas muchas propiedades de esta configuracin. Primeras propiedades del rbelos Levantemos por C una perpendicular a AB hasta que corte a la circunferencia mayor en T. Unamos C con A y con B. Sean X e Y las intersecciones con las dos circunferencias pequeas. Unamos X con Y, y sea O  CT 9 XY.

Entonces se verifica : 1)El cuadriltero XCYT es un rectngulo. 2) XY es tangente a los crculos de dimetros AC y BC 3) El rea del rbelos es igual a la del crculo de dimetro CT Probaremos sucesivamente estas tres propiedades. 1) Como AXC  ATB  CYB  90, por tratarse de ngulos inscritos que abarcan una semicircunferencia, est claro que XCYT es un rectngulo. Esto tiene una consecuencia que nos ser til ms adelante : 1bis XY y CT se cortan en su punto medio O Para probar 2) necesitamos considerar los centros D y E de los crculos de dimetros AC y CB. Para demostrar que XY es tangente a los dos crculos, es suficiente que probemos que XY es perpendicular a XD e YE (el radio es perpendicular a la tangente en el punto de tangencia). Para ello razonamos de la siguiente manera : XDC es issceles, porque DX  DC (ambos son radios); y OXC es issceles tambin, porque OX y OC son semidiagonales de un rectngulo. Entonces se tiene : DXC  DCX, y CXO  OCX. Sumando, DXY  DXC  CXO  DCX  OCX  DCT  90, pues CT AB. As se demuestra que XY es tangente al crculo de dimetro AC. Anlogamente se probara que es tangente al de dimetro CB. Demostremos 3) : sean DA  r 1 , EC  r 2 ; sea O el punto medio de AB, y sea O U A  r. Entonces se tiene : AC  CB  AB

r 1  r 2  r.

Consideremos en primer lugar el rea del rbelos : Area arbelos  = r 2 " r 2 " r 2  = 1 2 2 2
1

r  r2 2 " r2 " r2 1 2

 =r 1 r 2 .

Por otra parte, el teorema de la altura (es decir, la semejanza entre los tringulos rectngulos ACT y BCT) permite escribir CT  CB AC CT

CT 2  AC CB,

luego el rea del crculo de dimetro CT vale

= CT
2

 = CT 2  = AC CB  = 2r 1 2r 2  =r 1 r 2 ,
4 4 4

que es lo que queramos demostrar.

El problema de San Valentn En febrero de 1977, Leon Bankoff envi por San Valentn a la revista canadiense CRUX MATHEMATICORUM (entonces llamada EUREKA), el problema que mostramos en la siguiente transparencia : Si > es el radio de la circunferencia inscrita en el rbelos, entonces

>

Area arbelos r2 " r2 " r2 1 2 r  r 2  r 2  r 2  Area corazon 1 2

Posteriormente se publicaron en la revista hasta 10 soluciones del mismo autor, Charles W. Trigg. Daremos una de ellas. Cambiaremos, por conveniencia, un poco las notaciones.

Consideremos el tringulo DOE. Su permetro es r " r 1  r " >  r 1  >  2r ; usaremos la frmula de Hern para calcular su rea, lo que nos da

DOE 

r r " r 1 " > >r 1 

r r 2 " > >r 1 .

Ahora consideramos el tringulo FOE. Su permetro es, de nuevo, r " >  r 2  >  r " r 2  2r, y su rea

FOE 

r r " r 2 " > >r 2 

r r 1 " > >r 2 .

Pero como ambos tringulos tienen la misma altura, sus reas estn en la misma proporcin que sus bases, es decir r r 2 " > >r 1 r r 1 " > >r 2 Elevando al cuadrado tenemos r2 r r 2 " > >r 1  2 r r 1 " > >r 2 r2 1 r 2 r 3 " r 1 r 3  >r 3 " r 3 1 2 1 2 y simplificando por r 1 " r 2 resulta
2

r"r  r " r1  r2 . r1 2

r " > r 3  r 1 " > r 3 1 2

Como nuestro objetivo es despejar >, agrupemos convenientemente los trminos :

r 1 r 2 r 2 " r 2  >r 3 " r 3 1 2 1 2

 1 >  r2 r 2 r 1 r 2 , r1  r1r2  r2 2
que es lo que queramos probar pues r  r 1  r 2 . La segunda igualdad propuesta por Bankoff es un simple ejercicio, que dejamos a cargo del lector. Un procedimiento alternativo para demostrar la igualdad propuesta se basa en el teorema de Stewart aplicado al tringulo DEF con la ceviana EO. r Cuando r 1  r 2  2 , el mtodo que hemos expuesto no sirve, porque no se puede simplificar por r 1 " r 2  0; pero en este caso el tringulo DFE es issceles, de lados r  >, r  > y r 2 2 y altura desde E, r " > . Entonces, calculando su rea de dos maneras distintas, obtenemos r r " >  2

r  > r 2

r 2

>,

y elevando al cuadrado y simplificando resulta r 2 " 3r>  0 que adems es el mximo valor que alcanza >. Bankoff tambin encontr un procedimiento muy ingenioso para encontrar (con el comps) los puntos de tangencia del crculo inscrito en el rbelos con los arcos que lo forman :

> r,
3

Si M y N son los puntos medios de los arcos AC y CB, con centro en M y radio MA se traza una circunferencia que pasa por A,C,Q y R; con centro en N y radio NB se traza otra circunferencia que pasa por B,C,P y R. Los tres puntos de tangencia buscados son P,Q y R. El crculo inscrito en el rbelos es el circunscrito a PQR. Los crculos mellizos de Arqumedes : el inicio de una familia numerosa. Consideremos los dos crculos inscritos en las dos porciones del rbelos separadas por la perpendicular desde C sobre AB :

Arqumedes descubri que esos dos crculos tienen el mismo radio. Les llamaremos crculos mellizos de Arqumedes. Vamos a demostrar que sus radios son iguales . Utilizaremos Trigonometra, as que la demostracin que demos es relativamente moderna.

Consideremos el crculo de la izquierda, de radio desconocido, x. En el tringulo rectngulo EFD, se tiene, por una parte

x r cos EDF  DF  r 1 " x . 1  DE Si P es el punto medio de AB y consideramos el tringulo EPD, el teorema del coseno en este tringulo nos dar :

r " x 2  r 1  x 2  r " r 1 2 " 2r 1  x r " r 1 cos EDF  r 1  x 2  r " r 1 2 " 2r 1  x r " r 1 r 1 " x r1  x 2 2  r 1  x  r " r 1 " 2r " r 1 r 1 " x . r x  r r1 2 . 1  r2

Aunque esta ecuacin en x parece complicada, se simplifica para dar 0  4rx  4r 2 " 4rr 1 1

r 1 r " r 1  rx

Como, para obtener el radio del otro crculo, slo hay que cambiar los papeles de r 1 y r 2 , es evidente que ambos son iguales. En 1974, Leon Bankoff public en el Mathematics Magazine un artculo titulado Son realmente mellizos los crculos de Arqumedes?. El ttulo estaba justificado : Bankoff encontr un tercer crculo relacionado con el rbelos que tena el mismo radio que los dos primeros. He aqu la figura :

Mi coleccin del Magazine comienza, desafortunadamente, en 1975; pero en la misma revista, en 1999, se public un extenso artculo titulado Esos ubicuos crculos arquimedianos, por cuatro autores (Dodge, Schoch, Woo y Yiu) en el que se incluye una demostracin de que el radio de ese tercer crculo coincide con los de los dos primeros, con lo cual ya tendramos trillizos. He modificado ligeramente la demostracin, creo que simplificndola (modestia aparte).

Sabemos que el radio > del crculo de centro O 3 , inscrito en el rbelos , es

 1 >  r2 r 2 r21 r 2 . r1  r2  r1r2

Los lados del tringulo O 1 O 2 O 3 son r 1  r 2 , r 1  > y r 2  >, con lo que su semipermetro vale r 1  r 2  >; y su rea, por la frmula de Hern, es
1

r  r 2  > >r 1 r 2 .

Pero el crculo cuyo radio , y, estamos buscando es el crculo inscrito en O 1 O 2 O 3 , as que su rea(la del tringulo) ser igual al semipermetro por el radio del crculo inscrito :
1

r  r 2  > >r 1 r 2  r 1  r 2  > y ;

r 1 r 2 r 1 r 2

elevando al cuadrado, simplificando y sustituyendo el valor de > obtenemos r1r2 >r 1 r r 2 r 2 r 1 r 2 1 2  y2  r  r 2 >  r r r 1 r 1 2  r 1  r 2  r12 2r2 r r2
1 2 1 2

 r2  r 1  r 2 r 2  r 1 r 2  r 2  r 1 r 2 r 1  r 2 1 2 r2r2 r1r2 1 2  y  2 r1  r2 . r 1  r 2
r 2 r 2 r 1 1 2

La familia de crculos de Arqumedes ha aumentado espectacularmente. Bankoff encontr pronto un cuatrillizo :

Y, dicho sea de paso, y sin entrar en ms detalles, el crculo de dimetro CD tambin tiene su propio mellizo :

A partir del cuatrillizo, han seguido apareciendo nuevos crculos notables, hasta formar una familia infinita. En el artculo del Mathematics Magazine de 1999 citado en la Bibliografa se encuentran descritos muchos de ellos. El teorema de los cuatro crculos, de Descartes Descartes, en el siglo XVII, consider un problema ligeramente distinto. En su correspondencia con la princesa Isabel, esposa del rey de Bohemia, estudia el caso de tres circunferencias tangentes exteriores entre s dos a dos, y una cuarta circunferencia, tangente exterior a las tres primeras.

Su teorema de los crculos establece que, en estas condiciones, si r i es el radio del crculo de centro O i , se verifica la relacin 2 1  1  1  1 r2 r2 r2 r2 1 2 3 4

1 1 1 1 r1  r2  r3  r4

Este resultado, que se haba perdido, fu redescubierto en 1937 por el premio Nobel de Qumica Sir Frederic Soddy, quien lo extendi al caso de esferas en el espacio, e incluso public en la revista Nature un poema alusivo, titulado The kiss precise1 . Ms modernamente, en el libro de Hidetosi Fukagawa Japanese Temple Geometry : San Gaku, se publica cmo calcular el radio del cuarto crculo de Descartes, tangente exteriormente a los tres primeros, en funcin de los radios de stos : r r1r2r3 . r 1 r 2  r 2 r 3  r 3 r 1  2 r 1 r 2 r 3 r 1  r 2  r 3

La demostracin est tomada de un libro japons del siglo XIX, y utiliza la distancia entre los puntos de tangencia dos a dos de los tres primeros crculos, y una astuta semejanza de tringulos

rectngulos convenientemente elegidos. Empleando esta frmula es posible deducir el teorema de Descartes sin demasiada dificultad: 1  r 1 r 2  r 2 r 3  r 3 r 1  2 r 1 r 2 r 3 r 1  r 2  r 3  r r1r2r3 2 r 1 r 2 r 3 r 1  r 2  r 3 1 1 1  r3  r1  r2  r1r2r3 y reagrupando y elevando al cuadrado, obtenemos 1 " 1 " 1 " 1 r3 r1 r2 r desarrollando el primer miembro resulta 1  1  1  1 "2 1  1  1 " 1 " 1 " 1 r1r2 r2r3 r3r1 rr 1 rr 2 rr 3 r2 r2 r2 r2 1 2 3 as que, al pasar al segundo miembro todo el sustraendo se obtiene, tras simplificar 1  1  1  1 2 1  1  1  1  1  1 rr 1 rr 2 r1r2 r2r3 r3r1 rr 3 r2 r2 r2 r2 1 2 3 de donde, sumando a ambos miembros el primer miembro, resulta 2 1  1  1  1 r2 r2 r2 r2 1 2 3 ,
2

 4 r 21 3  r 31 1  r 11 2 ; r r r

1  1  1  1 r1 r2 r3 r

, c.q.d.

Una demostracin alternativa, tambin elemental, del teorema de Descartes aparece en la excelente coleccin de problemas de Geometra plana (en ruso) Zadachi po planimetrii(vol.1), de Victor Prasolov (problema 3.23b): Sean O 1 , r 1 , O 2 , r 2 , O 3 , r 3 los centros y radios de las circunferencias de fuera, y O, r de la de dentro. El semipermetro del tringulo O 2 OO 3 es r 2  r 3  r ; y por las frmulas del coseno del ngulo mitad en un tringulo, cos 2 O 2 OO 3 2

2 r r 2  r 3  r ; sin r 2  r r 3  r

O 2 OO 3 2

r2r3 r 2  r r 3  r

Por otro lado, si )  *  +  180, se verifica sin 2 ) " sin 2 * " sin 2 +  2 sin * sin + cos )  0 (es una consecuencia directa del teorema del coseno; basta sustituir los lados por sus expresiones en funcin de R y los senos de los ngulos, y simplificar por el factor comn 4R 2 . Tal vez la ms completa coleccin de frmulas de un tringulo se encuentre en el libro de Lalescu La gomtrie du triangle. Poniendo ahora

)  O 2 OO 3 , *  O 1 OO 3 , +  O 1 OO 2
2 2 2 se obtiene r 1 r r 2 r 3 r 2  r 3  r r1r3 r1r2 r2r3 2 0 " " r 2  r r 3  r r 1  r r 3  r r 1  r r 2  r r 1  r r 2  r r 3  r que es lo mismo que

r 2 r 3 r 1  r " r 1 r 3 r 2  r " r 1 r 2 r 3  r  2r 1 r 2 r 3 rr 2  r 3  r  0 dividiendo por r 1 r 2 r 3 obtenemos r r 2  r 3  r r2  r r3  r r1  r 0 r2r3 r1 " r2 " r3  2 y dividiendo ahora por r resulta r2  r r3  r r1  r r1r " r2r " r3r  2 es decir 1 1 1 1 1 1 1 r 1 " r 2 " r 3 " r  2 rr 3  rr 2  r 2 r 3  0 Si, por conveniencia, ponemos k i 
1 ri
2

r  r3  r  0, rr 2 r 3

,k 

1 r

, la ltima igualdad se escribe en la forma

k 1 " k 2 " k 3 " k  2 kk 2  kk 3  k 2 k 3  0, de donde, elevando al cuadrado,

1

k " k 2 " k 3 " k 2  4kk 2  kk 3  k 2 k 3 .

(*)

Partiendo de la identidad algebraica

1

k  k 2  k 3  k 2  k 1 " k 2 " k 3 " k 2  4k 1 k 2  k 1 k 3  k 1 k 

 '  4kk 2  kk 3  k 2 k 3  4k 1 k 2  k 1 k 3  k 1 k   2k 1  k 2  k 3  k 2 " 2k 2  k 2  k 2  k 2 , 1 2 3

es decir 2k 2  k 2  k 2  k 2  k 1  k 2  k 3  k 2 , 1 2 3 que es el teorema de Descartes.2 El rbelos y la desigualdad de las medias Quin podra pensar que la desigualdad de las medias, una herramienta del Anlisis Matemtico, pudiera probarse mediante el rbelos? Pues es as :

Si AC  a, CB  b, con a u b, entonces:

i) OR  OD es la media aritmtica M 1  ab . 2 ii) CD es la media geomtrica M 0  ab 2 2 iii) CR es la raz media cuadrtica, M 2  a b 2 iv) Si D es el pie de la perpendicular desde C a OD, entonces DD es la media armnica de a 2ab y b : M 1  ab ; y se verifica a u M 2 u M 1 u M 0 u M 1 u b porque cada trmino, a excepcin de a y b, es la hipotenusa de un tringulo rectngulo cuyo cateto es el trmino siguiente : COR M 2 u M 1 ; OCD M 1 u M 0 ; CDD U M 0 u M 1 . Y, por ltimo, a  AC  AO  OC  RO  OC u RC  M 2 M 1  DD U  OD " OD U  OB " OD U u OB " OC  CB  b.

Bibliografa 1. ARBELOS, Special Geometry issue, vol. 6, MAA,1988 2. Charles W.Trigg, How do I love thee?Let me count the ways. Eureka (hoy CRUX MATHEMATICORUM), 1977, p.217-223. 3.Leon Bankoff : The marvelous Arbelos, en The Lighter side of mathematics, MAA. 4.Dodge, Schoch, Woo, Yiu : Those ubiquitous Archimedean circles, en Mathematics Magazine 1999, pp.202-213. 5.H.Fukagawa y D.Pedoe : Japanese Temple Geometry : SanGaku. The Charles Babbage Research Centre. Winnipeg, Canada 1989. 6.V.Prasolov: Zadachi po planimetrii. Nauka, Mosc, 1991. Notas 1 Reproduzco aqu la versin en espaol del poema de Soddy, tal como viene en el libro de Martin Gardner Circo Matemtico: Pueden besarse los labios, dos a dos, sin mucho calcular, sin trigonometra; mas ay! no sucede igual en Geometra, pues si cuatro crculos tangentes quieren ser y besar cada uno a los otros tres, para lograrlo habrn de estar los cuatro o tres dentro de uno, o alguno por otros tres a coro rodeado. De estar uno entre tres, el caso es evidente pues son todos besados desde afuera. Y el caso tres en uno no es quimera, al ser ste uno por tres veces besado internamente. Cuatro crculos llegaron a besarse, cuanto menores tanto ms curvados, y es su curvatura tan slo la inversa

de la distancia desde el centro. Aunque este enigma a Euclides asombrara, ninguna regla emprica es necesaria: al ser las rectas de nula curvatura y ser las curvas cncavas tomadas negativas, la suma de cuadrados de las cuatro curvaturas es igual a un medio del cuadrado de su suma. Espiar de las esferas los enredos amorosos pudirale al inquisidor requerir clculos tediosos, pues siendo las esferas ms corridas, a ms de un par de pares una quinta entra en la movida. Empero, siendo signos y ceros como antes para besar cada una a las otras cuatro, El cuadrado de la suma de las cinco curvaturas ha de ser triple de la suma de sus cuadrados. En enero de 1937, la revista inglesa Nature,que haba publicado el poema de Soddy, public una cuarta estrofa que generalizaba la frmula a espacios de n dimensiones, original de Thorold Gosset : No debemos empero confinar nuestros cuidados a los simples crculos, esferas y planos, sino elevarnos a n "espacios e hipercurvaturas donde tambin las mltiples tangencias son seguras. En n "espacios, los pares de tangentes son hiperesferas, y es verdad _ ms no evidente _ cuando n  2 de ellas se osculan cada una con n  1 compaeras Que el cuadrado de la suma de todas las curvaturas es n veces la suma de sus cuadrados.
2 Una demostracin similar a la de Prasolov, pero ms general porque comprende tambin el caso de los dos tipos de tangencia (externa e interna) de la cuarta circunferencia con las otras tres, est publicada en el libro de Dimitrios Kontogiannis Geometria, Atenas 1987 (en griego moderno y manuscrito).

Valladolid, 21 de abril de 2002 Francisco Bellot Rosado