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).
1 1 1
Demostrar que: 2
= 2
+ (Ver Fig.1)
r (R + d) (R d) 2

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.
1
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 + 2 ................. (1)
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
1 1 1
Finalmente, combinando (1), (2) y (3): 2
= 2
+ QED.
r (R + d) (R d) 2

2
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:
[ ABC] = 1 . (I)
2

[ DEF] k
2 2

Por la homotecia:
[ A1B1C1 ] = k 2 (II)
[ ABC]
De (I) y (II):
[ DEF] = [ ABC].[ A1B1C1 ]
2
QED.

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
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
Demostrar que: = + + Ver Fig. 6.
S0 S1 S2 S3

6
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)
[ ABC] a.b b.c a.c abc
abc r(a + b + c)
Tomando en cuenta que: S = [ ABC] = = donde R = circunradio, r = inradio y
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 =
r12
[ ABC] AC.AB b.c

Tambin:
[ I1A1C1 ] + [ I1A1B1 ] [ I1B1C1 ] =
r12 r12 r12
+
r2
= 1 (a + b c)
[ ABC] a.b a.c b.c abc
abc r1 (a + b c)
Tomando en cuenta que: S = [ ABC] = = donde: r1 = radio del excrculo I1 y
4R 2

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
= + + QED.
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
8
Revista Escolar de la Olimpada Iberoamericana de
Matemtica

http://www.campus-oei.org/oim/revistaoim/

Edita: