RCMat – Revista do Clube de Matemáticos nº 4 – outubro de 2020

𝑴𝑨 ≥ 𝑴𝑮 ≥ 𝑴𝑯: uma demonstração usando a geometria na parábola

Jardel Leite de Oliveira
IFCE – Campus Tauá

A desigualdade das médias é uma ferramenta poderosíssima na resolução de problemas

olímpicos de Matemática, sendo que geralmente essa técnica é demonstrada a partir da prova por
indução matemática.
Neste artigo será exposta uma possível demonstração da desigualdade 𝑀𝐴 ≥ 𝑀𝐺 ≥ 𝑀𝐻 por
meio da geometria, o que por um lado exige do discente um bom conhecimento nessa área da
matemática, e por outro amplia seu potencial de atuação consciente frente aos desafios que o
cálculo continuamente impõe ao estudante, alargando seu horizonte de aprendizagem não apenas
para a escola, mas também para a vida.

DEMONSTRAÇÃO

Na Figura 1 está representada a parábola 𝑃: 𝑥 2 = 4𝑝𝑦 e a sua reta diretriz 𝑑: 𝑦 + 𝑝 = 0, onde 2𝑝

(o parâmetro) representa a distância do foco à reta diretriz. Lembrando que a parábola representa
o lugar geométrico dos pontos que são equidistantes do ponto fixo 𝐹 (foco da parábola) e da reta
fixa 𝑑 (reta diretriz da parábola).

Figura 1

Sabendo-se disso podemos, a partir de dois pontos 𝐴 e 𝐵 da parábola, obter a seguinte

configuração:
 RCMat – Revista do Clube de Matemáticos nº 4 – outubro de 2020

Figura 2

A partir da Figura 2, e com auxílio da geometria plana, podemos encontrar o valor do segmento
𝐹𝐹′, que passa pelo vértice da parábola, prolongando a reta 𝐴𝐵 até ela se encontrar com a diretriz
no ponto 𝑂, ficando como mostrado na Figura 3.

Figura 3

Agora, utilizando-se de semelhança de triângulos, temos:

∆𝑂𝐴′ 𝐴~∆𝑂𝐹 ′ 𝐹~∆𝑂𝐵′𝐵

𝑎 𝐹𝐹′ 𝑏 𝐹𝐹′ − 𝑎 𝑏 − 𝑎
= = ⇒ = ⇒ (𝐹𝐹′ − 𝑎)(𝑎 + 𝑏) = 𝑎(𝑏 − 𝑎)
𝑚 𝑎+𝑚 𝑏+𝑎+𝑚 𝑎 𝑎+𝑏
 RCMat – Revista do Clube de Matemáticos nº 4 – outubro de 2020

Realizando manipulações algébricas obteremos

2𝑎𝑏
𝐹𝐹′ = (1)
𝑎+𝑏

Agora traçamos uma reta perpendicular ao segmento 𝐴𝐵, passando por 𝐹, até tocar a reta diretriz
no ponto 𝑀, e uma reta ligando os pontos 𝑀 e 𝐵, e percebemos que os ângulos ∠𝐹𝑀𝐵 =
∠𝐵′𝑀𝐵 e ∠𝐹𝐵𝑀 = ∠𝐵′𝐵𝑀, já que os triângulos ∆𝐵𝐹𝑀 e ∆𝐵𝐵′𝑀 são congruentes. Assim como
também traçaremos a reta unindo os pontos 𝐴 e 𝑀, e notamos que ∠𝐹𝑀𝐴 = ∠𝐴′𝑀𝐴 também
pelo fato de os triângulos ∆𝐴𝐹𝑀 e ∆𝐴𝐴′𝑀 serem congruentes, como mostra a Figura 4.

Figura 4

Como 𝛼 + 𝛽 = 90°, então o triângulo ∆𝐴𝑀𝐵 é retângulo em 𝑀, e podemos encontrar o

comprimento do segmento 𝑀𝐹, altura do triângulo ∆𝐴𝑀𝐵, em função de 𝑎 e 𝑏:

𝑀𝐹 = √𝑎𝑏 (2)

Agora traçamos uma reta paralela a 𝐸𝐹 partindo do ponto 𝑀 até tocar o segmento 𝐴𝐵 no ponto
𝑁, e notamos que os ângulos ∠𝐵𝑀𝑁 e ∠𝐵′𝐵𝑀 são alternos internos, logo eles são iguais e,
consequentemente, 𝑁𝐵 = 𝑁𝑀 conforme apresentado na Figura 5.
 RCMat – Revista do Clube de Matemáticos nº 4 – outubro de 2020

Figura 5

Como o triângulo ∆𝐴𝑀𝐵 é retângulo em 𝑀, temos, analogamente, que ∠𝑁𝐴𝑀 = ∠𝑁𝑀𝐴 e 𝑁𝐴 =

𝑁𝑀, concluindo assim que 𝑁 é o centro de uma circunferência de raio 𝑁𝐵 = 𝑁𝑀 = 𝑁𝐴 e
diâmetro 𝐴𝐵. Assim, temos que

𝑎+𝑏
𝑀𝑁 = (3)
2

Da Figura 5 percebemos que 𝑀𝐹 é a hipotenusa do triângulo ∆𝑀𝐹′𝐹 e 𝑀𝑁 é a hipotenusa do

triângulo ∆𝑁𝐹𝑀, e como em todo e qualquer triângulo retângulo a hipotenusa é maior que
qualquer dos seus catetos, podemos afirmar que 𝑀𝑁 > 𝑀𝐹 > 𝐹′𝐹.
Portanto, de (1), (2) e (3), teremos, conforme a Figura 6, a desigualdade entre as médias.

Note que se 𝑎 = 𝑏, o quadrilátero AA’B’B é um retângulo e os pontos F e N coincidem. Nesse

caso, temos
 RCMat – Revista do Clube de Matemáticos nº 4 – outubro de 2020

𝑎+𝑏 2𝑎𝑏
= √𝑎𝑏 = =𝑎=𝑏
2 𝑎+𝑏

Considerando as duas expressões anteriores, conclui-se que a média aritmética de dois números
positivos é maior ou igual à sua média geométrica e maior ou igual à sua média harmônica.

REFERÊNCIAS

KOROVKIN, P. P.; Desigualdades. Moscou: MIR, 1976.

EFIMOV, N. Curso Breve de Geometria Analítica. Moscou: MIR, 1969.