Geometría Moderna I: Desigualdades geométricas

Por Rubén Alexander Ocampo Arellano

Introducción

En esta entrada, con la ayuda de varias fórmulas y resultados que hemos visto hasta ahora, mostraremos algunas desigualdades geométricas básicas e importantes, entre ellas la desigualdad entre las medias geométrica y aritmética, y la desigualdad de Erdos Mordell.

Medias armónica, geométrica, aritmética y cuadrática

Teorema 1. Dados dos segmentos de longitudes a y b tenemos las siguientes desigualdades:
2aba+baba+b2a2+b22.

De izquierda a derecha estas cantidades se conocen como media armónica, media geométrica, media aritmética y media cuadrática de a y b.

Demostración. Tracemos un semicírculo tomando como diámetro un segmento BC  de longitud a+b y sea DBC tal que BD=a y DC=b, en D levantamos una perpendicular a BC que corta al arco CB en A, entonces ABC es un triángulo rectángulo con A=π2.

Por criterio de semejanza AA ADBCDA y tenemos que ADCD=BDAD.

Por lo tanto AD es la media geométrica de BD y DC, esto es AD2=BD×CD.

Figura 1

Consideremos O el punto medio de BC, sea EAO tal que DEAO, como ADOAED entonces
ADAE=AOAD
AE=2AD22AO=2BD×DCBC=2aba+b.

Por el teorema de Pitágoras en AED
AD2=AE2+DE2AEAD2aba+bab.

Por el teorema de Pitágoras en ADO
AO2=AD2+DO2ADAOaba+b2.

Ahora tracemos OF el radio perpendicular a BC, entonces
OD=a+b2a=ba2.

Aplicando el teorema de Pitágoras a ODF obtenemos,
DF2=OF2+OD2=(ba2)2+(a+b2)2=a2+b22.

Como OFDFa+b2a2+b22.

◼

Corolario. Sean w, x, y, z números reales positivos entonces:
wxyz(w+x+y+z4)4, y la igualdad se da si y solo si w=x=y=z.

Demostración. Aplicamos la desigualdad entre las medias geométrica y aritmética a los pares de números w, x; y, z.
wxw+x2, yzy+z2.

Por lo tanto, wxyz(w+x2)(y+z2).

Ahora volvemos a usar la desigualdad entre las medias geométrica y aritmética
(w+x)2(y+z)2w+x2+y+z22=w+x+y+z4

Por lo tanto, wxyz4(w+x)2(y+z)2w+x+y+z4.

En consecuencia, wxyz(w+x+y+z4)4.

◼

Desigualdad de Erdos Mordell

Lema de Mordell. Sea ABC y P un punto en su interior, considera D, E y F las proyecciones de P a los lados BC, AC y AB respectivamente, entonces PAsinAPFsinB+PEsinC.

Demostración. Notemos que la circunferencia con diámetro PA pasa por F y por E, pues AP subtiende ángulos rectos en F y E.

Figura 2

Por la ley extendida de los senos,
sinBAC=sin(πBAC)=sinEPF=EFPA, esto implica que PAsinA=EF.

Sean G y H las proyecciones de E y F respectivamente en la recta que pasa por P y D.

◻FBDP es cíclico, pues PB subtiende ángulos rectos en F y D, entonces DBA y FPD son y suplementarios por lo tanto sinDBA=sinHPF=FHFP.

Como resultado FPsinB=FH, igualmente podemos ver que PEsinC=EG.

Sea I=EFHP, por el teorema de Pitágoras podemos ver que IEGE y FIFH,

Por lo tanto, PAsinAPFsinB+PEsinC.

◼

Teorema 2, desigualdad de Erdos Mordell. Sea ABC y P un punto en su interior, considera D, E y F las proyecciones de P a los lados BC, AC y AB respectivamente, entonces PA+PB+PC2(PD+PE+PF).

Demostración. Debido al lema anterior tenemos lo siguiente:
PAPFsinBsinA+PEsinCsinA,
PBPFsinAsinB+PDsinCsinB,
PCPEsinAsinC+PDsinBsinC.

Sumamos estas tres desigualdades
PA+PB+PC

