Teorema

Demuestre que la suma de las 3 medianas de un triángulo es más grande que ¾ de su

perímetro.

Sergio Montenegro Ávila

. Resumen: En este artículo se realiza una prueba al Teorema que establece una
relación de ordenación entre las medianas y el perímetro de un triángulo, en el
cual se establece que, la suma de las 3 medianas de un triángulo es mayor que
las ¾ partes de la suma de los lados del triángulo. Para la prueba de este
teorema, empleamos algunos de los axiomas de incidencia de Hilbert,
partiremos de definiciones dadas por Euclides, y requeriremos de la
demostración de algunos lemas para la prueba del teorema.

1. Teorema
Este teorema fue tomado del libro Geometría, escrito por Armando Chávez y hace referencia al
ejercicio 2.6.50 del mismo. El problema establece que :”Demuestre que la suma de las tres
medianas de un triángulo es más grande que ¾ de su perímetro”. La Fig. 1 ilustra lo establecido
en este problema, importante recalcar que hablamos de líneas rectas, que pueden definirse
como las posiciones recorridas por un punto móvil que no cambia de dirección, de acuerdo
con Armando Chávez [1] y que el problema es aplicable a cualquier tipo de triangulo, por
lo que se buscara realizar la prueba con un triángulo general .

Figura 1. Sea un ∆ABC, con sus respectivas medianas CD, BF, AE. “La suma de las 3 medianas de un triángulo es más
grande que ¾ de su perímetro”.

1
 2. Axiomas de incidencia o de conexión Hilbert
David Hilbert, matemático del siglo XIX, en una de sus principales obras “Fundamentos de
la geometría”[2] (1899) presento su sistema axiomático, compuesto por un conjunto de
originalmente 20 proposiciones, en las cuales procuro reunir los principios fundamentales
simples de la geometría euclidiana. En este caso, emplearemos lo axiomas de Incidencia,
que establecen la conexión entre los conceptos primitivos, puntos, rectas y planos [1]. A
continuación, presentaremos los axiomas de incidencia o de conexión de Hilbert que
requeriremos para nuestra demostración, que denotaremos en este escrito como I1, I2, I4:
Primer axioma de Incidencia I1
“Dos puntos distintos A y B siempre determinan completamente una línea recta a, que
contiene cada uno de los puntos A y B”
Segundo axioma de Incidencia I2
“Para cada dos puntos diferentes A,B, existe no más de una línea que contiene cada uno de
los puntos A,B”
Cuarto axioma de Incidencia I4
“Tres puntos A,B,C, no situados en una misma línea recta, siempre determinan
completamente un plano α”.
3. Lema 1 (L1)
Con fines de probar el teorema, se demostrará el siguiente lema, denominado en este escrito
como (L1):
“En todo triángulo un lado es menor que la suma de los otros dos”
En este lema se afirma que para cualquier triangulo, cualquiera de sus lados, sin importar si
es el mayor, será menor que la suma de los otros dos lados. Este lema esta ilustrado en la
Fig. 2.

Figura 2. Para el ∆ ABC, se cumplen para sus lados las relaciones de ordenación, a< b+c , b<a+ c , c <a+ b.

2
Para probar el lema, demostraremos la desigualdad triangular, que, de forma análoga,
plantea lo mismo que el lema, es decir, que un lado es menor que la suma de los otros dos.
Para la prueba de este lema, requeriremos de dos propiedades esenciales de las
desigualdades y del valor absoluto, denotadas en este escrito como P1 y P2,
respectivamente:
Propiedad 1 de las desigualdades (P1):
|x|<a si y solo si−a< x< a
Propiedad 2 de las desigualdades (P2)
−|x|< x <|x|
Una vez conocidas estas propiedades esenciales de las desigualdades, procederemos a
enunciar el lema y posteriormente a su prueba.
Hipótesis del lema:
Sean X, Y, dos números enteros.
Tesis del lema
|x + y|=|x|+| y|
Prueba del lema
Tenemos dos números x, y, por lo que aplicaremos (P2) para ambos números, quedándonos
las ecuaciones (1) y (2) respectivamente:
−|x|< x <|x|(1)
−| y|< y<| y|(2)
Ahora procederemos a sumar las ecuaciones (1) y (2), dando lugar a la ecuación (3):
−|x|−| y|< x + y <|x|+| y|(3)
Y seguiremos operando con esta ecuación:
−(|x|+| y|)< x+ y<|x|+| y|

Ahora diremos que a=|x|+| y|. Ahora reemplazaremos este valor en (3):
−a< x+ y < a
Luego, según (P1) la ecuación (3) puede reescribirse de la forma:
|x + y|< a
Pero a=|x|+| y|. Ahora reemplazaremos este en la ecuación resultante:

3
 |x + y|<|x|+| y|∎
