There is no Heron triangle with three rational medians

Este artigo demonstra a inexistência de triângulos heronianos com três medianas inteiras, estabelecendo uma identidade universal e provando que, caso tais triângulos existissem, eles necessariamente ocorreriam em pares não semelhantes.

O essencial

Imagine que você é um arquiteto tentando construir a casa perfeita. Você tem regras muito específicas: as paredes (os lados do triângulo) devem ter medidas inteiras (como 3 metros, 4 metros), a área do chão deve ser um número inteiro (para calcular o piso) e, o mais difícil de tudo, as vigas que sustentam o telhado (as medianas) também devem ter medidas inteiras.

O matemático Logman Shihaliev escreveu um artigo dizendo que, infelizmente, essa casa perfeita não existe. Não importa o quanto você tente, não há nenhum triângulo que tenha lados inteiros, área inteira e três medianas inteiras ao mesmo tempo.

Aqui está a explicação do "porquê", usando analogias simples:

1. O Problema da "Casa Espelha" (A Lema)

No começo do artigo, o autor prova uma coisa curiosa. Ele diz: "Se você conseguir construir uma casa com essas medidas perfeitas, você será obrigado a construir uma segunda casa, diferente da primeira, que também seja perfeita".

É como se o universo dissesse: "Se você acha que encontrou a solução, você só encontrou metade dela. A outra metade é um espelho, mas não é igual à primeira".

• A Analogia: Imagine que você tem um par de sapatos. Se você encontrar um pé esquerdo perfeito, você é forçado a encontrar um pé direito perfeito. Mas, segundo o autor, se você tentar usar esse par para construir algo, a matemática diz que eles nunca vão se encaixar perfeitamente no mesmo molde. Isso cria um "ciclo infinito" de pares que nunca se resolvem.

2. A Regra de Ouro (O Teorema)

Depois, o autor cria uma "Regra de Ouro" (uma fórmula matemática universal). Ele diz que, para qualquer triângulo, existe uma relação mágica entre os lados, as medianas e a área.

• A Analogia: Pense em uma balança de dois pratos. De um lado, você coloca os lados e as medianas. Do outro, a área. A fórmula do autor mostra que essa balança só fica equilibrada se os números seguirem regras muito estritas. Se você tentar colocar números inteiros aleatórios, a balança nunca fica em paz; ela sempre oscila.

3. O Grande Conflito (A Prova Final)

Agora vem a parte onde o autor diz "Não existe". Ele pega a Regra de Ouro e tenta encaixar os números inteiros nela. É como tentar encaixar uma chave quadrada em um buraco redondo.

Ele usa uma lógica de "paridade" (se os números são pares ou ímpares):

• Ele diz: "Vamos supor que os lados são números pares".
• A fórmula diz: "Ok, mas se os lados são pares, as medianas têm que ser ímpares".
• Mas a área diz: "Espera! Se as medianas são ímpares, a área não pode ser um número inteiro perfeito".

A Metáfora do Quebra-Cabeça Impossível:
Imagine que você tem peças de um quebra-cabeça:

1. Peças de Lado (Inteiros)
2. Peças de Mediana (Inteiros)
3. Peças de Área (Inteiros)

O autor pega todas as peças e tenta montar a imagem. Ele descobre que, não importa como você gire as peças, duas delas sempre vão se chocar.

• Se você tenta fazer os lados serem múltiplos de 4, as medianas ficam "estranhas".
• Se você tenta fazer as medianas funcionarem, a área quebra a regra.
• É como tentar fazer um triângulo onde todos os ângulos são de 90 graus ao mesmo tempo. A geometria simplesmente não permite.

4. O Veredito

O autor testa todas as combinações possíveis (como tentar todas as chaves de um molho em uma fechadura).

• Ele tenta uma chave (n=1): A porta não abre.
• Ele tenta outra (n=2): A porta não abre.
• Ele tenta a última (n=6): A porta não abre.

Conclusão Simples:
O artigo prova que, na matemática, existe um "nó" impossível. Você pode ter um triângulo com lados inteiros e área inteira (chamado Triângulo Heroniano). Você pode ter um triângulo com lados inteiros e duas medianas inteiras. Mas, quando você tenta adicionar a terceira mediana inteira, a matemática diz "NÃO". É como tentar dividir um bolo em 3 pedaços iguais, mas a faca só permite cortar em 2 ou 4.

Portanto, a resposta final é: Não, não existem triângulos perfeitos com três medianas inteiras. O sonho de construir essa "casa perfeita" com todas as medidas inteiras é matematicamente impossível.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "THERE ARE NO HERONIAN TRIANGLES WITH THREE INTEGER MEDIANS" (Não existem triângulos heronianos com três medianas inteiras), de Logman Shihaliev, apresentado em português.

1. Problema Investigado

O artigo aborda um problema clássico e aberto na interseção da teoria dos números e da geometria: a existência de triângulos heronianos com três medianas inteiras.

• Um triângulo heroniano é definido como um triângulo com lados inteiros e área inteira.
• O problema específico questiona se é possível construir tal triângulo onde as três medianas (segmentos que ligam um vértice ao ponto médio do lado oposto) também sejam números inteiros.
• Embora existam triângulos heronianos com duas medianas racionais (ou inteiras), a existência de um com três medianas inteiras permanecia uma questão em aberto, frequentemente citada na literatura de problemas não resolvidos (como nas obras de Richard K. Guy).

