Algunos Teoremas y sus Demostraciones

Juan Carlos Salazar Introduccin En este trabajo se incluyen cuatro interesantes teoremas con sus demostraciones: Teorema de Fuss, Teorema de Gergonne-Anne, Teorema Japons y tambin un teorema sobre las reas de tringulos tangenciales, con el enunciado del Teorema de Euler para reas 1. Espero que gracias a esta oportunidad que me brinda el Prof. Francisco Bellot, de presentarles este pequeo trabajo, el mismo sirva de aliciente para que nuestros estudiantes tomen inters en cultivar esta maravillosa rama de las matemticas: la geometra. Teorema de Fuss: Sea ABCD un cuadriltero bicntrico de inradio r, circunradio R y distancia d entre incentro (I) y cicuncentro (O). Demostrar que:
1 r
2

1 (R + d)
2

1 (R d) 2

(Ver Fig.1)

Las demostraciones de los teoremas que aqu les presentamos, posiblemente sean inditas para ustedes, aunque fueron desarrolladas durante el perodo 1974-77 en el cual imparta clases en la Academia Pre-Universitaria Csar Vallejo de Lima, Per.

Demostracin: Ver Fig. 2.

Sabemos que A + C = 180 luego + = 90. Si J y K son puntos de tangencia del incrculo con los lados AB y BC respectivamente. Luego los tringulos rectngulos AJI y KIC son semejantes con cateto comn r (IJ = IK), uniendo los dos tringulos, formamos la siguiente figura:

En el nuevo tringulo rectngulo AIC por propiedad geomtrica: 1 1 1 = 2 + 2 ................. (1) 2 r AI CI Prolongando AI y CI que cortan en F y E al circuncrculo respectivamente, entonces EF es dimetro debido a que, en sentido contrario a las agujas del reloj, tenemos: arco FE = arco FD + arco DE = 2 +2 = 2( +)= 180. . En el tringulo EIF aplicamos el teorema de Apolonio (teorema de la Mediana): EF2 IE 2 + IF2 = 2.OI 2 + = 2(R 2 + d 2 ) ..........(2) 2 La potencia del punto I respecto al crculo de centro O: AI.IF = CI.IE = R 2 IO 2 = R 2 d 2 1 1 (IE 2 + IF2 ) Luego: ................. (3) + = AI 2 CI 2 (R 2 d 2 ) 2 Finalmente, combinando (1), (2) y (3):
1 r
2

1 (R + d)
2

1 (R d) 2

QED.

Comentario: Son conocidos otros mtodos de demostracin para este teorema, tales como por ejemplo, el que utiliza el concepto de lugar geomtrico [1], otro que usa el concepto del porisma de Poncelet [2] y tambin el que usa el mtodo de inversin [3], adems de otros mtodos analticos [4]. Esta demostracin que les he mostrado, me tom casi tres meses obtenerla, con las herramientas propias de la poca: un buen comps, una regla y un transportador, en nada parecido a cualquiera de los programas (software dinmico) que se usan hoy en da para el estudio de la geometra: Cabri II, Sketchpad, Wingeom, Cinderella, Euclidraw, etc., por mencionar algunos. Aqu tenemos: un mtodo simple, elegante, mtrico y nuevo, que solo utiliza las herramientas de la geometra clsica euclidiana, as me lo han sealado recientemente varias personas versadas sobre este tema [5, 6, 7, 8], a quienes agradezco sus comentarios. Teorema de Gergonne-Anne: Sean ABC y A1B1C1 dos tringulos con lados paralelos, uno dentro del otro, donde DEF es un triangulo inscrito y circunscrito a cada uno de ellos. Demostrar que: [DEF] 2 = [ABC]. [A1B1C1], donde: [XYZ] = Area de XYZ. Nota: Tambin es equivalente enunciar que [DEF] es la media geomtrica entre [ABC] y [A1B1C1]. Demostracin: Ver Fig. 4

Si los lados del tringulo ABC y A1B1 B1 son paralelos, entonces AA1, BB1 y CC1 concurren en un punto O, debido a que los tringulos son homotticos. 3