PF(sinBsinA+sinAsinB)+PE(sinCsinA+sinAsinC)+PD(sinBsinC+sinCsinB)

=PF(sin2A+sin2BsinAsinB)+PE(sin2A+sin2CsinAsinC)+PD(sin2B+sin2CsinBsinC).

Sustituimos a y b por a2 y b2 en la desigualdad entre las medias geométrica y aritmética
a2+b22a2b2, por lo tanto, a2+b2ab2.

Aplicamos esto a nuestra suma y como resultado obtenemos
PA+PB+PC2(PD+PE+PF).

◼

Problema 1. Sea ABC e I su incentro, considera P, Q y R los puntos medios de los arcos BC, CA y AB que no contienen a los vértices de ABC, entonces IP+IQ+IRIA+IB+IC.

Solución. Sean D=PQCR, E=QRAP y F=RPBQ.

Figura 3

Por la entrada anterior sabemos que Q es el centro de una circunferencia que pasa por I, A y C, y que R es el centro de una circunferencia que pasa por I, A y B, entonces QA=QI y RA=RI.

Por lo tanto, ◻ARIQ es un rombo, de esto se sigue que QRAI y AE=IE.

Igualmente vemos que RPBI, BF=IF y PQCI, CD=ID.

Aplicamos la desigualdad de Erdos Mordell a PQR y al punto I
IP+IQ+IR2(ID+IE+IF)=2(IC2+IA2+IB2).

En conclusión, IP+IQ+IRIA+IB+IC.

◼

Desigualdades de Euler y de Padoa

Proposición 1, desigualdad de Euler. El circunradio R y el inradio r de todo triangulo cumplen R2r y la igualdad se cumple si y solo si el triángulo es equilátero.

Demostración. La fórmula de Euler nos asegura que 0OI2=R(R2r)=R22Rr, donde I es el incentro y O el circuncentro del triángulo.

Como resultado, R2r.

◼

Proposición 2, desigualdad de Padoa. Sea ABC con lados c=AB, a=BC y b=AC entonces abc(a+bc)(a+cb)(b+ca).

Demostración. Sean s=a+b+c2, R el circunradio y r el inradio de ABC, entonces tenemos las siguientes fórmulas para el área de ABC:
(ABC)=s(sa)(sb)(sc)=abc4R=rs.

Notemos lo siguiente
(a+bc)(a+cb)(b+ca)=(2s2)(2s2b)(2s2a)=8(sc)(sb)(sa)
=8(ABC)2s=8r2s2s=8r2s.

Por otro lado, abc=4Rrs.

Por lo tanto, la desigualdad que queremos mostrar es equivalente a 8r2s4Rrs que a su vez es equivalente a 2rR, lo cual es cierto por la proposición anterior.

◼

Transformación de Ravi

Recordemos que las tangentes desde un punto a una circunferencia son iguales, por lo que los puntos de tangencia del incírculo de un triángulo, divide al perímetro del triángulo en tres pares de segmentos iguales, así que podemos expresar a los lados de un triángulo de esta manera para resolver algunas desigualdades geométricas.

a=BC=y+z, b=AC=x+z, c=AB=x+y.

Figura 4

Problema 2. Para los ángulos internos de un triángulo ABC tenemos la siguiente desigualdad.
sinA2sinB2sinC218.

Solución. Usando la identidad para el seno del ángulo medio y la ley de los cosenos tenemos:
sin2A2=12(1cosA)=12(1+a2(b2+c2)2bc)
=a2(bc)24bc=y2+2yz+z2(zy)24bc=yzbc.

Igualmente tenemos
sin2B2=xzac y sin2C2=xyab.

A continuación despejamos y hacemos el producto
sinA2sinB2sinC2=yzxzxyabc.

Ahora aplicamos la desigualdad entre las medias geométrica y aritmética
yzxzxyabc1abc(y+z2)(x+z2)(x+y2)=abc8abc=18.

Por lo tanto, sinA2sinB2sinC218.

◼

Desigualdad de Nesbitt

Proposición 3. Sean a, b y c tres números positivos entonces la siguiente desigualdad es cierta
(a+b+c)(1a+1b+1c)9.

