Introducción

En la entrada puntos nobles del triangulo, vimos que las medianas de un triangulo concurren en un punto, al que llamamos centroide, y que este punto tiene la propiedad de trisecar a las medianas. En esta entrada estudiaremos algunas propiedades más de las medinas y el centroide.

Medianas como los lados de un triángulo

Teorema 1. Si con las medianas de un triángulo dado construimos otro triangulo, entonces cada mediana del triángulo construido es igual a tres cuartos uno de los lados del triángulo dado.

Demostración. Sean $\mathrm{△}ABC$ y $AA´$, $B{B}^{\prime }$ y $C{C}^{\prime }$ las medianas del triángulo.

Construimos $D\in C^{\prime }{B}^{\prime }$ tal que $C^{\prime }{B}^{\prime }=B^{\prime }D$, como $C´B´$ es un segmento medio de $\mathrm{△}ABC$ entonces $C^{\prime }{B}^{\prime }\parallel BC$ y $2C^{\prime }{B}^{\prime }=BC$.

Lo anterior implica que $\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}{B}^{\prime }B{A}^{\prime }D$ es un paralelogramo y por lo tanto $B{B}^{\prime }=A^{\prime }D$.

Como las diagonales de $\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}A{C}^{\prime }CD$ se cortan en su punto medio entonces $\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}A{C}^{\prime }CD$ es un paralelogramo, por lo tanto, $C{C}^{\prime }=AD$, entonces los lados de $\mathrm{△}A{A}^{\prime }D$ son las medianas de $\mathrm{△}ABC$, por criterio LLL, cualquier otro triangulo con los mismos lados será congruente con $\mathrm{△}A{A}^{\prime }D$.

Sea $E=A{A}^{\prime }\cap C^{\prime }{B}^{\prime }$, como $A^{\prime }{C}^{\prime }$ es un segmento medio de $\mathrm{△}ABC$ entonces $\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}A{C}^{\prime }{A}^{\prime }{B}^{\prime }$ es un paralelogramo, por lo tanto, $E$ es el punto medio de $A{A}^{\prime }$ y de $C^{\prime }{B}^{\prime }$.

Por lo anterior tenemos que $DE$ es mediana de $\mathrm{△}AD{A}^{\prime }$ y que $DE={\displaystyle \frac{3}{4}}$, pues por construcción $C^{\prime }{B}^{\prime }=B^{\prime }D$.

Dado que $C^{\prime }D=BC$ $\Rightarrow DE={\displaystyle \frac{3}{4}}BC$.

Con una construcción similar podemos ver que las otras medianas de $\mathrm{△}AD{A}^{\prime }$ son iguales a ${\displaystyle \frac{3}{4}}AC$ y ${\displaystyle \frac{3}{4}}AB$.

Observación. Notemos que si seguimos este proceso de construir triángulos con las medianas del triángulo anterior obtenemos dos grupos de triángulos semejantes, un grupo conformado por el primer, el tercer, el quinto triángulo etc. En el otro grupo estarían el segundo, el cuarto triángulo … ambos con razón de semejanza ${\displaystyle \frac{3}{4}}$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Corolario 1. El área de un triángulo construido con las medianas de un triángulo dado, es igual a tres cuartos el área del triángulo dado.

Demostración. El área de $\mathrm{△}AD{A}^{\prime }$ (figura 1) es igual a la suma de las áreas de $\mathrm{△}EDA$ y $\mathrm{△}ED{A}^{\prime }$ que tienen la misma base $ED$ y la suma de sus alturas es igual a la altura de $\mathrm{△}ABC$ y por el teorema 1, $DE={\displaystyle \frac{3}{4}}BC$.

Por lo tanto,
$(\mathrm{△}AD{A}^{\prime })=(\mathrm{△}EDA)+(\mathrm{△}ED{A}^{\prime })={\displaystyle \frac{ED\times h_1}{2}}+{\displaystyle \frac{ED\times h_2}{2}}$
$={\displaystyle \frac{3}{4}}{\displaystyle \frac{BC(h_1+h_2)}{2}}={\displaystyle \frac{3}{4}}(\mathrm{△}ABC)$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Construcciones

Problema 1. Construir un triángulo dadas las longitudes de sus medianas $m_a$, $m_b$ y $m_c$.

Por el teorema 1, sabemos que las medianas del triángulo cuyos lados son $m_a$, $m_b$ y $m_c$, están en proporción ${\displaystyle \frac{3}{4}}$ a los lados del triángulo buscado.

Para encontrar las medianas del triángulo con lados $m_a$, $m_b$ y $m_c$, podemos construir este triangulo y luego sus medianas o podemos calcular sus longitudes con el teorema de Apolonio.

Después, multiplicamos cada valor obtenido por ${\displaystyle \frac{4}{3}}$ y así obtendremos los lados del triangulo requerido.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Problema 2. Dados una circunferencia y un punto dentro de esta, es posible inscribir en la circunferencia una infinidad de triángulos que tienen como centroide el punto dado.

Demostración. Sean $\mathrm{\Gamma }(O)$ y $G$ la circunferencia y el punto dado, tomamos $A\in \mathrm{\Gamma }(O)$, sobre la recta $AG$ construimos $A^{\prime }$ tal que $G{A}^{\prime }={\displaystyle \frac{AG}{2}}$.

Si $A^{\prime }$ cae dentro de $\mathrm{\Gamma }(O)$ por $A^{\prime }$ trazamos una perpendicular a $O{A}^{\prime }$ que interseca a $\mathrm{\Gamma }(O)$ en $B$ en $C$, como $\mathrm{△}BOC$ es isósceles y $O{A}^{\prime }$ es la altura por $O$, entonces $A^{\prime }$ es el punto medio de $BC$.

En $\mathrm{△}ABC$ se cumple que $A{A}^{\prime }$ es mediana y $G$ triseca a $A{A}^{\prime }$, como el centroide de un triángulo es el único que tienen esa propiedad, entonces $G$ es el centroide de $\mathrm{△}ABC$.

Notemos que $A$ y $A^{\prime }$ están en homotecia con centro en $G$ y razón ${\displaystyle \frac{-1}{2}}$, como $A$ describe una circunferencia, $A^{\prime }$ describe una circunferencia.

Entonces hay dos posibilidades, que la homotecia de $\mathrm{\Gamma }(O)$ este totalmente contenida dentro de ella, con lo que con cualquier punto $A$ de $\mathrm{\Gamma }(O)$ será posible hacer la construcción previa, o la homotecia de $\mathrm{\Gamma }(O)$ este parcialmente contenida dentro de $\mathrm{\Gamma }(O)$ y solo con un arco de $\mathrm{\Gamma }(O)$ será posible hacer la construcción.

Finalmente, notemos que no es posible que la homotecia de $\mathrm{\Gamma }$ se encuentre completamente fuera de esta pues $G$ es un punto interior de $\mathrm{\Gamma }$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Una propiedad del centroide

Lema. Sea $P$ un punto dentro de un triángulo $\mathrm{△}ABC$, entonces las áreas $(\mathrm{△}APB)=(\mathrm{△}APC)$ si y solo si $P$ se encuentra en la mediana $A{A}^{\prime }$.

Demostración. Supongamos que $(\mathrm{△}APB)=(\mathrm{△}APC)$. Como $\mathrm{△}APB$ y $\mathrm{△}APC$ tienen la misma base $AP$ entonces sus alturas son iguales es decir la distancia de $B$ a $AP$ es igual a la distancia de $C$ a $AP$.

Ahora consideremos $A^{\prime }=AP\cap BC$, los triángulos $\mathrm{△}{A}^{\prime }PB$ y $\mathrm{△}{A}^{\prime }CP$ tienen la misma base $P{A}^{\prime }$, por lo anterior sus alturas por B y C respectivamente también son iguales y así sus áreas son iguales $(\mathrm{△}{A}^{\prime }PB)=(\mathrm{△}{A}^{\prime }CP)$.

Por otro lado, para ambos triángulos, $\mathrm{△}{A}^{\prime }PB$ y $\mathrm{△}{A}^{\prime }CP$, la altura trazada por $P$ es la misma, esto implica que las respectivas bases son iguales, es decir $B{A}^{\prime }=A^{\prime }C$.

Por lo tanto, $P$ está en la mediana trazada por $A$.

Recíprocamente supongamos que $P$ es un punto en la mediana $A{A}^{\prime }$, como los pares de triángulos $\mathrm{△}B{A}^{\prime }A$, $\mathrm{△}{A}^{\prime }CA$ y $\mathrm{△}B{A}^{\prime }P$, $\mathrm{△}{A}^{\prime }CP$ tienen la misma altura desde $A$ y $P$ respectivamente, entonces
$(\mathrm{△}B{A}^{\prime }A)=(\mathrm{△}{A}^{\prime }CA)$ y $(\mathrm{△}B{A}^{\prime }P)=(\mathrm{△}{A}^{\prime }CP)$,

Por lo tanto,
$(\mathrm{△}B{A}^{\prime }A)–(\mathrm{△}B{A}^{\prime }P)=(\mathrm{△}{A}^{\prime }CA)–(\mathrm{△}{A}^{\prime }CP)$
$\Rightarrow (\mathrm{△}APB)=(\mathrm{△}APC)$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Teorema 2. Sea $G$ un punto dentro de un triángulo $\mathrm{△}ABC$, entonces $(\mathrm{△}AGB)=(\mathrm{△}AGC)=(\mathrm{△}BGC)$ si y solo si $G$ es el centroide de $\mathrm{△}ABC$.

Demostración. Supongamos que $(\mathrm{△}AGB)=(\mathrm{△}AGC)=(\mathrm{△}BGC)$, por el teorema anterior esto ocurre si y solo si $G$ está en la intersección de las medianas, si y solo si $G$ es el centroide de $\mathrm{△}ABC$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Proposición 1. Sean $\mathrm{△}ABC$ con $BC=a$, $AC=b$ y $AB=c$. Sean $G$ el centroide y $P$, $Q$, $R$ los pies de las perpendiculares desde $G$ a los lados $AB$, $BC$ y $AC$ respectivamente, entonces
$(\mathrm{△}PQR)={\displaystyle \frac{4}{9}}(\mathrm{△}ABC{)}^3({\displaystyle \frac{a^2+b^2+c^2}{a^2{b}^2{c}^2}})$.

Demostración. Por el teorema 3, $\mathrm{△}AGB$, $\mathrm{△}AGC$ y $\mathrm{△}BGC$ tienen la misma área, entonces
$(\mathrm{△}BGC)={\displaystyle \frac{BC\times GQ}{2}}$
$\Rightarrow GQ={\displaystyle \frac{2(\mathrm{△}BGC)}{a}}={\displaystyle \frac{2(\mathrm{△}ABC)}{3a}}$.

De manera análoga tenemos que
$GP={\displaystyle \frac{2(\mathrm{△}ABC)}{3c}}$ y $GR={\displaystyle \frac{2(\mathrm{△}ABC)}{3b}}$.

Notemos que en $\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}PBQG$, $\mathrm{\angle }P+\mathrm{\angle }Q=\pi$, en consecuencia tenemos que
$\mathrm{\angle }G+\mathrm{\angle }B=\pi$
$\Rightarrow \sin \mathrm{\angle }PGQ=\sin \mathrm{\angle }B$

Recordemos que podemos calcular el área de $\mathrm{△}ABC$ con la formula ${\displaystyle \frac{ac\sin \mathrm{\angle }B}{2}}$.

Ahora calculamos
$(\mathrm{△}PGQ)={\displaystyle \frac{GP\times GQ\sin \mathrm{\angle }B}{2}}$

$={\displaystyle \frac{4(\mathrm{△}ABC{)}^2}{9ac}}{\displaystyle \frac{(\mathrm{△}ABC)}{ac}}$

$={\displaystyle \frac{4(\mathrm{△}ABC{)}^3}{9a^2{c}^2}}$.

De lo anterior se sigue que
$(\mathrm{△}PQR)=(\mathrm{△}PGQ)+(\mathrm{△}QGR)+(\mathrm{△}RGP)$

$={\displaystyle \frac{4(\mathrm{△}ABC{)}^3}{9a^2{c}^2}}+{\displaystyle \frac{4(\mathrm{△}ABC{)}^3}{9a^2{b}^2}}+{\displaystyle \frac{4(\mathrm{△}ABC{)}^3}{9b^2{c}^2}}$

$={\displaystyle \frac{4}{9}}(\mathrm{△}ABC{)}^3({\displaystyle \frac{a^2+b^2+c^2}{a^2{b}^2{c}^2}})$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Distancia entre el centroide y el circuncentro

Teorema 3. Sean $\mathrm{△}ABC$, $G$ su centroide y $P$ un punto en el plano, entonces tenemos la siguiente igualdad
$P{A}^2+P{B}^2+P{C}^2=G{A}^2+G{B}^2+G{C}^2+3P{G}^2$.

Demostración. Consideremos $A^{\prime }$ y $M$ puntos medios de $BC$ y $AG$ respectivamente, con el teorema de Apolonio podemos calcular las medianas de los triángulos $\mathrm{△}BPC$, $\mathrm{△}{A}^{\prime }PM$ y $\mathrm{△}GPA$ y tomemos en cuenta que $GA=M{A}^{\prime }$.

Por lo tanto,
$P{B}^2+P{C}^2=2P{A}^{\prime 2}+{\displaystyle \frac{B{C}^2}{2}}$,
$P{G}^2+P{A}^2=2P{M}^2+{\displaystyle \frac{G{A}^2}{2}}$,
$P{A}^{\prime 2}+P{M}^2=2P{G}^2+{\displaystyle \frac{M{A}^{\prime 2}}{2}}=2P{G}^2+{\displaystyle \frac{G{A}^2}{2}}$.

Sumando las tres expresiones y recordando que $GA=2G{A}^{\prime }$, obtenemos
$P{A}^2+P{B}^2+P{C}^2=(P{A}^{\prime 2}+P{M}^2)+P{G}^2+G{A}^2+{\displaystyle \frac{B{C}^2}{2}}$
$=2P{G}^2+{\displaystyle \frac{G{A}^2}{2}}+P{G}^2+G{A}^2+{\displaystyle \frac{B{C}^2}{2}}$
$=3P{G}^2+G{A}^2+2G{A}^{\prime 2}+{\displaystyle \frac{B{C}^2}{2}}$.