4. Lema 2 (L2)
Con fines de probar el teorema, se demostrará también el siguiente lema, denominado en
este escrito como (L2):
“En todo triángulo, las medianas concurren a un punto que divide a cada una de ellas en la
razón 2:1 a partir del vértice”
En este lema se afirma que para cualquier triangulo, al trazar las medianas, estas
concurrirán en un punto O, conocido en geometría como el punto G, o baricentro, que se
caracteriza por dividir a cada una de las medianas en razón 2:1 a partir del vértice. Este
lema esta ilustrado en la Fig. 3.
Para probar el lema, emplearemos los axiomas de Incidencia de Hilbert anteriormente
mencionados y requeriremos el concepto de mediana, que se define como una ceviana que
une un vértice con el punto medio del lado opuesto.
Hipótesis del lema:
En el triángulo ABC, las medianas que parten de A y de C se cortan en O.
Tesis del lema:
La mediana que parte de B pasa por O y además AO:OD=2:1.
Prueba del lema:
Primero, partimos de que poseemos tres puntos no colineales, A, B, C, luego, gracias a (I3),
estos tres puntos determinan un plano, α, que contiene a los 3 puntos. Ahora, entre estos
tres puntos, trazaremos las rectas AB, AC, BC, gracias a (I1) y por (I2) sabemos que estas
rectas son únicas. Ahora quedara determinado por los puntos de corte de las rectas, el ∆
ABC.

a) b)

Figura 3. Medianas del ∆ABC, AD, CF, BE, que concurren en O, con los dos casos posibles a) y b).

4
Ahora por la hipótesis, trazamos las medianas que parten de A y de C, las medianas AD y
CD, respectivamente, y estas se cortan en O. Copiaremos DH=AD, en la prolongación de
AD, luego trazamos el paralelogramo que tiene b y c como lados consecutivos y trazo BI ||
CF (que es la mediana que parte de C), entonces FB=AB/2=CH/2.
Y como BI || CF de los triángulos ∆ABK y ∆COH, tenemos entonces que AO=OK y
OK=KH. Luego AO=OK=KH=1/3 AH. Pero AH=2AD. Así que procederemos a operar con
esta relación, ilustrada en la ecuación (4):

1 1
AO= AH = ( 2 AD ) (4 )
3 3
1 1
AO= AH = ¿
3 3
1 1 1 2 2 1 2 2
AH = ( 2 AO +2OD ) AH = AO + OD AH − AO= OD
3 3 3 3 3 3 3 3
1
Pero sabemos que AH =AO . Así que procederemos a reemplazar:
3
2 2 1 2
AO− AO = OD AO= OD
3 3 3 3
Simplificando nos queda:
3 AO 2
AO=2OD AO=2 OD luego =
3 OD 1
De forma análoga, si hubiéramos llamado a O al corte sobre AD, en la mediana que parte de
B (Caso b), hubiéramos obtenido el mismo resultado AO=2OD. Luego, las tres medianas
concurren en O. Finalmente AO:OD=2:1. ∎
5. Teorema
Enunciado del teorema
“Demuestre que la suma de las 3 medianas de un triangulo es más grande que ¾ de su
perímetro”
Hipótesis del teorema
Sean A, B, C, tres puntos no colineales, luego existe el ∆ ABC. Sean AE, BF, CD, medianas
del ∆ ABC.
Tesis del teorema
AE+BF+CD > ¾ P

5
Prueba del teorema
De acuerdo con la hipótesis, tenemos tres puntos no colineales A, B,C, los cuales gracias a
(I3), determinan un plano, α, que contiene a los 3 puntos. Ahora, entre estos tres puntos,
están las rectas AB, AC, BC, gracias a (I1) y por (I2) sabemos que estas rectas son únicas.
Ahora quedara determinado por los puntos de corte de las rectas, el ∆ ABC.
Ahora, trazamos las medianas AE, BF, CD en el ∆ ABC, como se ilustra en la Fig. 4.

1 1

2 2

Figura 4. Sea un ∆ABC, con sus respectivas medianas CD, BF, AE. Cada mediana queda divida en razón 2:1 a partir del
vértice, al cortarse en el punto O.

En el ∆ ABG, gracias a (L1) y (L2), plantearemos la siguiente relación de ordenación.

2 2
c < AE+ BF (5)
3 3
Ahora, en el ∆ BGC, gracias a (L1) y (L2), plantearemos la siguiente relación de
ordenación.
2 2
a< BF + CD(6)
3 3
De forma análoga, para el ∆ CGA:
2 2
b< CD+ AE (7)
3 3
Ahora procederemos a sumar las ecuaciones (5), (6) y (7), dando lugar a la ecuación (8) y
luego operaremos con esta:

6
 2 2 2 2 2 2
a+ b+c < AE+ BF + BF + CD+ CD+ AE (8)
3 3 3 3 3 3
4 4 4
a+ b+c < AE+ BF+ CD
3 3 3
4
a+ b+c < ( AE+ BF+CD )
3
Simplificando:
3(a+b+ c)<4 ( AE+BF +CD)
3
(a+b+ c)< AE+ BF+ CD
4
Pero Perimetro ( P )=¿ ) , luego, la inecuación queda de la siguiente forma, reemplazando:
3 3
P< AE+ BF+ CD ó AE +BF +CD> P ∎
4 4

6. Referencias
[1] Chávez. A. 2015. Geometría.
[2] Hilbert. D. 1899. Foundations of Geometry. Open Court.

Sergio Montenegro Ávila. Universidad Autónoma de Manizales

Correo electrónico: sergio.montenegroa@autonoma.edu.co