Demostración. La desigualdad entre las medias geométrica y aritmética puede ser vista como
ab+ba2abba=2.

Por lo tanto,
(a+b+c)(1a+1b+1c)=ab+ba+ac+ca+bc+cb+36+3=9.

◼

Proposición 4. Desigualdad de Nesbitt. Para cualesquiera números positivos a, b, c ocurre que ab+c+ba+c+ca+b32.

Demostración.
ab+c+ba+c+ca+b
=ab+c+b+cb+c+ba+c+a+ca+c+ca+b+a+ba+b3
=a+b+cb+c+a+b+ca+c+a+b+ca+b3
=(a+b+c)(1b+c+1a+c+1a+b)3
=12((a+b)+(a+c)+(b+c))(1b+c+1a+c+1a+b)3
923=32.

Donde la última desigualdad se obtiene al aplicar la proposición anterior.

Por lo tanto, ab+c+ba+c+ca+b32.

◼

Desigualdad de Weitzenböck

Proposición 5. Desigualdad de Weitzenböck. Si a, b, c son las longitudes de los lados de ABC entonces a2+b2+c243(ABC).

Demostración. De acuerdo a la fórmula de Herón
(ABC)=s(sa)(sb)(sc)
=(a+b+c2)(b+ca2)(a+cb2)(a+bc2)
=142(a2b2+a2c2+b2c2)(a4+b4+c4).

Por otro lado
(1)(a2b2)2+(b2c2)2+(c2a2)20

2(a4+b4+c4)2(a2b2+a2c2+b2c2)0
43(a4+b4+c4)43(a2b2+a2c2+b2c2)
43(a4+b4+c4)+3(a4+b4+c4)+2(a2b2+a2c2+b2c2)3
43(a2b2+a2c2+b2c2)+3(a4+b4+c4)+2(a2b2+a2c2+b2c2)3
a4+b4+c4+2(a2b2+a2c2+b2c2)32(a2b2+a2c2+b2c2)(a4+b4+c4)
(a2+b2+c2)232(a2b2+a2c2+b2c2)(a4+b4+c4)=(4(ABC))2.
a2+b2+c243(ABC).

De la desigualdad (1) podemos notar que la igualdad ocurre si y solo si a=b=c, es decir el triángulo es equilátero.

◼

Más adelante…

En la próxima entrada estudiaremos algunas propiedades de las medianas y el centroide de un triángulo.

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. Sea P un punto en el interior de un triangulo ABC, muestra que al menos uno de los ángulos BAP, CBP y ACP es igual a π6.
  2. Considera P un punto en el interior de ABC cuyo circunradio es R, demuestra que PABC2+PBAC2+PCAB21R.
  3. Sea P un punto en el interior de ABC, denota por Ra, Rb, Rc los circunradios de los triángulos PBC, PAC y PAB respectivamente, prueba que PB×PCRa+PA×PCRb+PA×PBRcPA+PB+PC.
  4. Si a, b y c son los lados de un triangulo prueba que (a+b)(b+c)(a+c)8(a+bc)(b+ca)(a+cb).
  5.  Sean ABC, α=BAC, β=CBA, γ=ACB, muestra que cosα+cosβ+cosγ32.
  6. Sean ABC, AD, BE, CF, sus alturas y H el ortocentro muestra que:
    i) ADHD+BEHE+CFHF9,
    ii) HDHA+HEHB+HFHC32.
Figura 5
  1. Sea ABC un triángulo rectángulo con catetos a y b e hipotenusa c, muestra que se cumple la siguiente desigualdad a+b2c.
  2. Considera A y B los puntos medios de BC y AC en ABC, muestra que 3(BC+AC)>2(AA+BB).

Entradas relacionadas

Fuentes

  • Andreescu, T., Korsky, S. y Pohoata, C., Lemmas in Olympiad Geometry. USA: XYZ Press, 2016, pp 287-297.
  • Gomez, A. y Bulajich, R., Geometría. México: Instituto de Matemáticas, 2002, pp 27-29, 98-103.
  • Art of Problem Solving
  • Wikipedia
  • Cut the Knot

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»

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.