Ahora aplicamos el teorema de Apolonio a $\mathrm{△}BGC$ y obtenemos
$G{B}^2+G{C}^2=2G{A}^{\prime 2}+{\displaystyle \frac{B{C}^2}{2}}$.

Por lo tanto,
$P{A}^2+P{B}^2+P{C}^2=3P{G}^2+G{A}^2+G{B}^2+G{C}^2$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Proposición 2. La suma de los cuadrados de las distancias del centroide de un triángulo a sus vértices es igual a un tercio la suma de los cuadrados de los lados del triángulo.

Demostración. Sea $\mathrm{△}ABC$ con $a=BC$, $b=AC$ y $c=AB$, con la formula para las medianas obtenemos:
$G{A}^2={\displaystyle \frac{4}{9}}A{A}^{\prime 2}={\displaystyle \frac{4}{9}}({\displaystyle \frac{b^2+c^2}{2}}–{\displaystyle \frac{a^2}{4}})$,
$G{B}^2={\displaystyle \frac{4}{9}}B{B}^{\prime 2}={\displaystyle \frac{4}{9}}({\displaystyle \frac{a^2+c^2}{2}}–{\displaystyle \frac{b^2}{4}})$,
$G{C}^2={\displaystyle \frac{4}{9}}C{C}^{\prime 2}={\displaystyle \frac{4}{9}}({\displaystyle \frac{a^2+b^2}{2}}–{\displaystyle \frac{c^2}{4}})$.

Por lo tanto,
$G{A}^2+G{B}^2+G{C}^2={\displaystyle \frac{a^2+b^2+c^2}{3}}$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Corolario 2. La distancia entre el centroide $G$ y el circuncentro $O$ de un triángulo $\mathrm{△}ABC$ con circunradio $R$ se puede expresar de la siguiente forma:

$O{G}^2=R^2–({\displaystyle \frac{a^2+b^2+c^2}{9}})$.

Demostración. Por el teorema 3 y la proposición 2 tenemos lo siguiente
$3R^2=O{A}^2+O{B}^2+O{C}^2=3O{G}^2+G{A}^2+G{B}^2+G{C}^2$
$=3O{G}^2+{\displaystyle \frac{a^2+b^2+c^2}{3}}$.

Despejando $O{G}^2$ obtenemos el resultado
$O{G}^2=R^2–({\displaystyle \frac{a^2+b^2+c^2}{9}})$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Más adelante…

En la siguiente entrada estudiaremos algunas propiedades de un triangulo especial asociado a un triangulo dado, aquel que tiene como vértices los puntos medios del triangulo dado. Esto nos permitirá mostrar que el ortocentro, el centroide y el circuncentro de un triángulo siempre son colineales.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

1. Construye un triángulo dados dos vértices y el centroide.
2. Prueba que en un triángulo la recta que une el punto medio de una de sus medianas con uno de los vértices del triángulo triseca el lado opuesto al vértice considerado.
3. Muestra que las medianas de un triángulo dividen al triangulo en seis triángulos que tienen la misma área.
4. Demuestra que en un triangulo,
   $i)$ entre cualesquiera dos de sus medianas la menor de ellas biseca al lado mas grande,
   $ii)$ si dos de sus medianas son iguales entonces el triangulo es isósceles.
5. Sean $\mathrm{△}ABC$ y $A{A}^{\prime }$, $B{B}^{\prime }$, $C{C}^{\prime }$ sus medianas, muestra que $\frac{3}{4}(A{B}^2+B{C}^2+A{C}^2)=A{A}^{\prime 2}+B{B}^{\prime 2}+C{C}^{\prime 2}$.
6. Sea $\mathrm{△}ABC$ con medianas $A{A}^{\prime }$, $B{B}^{\prime }$ y $C{C}^{\prime }$, sean $m=A{A}^{\prime }+B{B}^{\prime }+C{C}^{\prime }$ y $s=AB+BC+CA$, muestra que $\frac{3}{2}s>m>\frac{3}{4}s$.

Entradas relacionadas

• Ir a Geometría Moderna I.
• Entrada anterior del curso: Desigualdades geométricas.
• Siguiente entrada del curco: Triángulo medial y recta de Euler.
• Otros cursos.

Fuentes

• Altshiller, N., College Geometry. New York: Dover, 2007, pp 65-71.
• Gomez, A. y Bulajich, R., Geometría. México: Instituto de Matemáticas, 2002, pp 80-84.
• Posamentier, A. y Salkind, C; Challenging Problems in Geometry. New York: Dover, 1996, pp 14.

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»