There is no Heron triangle with three rational medians

Este artículo demuestra que no existen triángulos heronianos con tres medianas enteras, estableciendo una identidad universal para triángulos arbitrarios y probando que tales triángulos, de existir, tendrían que hacerlo en pares no similares.

Lo esencial

¡Hola! Vamos a desmenuzar este paper matemático como si estuviéramos contando una historia de detectives en una pizarra, pero sin usar fórmulas complicadas.

El título del artículo es: "No existen triángulos heronianos con tres medianas enteras".

Suena muy técnico, ¿verdad? Pero en realidad, el autor (Logman Shihaliev) está resolviendo un misterio matemático que lleva años sin respuesta. Aquí te explico qué está pasando usando analogías sencillas.

1. ¿Qué es un "Triángulo Heroniano"? (El Personaje Principal)

Imagina que tienes un triángulo dibujado en un papel.

• Lados enteros: Sus tres lados miden números enteros (como 3, 4, 5). Nada de "3.5" o "raíz de 2".
• Área entera: Si calculas cuánto espacio ocupa (su área), el resultado también es un número entero (no 12.345).

Estos triángulos son como "superhéroes" de la geometría porque cumplen dos reglas estrictas a la vez. Los matemáticos ya sabían que existían muchos de ellos.

2. El Misterio: Las Medianas (Los Secretos Ocultos)

Ahora, imagina que dentro de ese triángulo dibujas tres líneas especiales llamadas medianas. Una mediana es una línea que va desde un vértice (esquina) hasta el punto medio del lado opuesto. Es como si fueran las "venas" que conectan las esquinas con el centro de gravedad del triángulo.

La gran pregunta: ¿Existe algún triángulo heroniano (con lados y área enteros) donde las tres medianas también midan números enteros?

Hasta ahora, nadie había encontrado uno, pero tampoco nadie había podido demostrar que era imposible. Algunos pensaban que quizás solo era muy difícil de encontrar.

3. La Estrategia del Autor: El "Efecto Mariposa" (La Parte 1)

El autor empieza con una idea genial, como un truco de magia.

• La Analogía: Imagina que tienes un triángulo con lados y medianas enteras. El autor demuestra que si tal triángulo existiera, automáticamente tendrías que tener otro triángulo diferente (no igual al primero) que también tuviera lados y medianas enteras.
• La Metáfora: Es como si encontraras un cisne blanco. El autor dice: "Si encuentras un cisne blanco, ¡tienes que haber encontrado otro cisne blanco diferente al mismo tiempo!".
• El Problema: Esto crea un ciclo infinito. Si existe uno, existen dos. Si existen dos, existen cuatro. Y así sucesivamente. El autor usa esto para demostrar que si existiera tal triángulo, tendría que existir en "parejas" imposibles de separar, lo cual empieza a sonar sospechoso.

4. La Ecuación Maestra (La Parte 2)

Luego, el autor construye una "fórmula universal". Imagina que tienes una balanza mágica.

• La Analogía: Pones en un plato de la balanza los lados y las medianas del triángulo, y en el otro plato pones el área.
• El Descubrimiento: El autor crea una ecuación (una identidad) que siempre debe estar equilibrada, sin importar qué triángulo uses. Es como una ley de la física: "La energía no se crea ni se destruye". Aquí, la relación entre los lados, las medianas y el área siempre debe seguir una regla estricta.

5. El Desenlace: La Prueba de que es Imposible

Aquí es donde el autor pone a prueba su "balanza mágica" con números enteros.

• El Escenario: Supongamos que sí existe ese triángulo perfecto (lados enteros, área entera, medianas enteras).
• La Trampa: El autor toma su ecuación universal y la llena con números enteros. Luego, empieza a jugar con las reglas de los números pares e impares (como si fuera un juego de ajedrez con fichas blancas y negras).
• El Colapso: Descubre que, para que la ecuación funcione con números enteros, se necesitan condiciones contradictorias.
  • Por un lado, la ecuación dice que un número debe ser par.
  • Por otro lado, el área y los lados obligan a que ese mismo número sea impar.
  • Es como intentar poner un cuadrado en un agujero redondo: no encaja.

El autor prueba varios casos (como si revisara todas las llaves posibles) y en todos los casos, la ecuación se rompe. O bien los lados no pueden ser enteros, o las medianas no pueden ser enteras, o el área deja de ser entera.

6. La Conclusión Final

El autor cierra el caso con una sentencia firme:

"No existen triángulos heronianos con tres medianas enteras."

En resumen:
El autor ha demostrado que es como buscar un unicornio que, además de tener un cuerno, tenga tres alas y vuele al revés. Podrías tener un triángulo con lados enteros, o uno con medianas enteras, o uno con área entera. Pero los tres requisitos juntos son matemáticamente imposibles.

La "prueba" no es solo decir "no lo encontré", sino demostrar que la estructura misma de los números impide que tal cosa exista. ¡Es un trabajo de detective matemático que cierra un capítulo abierto durante mucho tiempo!

Resumen técnico

A continuación se presenta un resumen técnico detallado del artículo "THERE ARE NO HERONIAN TRIANGLES WITH THREE INTEGER MEDIANS" (No existen triángulos heronianos con tres medianas enteras), escrito por Logman Shihaliev.

1. Planteamiento del Problema

El artículo aborda un problema abierto clásico en la teoría de números y la geometría: la existencia de triángulos heronianos (triángulos con lados enteros y área entera) que posean tres medianas enteras.

• Contexto: Se sabe que existen triángulos heronianos con dos medianas racionales (y por ende, escalables a enteras), pero la existencia de uno con las tres medianas enteras ha sido una cuestión no resuelta.
• Objetivo: Demostrar rigurosamente que tal triángulo no existe.

2. Metodología

El autor emplea una combinación de geometría sintética, álgebra y teoría de números, estructurando la demostración en dos partes principales:

Parte I: Un Lema sobre la Existencia de Pares

El autor prueba un lema que establece una propiedad de simetría para triángulos con lados y medianas racionales:

• Enunciado: Si existe un triángulo con lados y medianas racionales, necesariamente existe otro triángulo (no similar al primero) que también posee lados y medianas racionales.
• Método de Construcción: Se construye un nuevo triángulo ($\Delta EFD$) a partir de uno dado ($\Delta ABC$) mediante traslaciones paralelas de segmentos relacionados con las medianas.
• Resultado Clave: Se demuestra que la relación de áreas entre el triángulo original y el nuevo es $3/4$. Dado que la relación de áreas de triángulos semejantes debe ser el cuadrado de un número racional, y$3/4$ no es un cuadrado perfecto racional, los triángulos no pueden ser semejantes. Esto implica que tales triángulos, si existen, deben aparecer en pares no similares.

Parte II: Derivación de una Identidad Universal y Demostración de la No Existencia

Esta es la contribución central del trabajo. El autor deriva una identidad algebraica universal válida para cualquier triángulo.

1. Construcción de Triángulos Auxiliares: Utilizando el centroide y las medianas, se construyen tres triángulos adicionales a partir del triángulo original.
2. Derivación de la Identidad (Teorema de Shihaliev): Mediante el análisis de las áreas y la aplicación de fórmulas de Herón y relaciones geométricas, se llega a la siguiente identidad universal (presentada en la ecuación 33 del texto):
   $$\left( \frac{m_a^2 - m_b^2}{2} \right)^2 + (\text{Área})^2 = \left( \frac{m_c^2}{2} \right)^2$$
   (Nota: La notación en el texto original es compleja, pero la esencia es una relación pitagórica modificada entre las diferencias de cuadrados de medianas, el área y una mediana).
3. Análisis de Paridad y Divisibilidad:
   • Se asume la existencia de un triángulo heroniano con tres medianas enteras.
   • Se analiza la paridad de los lados y las medianas módulo 2 y módulo 4.
   • Se demuestra que, bajo la condición de que el área sea entera, los lados deben cumplir ciertas condiciones de divisibilidad (algunos divisibles por 2, otros por 4).
4. Contradicción Final:
   • Al aplicar la identidad universal a un triángulo hipotético con lados y medianas enteras, el autor analiza la ecuación como una terna pitagórica.
   • Se examinan los casos posibles para el factor de escala ($n$) de la terna pitagórica.
   • Caso $n=1$: Implica que el triángulo es rectángulo. Sin embargo, la simetría de la identidad aplicada a diferentes permutaciones de lados llevaría a que dos ángulos del triángulo sean rectos ($90^\circ$), lo cual es geométricamente imposible en un triángulo euclidiano.
   • Caso $n=2$ o $n=6$: Se demuestra que la paridad de los términos en la ecuación (impar vs. par) es inconsistente con las propiedades de divisibilidad de los lados y el área de un triángulo heroniano. Específicamente, se llega a una contradicción donde un término que debe ser par resulta impar, o viceversa.

3. Contribuciones Clave

• Nuevo Lema Geométrico: Establece que los triángulos con lados y medianas racionales no son únicos, sino que existen en pares no similares, lo que añade una capa de complejidad a la búsqueda de soluciones.
• Identidad Universal (Teorema de Shihaliev): Deriva una relación algebraica que vincula las medianas y el área de cualquier triángulo de una manera que revela restricciones ocultas sobre la integridad de estas magnitudes.
• Resolución del Problema Abierto: Proporciona una demostración formal de la inexistencia de triángulos heronianos con tres medianas enteras, cerrando un problema que ha sido objeto de estudio en la literatura matemática (citando trabajos de Guy, Buchholz, Rathbun, etc.).

4. Resultados

El resultado principal es negativo: No existen triángulos heronianos con tres medianas enteras.
La demostración se basa en que la suposición de su existencia conduce inevitablemente a contradicciones lógicas:

1. Geométricas (un triángulo con dos ángulos rectos).
2. Aritméticas (inconsistencias de paridad y divisibilidad por 4 en los lados y medianas).

5. Significado e Impacto

• Teoría de Números y Geometría: El trabajo conecta profundamente la geometría de triángulos con la teoría de números (ecuaciones diofánticas). La demostración de que ciertas configuraciones geométricas son imposibles bajo restricciones de integridad es fundamental para clasificar las soluciones en problemas de "triángulos racionales".
• Cierre de una Conjetura: Aunque la no existencia de tales triángulos ha sido sospechada y estudiada por otros autores (como Buchholz), este artículo ofrece una vía de demostración propia basada en una identidad algebraica derivada de la construcción geométrica de triángulos auxiliares.
• Herramienta para Futuras Investigaciones: La identidad universal derivada (Teorema de Shihaliev) podría ser útil para analizar otras propiedades de triángulos o para abordar problemas relacionados con medianas racionales (no necesariamente enteras) y otras líneas de investigación en geometría diofántica.

En resumen, el artículo presenta una demostración elegante que utiliza la construcción geométrica para derivar una identidad algebraica restrictiva, la cual, al combinarse con el análisis de paridad, refuta definitivamente la existencia de triángulos heronianos con tres medianas enteras.