Por la homotecia de centro O para ABC y A1B1 B1: OA1 OB1 OC1 A1B1 B1C1 A1C1 = = = = = =k OA OB OC AB BC AC Trazamos OJ ortogonal a BC, entonces: 1 [OB1DC1 ] = B1C1.OJ 2 Luego: 1 [OBC] = 2 BC.OJ = BC = 1 [ OB1DC1 ] 1 B C .OJ B1C1 k 1 1 2 Tambin: [OAB] = [OBC] = [OAC] = 1 [ OA1FB1 ] [ OB1DC1 ] [ OC1EA1 ] k Por la propiedad de proporciones: [OAB] + [OBC] + [OAC]

[ ABC] = 1 [ OA1FB1 ] + [ OB1DC1 ] + [ OC1EA1 ] [ DEF] k

=

Por lo tanto: 2 [ ABC] = 1 . (I) 2 2 [ DEF] k Por la homotecia: [ A1B1C1 ] = k 2 (II) [ ABC] De (I) y (II): 2 [ DEF] = [ ABC].[ A1B1C1 ] Corolario 1: El rea de un tringulo es la media geomtrica entre las reas de su tringulo tangencial interno y su tringulo excentral. (Teorema de Weill). Corolario 2: El rea de un cuadriltero bicntrico es la media geomtrica entre las reas de su cuadriltero tangencial interno y su cuadriltero excentral. Comentario: Son conocidas otras maneras de demostrar este teorema [3], pp765-766, adems es interesante sealar que con el mtodo aqu descrito, nosotros podemos fcilmente encontrar una generalizacin de este teorema para el polgono de n lados. 4

QED.

Teorema Japons: Sea el cuadriltero ABCD inscrito en un crculo de centro O, con ra, rb, rc y rd como radios de los crculos inscritos en los tringulos ABD, ABC, BCD y ADC respectivamente. Demostrar que: ra + rc = rb + rd. Demostracin: Ver Fig. 5

Utilizaremos dos propiedades geomtricas que se cumplen para todo cuadriltero inscrito y que se mencionan a continuacin: Si denominamos a Ia, Ib, Ic e Id incentros de los tringulos ABD, ABC, BCD y ADC respectivamente y adems los puntos de tangencia S y T de los incirculos con centros Ib e Id en la diagonal AC respectivamente y de manera similar los puntos de tangencia P y Q de los crculos con centros Ia e Ic en la diagonal BD, se cumple: a) IaIbIcId es un rectngulo, b) los segmentos PQ y ST son congruentes. Tenemos un rectngulo IaIbIcId cuyas diagonales son congruentes y tambin los segmentos formados por los puntos de tangencia PQ = ST. Construimos los tringulos rectngulos IaEIc e IbFId con: IcE = PQ = ST = IbF. Ambos tringulos rectngulos tienen hipotenusas congruentes: IaIc = IbId (diagonales del rectngulo IaIbIcId), Tambin tienen como catetos: IcE = IbF, IaE = ra + rc e IdF = rb + rd. Como dichos tringulos rectngulos tienen una hipotenusa y un cateto congruentes, entonces ambos tringulos son congruentes. Por lo tanto: IaE = IdF, luego: ra + rc = rb + rd QED. 5

Comentario: Tambin se conocen otras formas de demostracin, por ejemplo podemos indicar una reciente en la que se recurre al teorema de Thebault [9], otra en la que se utiliza el teorema de Carnot [10]. Obviando los mtodos que usan trigonometra y los mtodos analticos. Teorema: Sobre las Areas de Tringulos Tangenciales de un Tringulo. Si tenemos un tringulo ABC, con incrculo I, y excrculos I1, I2, I3, y denominamos al triangulo tangencial interno que tiene como vrtices a los puntos de tangencia del incrculo con sus lados cuya rea es S0, cada tringulo tangencial externo tiene como vrtices a los puntos de tangencia del excrculo respectivo con un lado y las prolongaciones de los lados adyacentes, cuyas reas son S1, S2 y S3, correspondientes a los excrculos I1, I2 e I3 respectivamente. 1 1 1 1 Ver Fig. 6. Demostrar que: = + + S0 S1 S2 S3

Demostracin: Ver Fig. 6 Considerando que las reas de dos tringulos con ngulos suplementarios son proporcionales a los productos de los lados que conforman dichos ngulos, como < A0IB0 + < C = 180, tenemos: [ IA 0 B0 ] = IA0 .IB0 = r 2 [ ABC] BC.AC a.b De forma similar: [ IB0C0 ] = IB0 .IC0 = r 2 [ ABC] AC.AB b.c

[ IA 0C0 ] = IA0 .IC0 = r 2 [ ABC] BC.AB a.c