2. Metodologia

O autor utiliza uma abordagem combinada de geometria sintética, álgebra e teoria dos números, dividida em duas partes principais:

Parte I: Lema de Existência de Pares

O autor prova um lema que estabelece uma propriedade de simetria para triângulos com lados e medianas racionais:

• Afirmação: Se existe um triângulo com lados e medianas racionais, necessariamente existe outro triângulo, não semelhante ao primeiro, que também possui lados e medianas racionais.
• Construção Geométrica: O autor demonstra que, a partir de um triângulo $\triangle ABC$, é possível construir um novo triângulo $\triangle A'B'C'$ através de translações paralelas de frações das medianas.
• Propriedade de Área: A prova mostra que a razão entre as áreas dos triângulos originais e o novo triângulo construído é $3/4$. Como$3/4$ não é um quadrado de um número racional, os triângulos não podem ser semelhantes (pois a razão de áreas de triângulos semelhantes deve ser o quadrado da razão de semelhança).
• Conclusão do Lema: Triângulos com essas propriedades, se existirem, devem existir em pares não semelhantes.

Parte II: Identidade Universal e Prova de Não Existência

A segunda parte deriva uma identidade algébrica universal e a utiliza para provar a inexistência do triângulo desejado.

• Derivação da Identidade: Utilizando construções geométricas envolvendo o baricentro e triângulos derivados, o autor estabelece uma identidade universal válida para qualquer triângulo (chamada de Teorema de Shihaliev). A forma geral da identidade relaciona os quadrados das medianas ($m_a, m_b, m_c$), os lados ($a, b, c$) e a área ($S$):
  $$8 \left( \frac{m_a^2}{2} \right)^2 - \left( \frac{m_b^2}{2} \right)^2 + S^2 = \left( \frac{m_c^2}{2} \right)^2$$
  (Nota: A notação no texto original é complexa devido à formatação, mas a essência é uma relação quadrática entre as medianas e a área).
• Análise de Paridade e Divisibilidade: O autor aplica essa identidade ao caso de triângulos inteiros (lados e medianas inteiros).
  1. Assume-se a existência de um triângulo heroniano com três medianas inteiras.
  2. Analisa-se a paridade (pares/ímpares) e a divisibilidade por 4 dos lados e medianas.
  3. Demonstra-se que, para satisfazer as condições de área inteira e medianas inteiras, os lados devem ser pares.
  4. Ao substituir as condições de divisibilidade na identidade universal, o autor chega a contradições de paridade. Especificamente, ele analisa casos onde os lados são divisíveis por 2 ou 4 e mostra que a equação resultante exige que certas quantidades sejam simultaneamente pares e ímpares, ou que a área não seja divisível por 6 (uma propriedade necessária para triângulos heronianos).
• Argumento de Contradição: O autor demonstra que a suposição de existência leva a uma contradição lógica, seja através da impossibilidade de formar um triângulo retângulo primitivo sob certas condições, seja através de inconsistências na paridade dos termos da equação derivada.

3. Principais Contribuições

1. Prova de Não Existência: A contribuição central é a demonstração rigorosa de que não existem triângulos heronianos com três medianas inteiras.
2. Novo Lema de Duplificação: A prova de que triângulos racionais com medianas racionais devem existir em pares não semelhantes, o que impõe restrições estruturais à busca por tais triângulos.
3. Identidade Universal (Teorema de Shihaliev): A derivação de uma nova identidade algébrica que relaciona as medianas e a área de qualquer triângulo, fornecendo uma ferramenta poderosa para analisar propriedades aritméticas de triângulos.
4. Resolução de Problema Aberto: O artigo afirma resolver um problema listado em obras de referência como "Unsolved Problems in Number Theory".

4. Resultados

• O teorema principal estabelece que o conjunto de triângulos heronianos com três medianas inteiras é vazio.
• A identidade derivada (Equação 33 no texto) é apresentada como uma ferramenta universal que pode ser aplicada a outros problemas de geometria aritmética.
• A análise de paridade confirma que as condições necessárias para a existência de tal triângulo são matematicamente incompatíveis.

5. Significância

• Teoria dos Números: O trabalho fecha uma lacuna significativa na classificação de triângulos heronianos, esclarecendo os limites das propriedades integrais que podem coexistir em um único triângulo.
• Geometria Aritmética: A metodologia empregada, que combina construções geométricas com análise de equações diofantinas e paridade, oferece um novo paradigma para atacar problemas similares envolvendo polinômios simétricos e formas quadráticas.
• Validação de Conjecturas: Ao provar a inexistência, o artigo elimina a necessidade de buscas computacionais infinitas por um objeto que não existe, redirecionando o foco da pesquisa para casos com duas medianas ou outras variações.

Em suma, o artigo de Logman Shihaliev apresenta uma prova definitiva de que é impossível formar um triângulo com lados inteiros, área inteira e três medianas inteiras, utilizando uma combinação inovadora de identidades geométricas e análise de paridade.