Entonces: [ IA0 B0 ] + [ IB0 C0 ] + [ IA0 C0 ]

r2 r2 r2 r2 (a + b + c) + + = a.b b.c a.c abc [ ABC] abc r(a + b + c) donde R = circunradio, r = inradio y Tomando en cuenta que: S = [ ABC] = = 4R 2 = S0 = [A0B0C0] = [IA0B0] + [IB0C0] + [IA0C0] Entonces: S0 r ........(1) = S 2R Tomando el excrculo I1, < A1I1C1 + < B = 180, tenemos: [ I1A1C1 ] = I1A1 .I1C1 = r12 [ ABC] BC.AC a.b Similarmente: [ I1A1B1 ] = I1A1 .I1B1 = r12 [ ABC] BC.AB a.c

[ I1B1C1 ] = I1B1 .I1C1 [ ABC] AC.AB

r12 b.c

Tambin: [ I1A1C1 ] + [ I1A1B1 ] [ I1B1C1 ]

[ ABC]

r12 r12 r12 r2 + = 1 (a + b c) a.b a.c b.c abc abc r1 (a + b c) donde: r1 = radio del excrculo I1 y = 4R 2

Tomando en cuenta que: S = [ ABC] =

S1= [A1B1C1] = [I1A1C1] + [I1A1B1] - [I1B1C1] Entonces: S1 r = 1 ........(2) S 2R 7

De forma similar, para los tringulos tangenciales de los otros excrculos: S2 r = 2 ........ (3) S 2R S3 r = 3 ........ (4) S 2R A partir de (1), (2), (3) y (4): S S S 2R 2R 2R 1 1 1 2R S + + = + + = 2R( + + ) = = S1 S2 S3 r1 r2 r3 r1 r2 r3 r S0 Finalmente: 1 1 1 1 = + + S0 S1 S2 S3 Comentario: Este teorema tambin se puede demostrar con otros mtodos [11], he conocido una demostracin con el uso del teorema de Gergonne-Anne [8]. Tambin se cumple: S0 = [A0B0C0] = [A1B2C3]. Las relaciones obtenidas mediante este mtodo se pueden obtener tambin aplicando el teorema de Euler [12] que establece una relacin entre las reas de un tringulo pedal correspondiente a un punto en un tringulo, que a continuacin enunciamos, su demostracin la dejamos como ejercicio para el estudiante. Teorema de Euler: Sea el tringulo ABC, con P un punto interior desde el cual trazamos las perpendiculares PA1, PB1, PC1 sobre los lados BC, CA, AB. (R 2 OP 2 ) Demostrar que: [ A1 B1C1 ] = [ ABC] 4R 2 Donde: O es circuncentro de ABC y R = circunradio de ABC. Nota: Si el punto P es exterior el factor (R2 - OP2) cambia a (OP2 - R2). Referencias:
[1] 100 Great Problems of Elementary Mathematics, v 39 , pp. 188-193, H. Drrie, Dover, 1965. [2] Vielecke, die einen Umkreis un einen Inkreis besitzen, pp. 69-74, Arnulf Reuschel, Praxis der Mathematik 21, 1979. [3] Exercises de Gomtrie, F.G.-M., pp.837-839, 6th Edition 1920, J. Gabay reprint, Paris, 1991. [4] http://mathworld.wolfram.com/PonceletsPorism.html [5] Ricardo Barroso C., Universidad de Sevilla, Espaa, mensaje personal. [6] Francisco Bellot Rosado, entrenador IMO Espaa, mensaje personal. [7] Nikolaos Dergiades, miembro de Hyacinthos, mensaje personal. [8] Darij Grinberg, miembro de Hyacinthos, mensaje personal. [9] An Application of Thebaults theorem, FG2002, Wilfred Reyes, http://forumgeom.fau.com [10]Geometry Step by Step, Website de Antonio Gutierrez, http://www.agutie.homestead.com [11]On the Areas of the Intouch and Extouch Triangles, FG2004, J.C. Salazar, http://forumgeom.fau.com [12]Problemas de Geometra-Planimetra, I. Shariguin, pp.112, Editorial MIR, 1989.
Juan Carlos Salazar caisersal@yahoo.com

QED.

Revista Escolar de la Olimpada Iberoamericana de Matemtica http://www.campus-oei.org/oim/revistaoim/

Edita: