There is no Heron triangle with three rational medians

Cet article démontre l'inexistence de triangles d'Héron possédant trois médianes entières en établissant une nouvelle identité universelle pour les triangles et en prouvant qu'un tel triangle, s'il existait, devrait nécessairement former une paire avec un autre triangle non similaire.

L'essentiel

Voici une explication simple et imagée de ce papier mathématique, traduite en français pour un public général.

Le Grand Mystère du Triangle Parfait

Imaginez que vous êtes un architecte qui veut construire un triangle parfait. Pour que ce triangle soit "parfait" (ou Héronien dans le langage des mathématiciens), il doit respecter trois règles strictes :

1. Ses trois côtés doivent être des nombres entiers (comme 3, 4, 5, pas 3,5 ou 4,2).
2. Son aire (sa surface) doit être un nombre entier (pas 12,5 m², mais exactement 12 m²).
3. Le défi ultime : Ses trois médianes (les lignes qui relient un sommet au milieu du côté opposé) doivent aussi être des nombres entiers.

Pendant des décennies, les mathématiciens se sont demandé : Existe-t-il un tel triangle ?

Ce papier, écrit par Logman Shihaliev, apporte une réponse définitive : Non, un tel triangle n'existe pas. C'est comme chercher un licorne qui porte des lunettes et un nœud papillon : c'est impossible.

Voici comment l'auteur le prouve, en utilisant deux étapes clés.

---

Étape 1 : Le Jeu des Jumelles (La Lemme)

L'auteur commence par une petite astuce de géométrie. Il dit : "Si un tel triangle existait, il ne serait jamais seul."

Imaginez que vous avez un triangle magique avec des côtés et des médianes entiers. L'auteur montre comment, en utilisant ce triangle comme modèle, on peut en construire un deuxième, différent du premier (pas une simple copie agrandie), qui possède aussi des côtés et des médianes entiers.

C'est un peu comme si vous aviez un jeu de cartes où chaque carte "Triangle" forçait l'apparition d'une autre carte "Triangle" différente. Cela crée une chaîne infinie de triangles jumeaux. Mais ce n'est pas encore la preuve finale, juste une observation curieuse : ces triangles, s'ils existent, doivent venir par paires.

---

Étape 2 : L'Équation de la Vérité (Le Théorème)

C'est ici que l'auteur sort son arme secrète : une identité universelle.

Imaginez que chaque triangle a une "formule secrète" qui lie ses côtés, ses médianes et son aire. L'auteur a découvert (ou reformulé) une équation mathématique très puissante qui fonctionne pour n'importe quel triangle.

Cette équation ressemble à une balance :

• D'un côté, on a des combinaisons de médianes et de l'aire.
• De l'autre côté, on a des combinaisons de côtés.

L'auteur dit : "Si vous prenez un triangle avec des nombres entiers (côtés, médianes, aire), cette balance doit être parfaitement équilibrée avec des nombres entiers."

---

Le Grand Conflit : La Parité (Pair ou Impair)

C'est ici que la magie opère. L'auteur prend cette équation et la soumet à un test de logique très simple : les nombres pairs et impairs.

En mathématiques, c'est comme si vous essayiez de faire entrer un nombre pair dans une boîte qui ne contient que des impairs. Ça ne rentre pas.

1. L'auteur examine les différentes façons dont les côtés d'un triangle entier peuvent être divisés par 2 ou par 4.
2. Il teste l'équation universelle avec ces scénarios.
3. Le résultat est catastrophique pour le triangle :
   • Soit l'équation dit que l'aire doit être un nombre entier, mais les mathématiques disent qu'elle devrait être un nombre avec un "demi" (impossible pour un triangle entier).
   • Soit l'équation force un angle du triangle à être un angle droit (90 degrés).
   • Si vous forcez deux angles différents à être droits dans le même triangle, vous obtenez une absurdité géométrique (un triangle avec deux angles droits n'existe pas dans notre monde plat).

L'auteur conclut que peu importe comment vous essayez de construire ce triangle (en changeant les nombres, en essayant des combinaisons), vous tombez toujours sur un mur logique. Les nombres ne veulent pas s'aligner.

L'Analogie Finale

Imaginez que vous essayez de remplir un puzzle avec des pièces de formes différentes :

• Les pièces "Côtés entiers" sont carrées.
• Les pièces "Médianes entières" sont rondes.
• Les pièces "Aire entière" sont triangulaires.

L'auteur a prouvé que, même si vous pouvez trouver des triangles avec des côtés entiers et une aire entière, ou des triangles avec des côtés et des médianes entiers, il est impossible de trouver une pièce qui soit à la fois carrée, ronde et triangulaire en même temps.

Conclusion

Le papier de Logman Shihaliev ferme définitivement la porte à l'existence du "Saint Graal" des triangles.

• Le problème : Existe-t-il un triangle avec des côtés, des médianes et une aire tous entiers ?
• La réponse : Non.
• La raison : Les lois de l'arithmétique (les nombres pairs/impairs) et de la géométrie entrent en conflit direct dans ce cas précis.

C'est une victoire de la logique pure : parfois, l'impossibilité est la seule réponse possible.

Résumé technique

Voici un résumé technique détaillé de l'article « THERE ARE NO HERONIAN TRIANGLES WITH THREE INTEGER MEDIANS » (Il n'existe pas de triangles heroniens à trois médianes entières) par Logman Shihaliev.

1. Problématique

L'article aborde un problème ouvert en théorie des nombres et en géométrie : l'existence de triangles heroniens (triangles dont les trois côtés et l'aire sont des entiers) qui possèdent également trois médianes entières.
Bien qu'il soit connu qu'il existe des triangles heroniens avec deux médianes rationnelles (et même entières dans certains cas), l'existence d'un tel triangle avec trois médianes entières reste une question non résolue jusqu'à la publication de ce travail. L'auteur vise à prouver par l'absurde que de tels triangles n'existent pas.

2. Méthodologie

La démonstration est structurée en deux parties principales, combinant géométrie synthétique, algèbre et analyse diophantienne (arithmétique modulaire).

Partie I : Lemme de non-unicité

L'auteur établit d'abord un lemme fondamental :

• Énoncé : Si un triangle possède des côtés et des médianes rationnels, alors il existe nécessairement un autre triangle, non semblable au premier, possédant également des côtés et des médianes rationnels.
• Construction : La preuve utilise une transformation géométrique. À partir d'un triangle $ABC$ et de ses médianes, l'auteur construit un nouveau triangle $A'B'C'$ par translation parallèle des segments liés aux médianes.
• Résultat clé : Les côtés et les médianes du nouveau triangle sont rationnels si ceux du triangle original le sont. Cependant, le rapport des aires entre les triangles semblables impliqués dans la construction conduit à une contradiction si l'on suppose une unicité stricte ou une propriété d'échelle spécifique, suggérant que ces triangles doivent exister par paires.

Partie II : Théorème d'identité universelle et preuve de non-existence

C'est le cœur de la démonstration.

1. Développement d'une identité universelle :
   En manipulant les formules d'aire (formule de Héron) et les relations entre les côtés ($a, b, c$) et les médianes ($m_a, m_b, m_c$), l'auteur dérive une identité algébrique valable pour tout triangle. Cette identité, appelée « Théorème de Shihaliev », relie les carrés des médianes, les côtés et le carré de l'aire ($\Delta$) :
   $$\left| \frac{4}{9}m_a^2 - \frac{4}{9}m_b^2 \right|^2 + \Delta^2 = \frac{4}{9}m_c^2 \cdot c^2$$
   (Sous une forme généralisée avec permutations des côtés).

2. Analyse de Parité et Contradiction Modulo 2 et 4 :
   L'auteur suppose l'existence d'un triangle heronien à trois médianes entières. Il applique une analyse rigoureuse de la parité (divisibilité par 2 et 4) :

   • Il démontre que pour un tel triangle, les côtés doivent être pairs.
   • En examinant l'identité universelle modulo 2 et modulo 4, il analyse les cas de divisibilité des côtés par 4.
   • Il montre que si l'aire est un entier (et donc pair pour les triangles heroniens), la structure de l'équation impose des contraintes de parité contradictoires sur les médianes et les côtés. Par exemple, si deux côtés sont divisibles par 4 et un seul par 2, la parité du membre de gauche et du membre de droite de l'identité diffère.

3. Réduction aux Triples Pythagoriciens :
   L'auteur reformule l'identité comme une équation de type Pythagoricien ($X^2 + Y^2 = Z^2$). En supposant que le triangle est primitif (côtés et médianes sans facteur commun), il tente de générer une solution via la formule d'Euclide.

   • Cela conduit à la conclusion que l'angle correspondant doit être droit ($90^\circ$).
   • En appliquant la symétrie de l'identité à d'autres paires de côtés, l'auteur déduit qu'un triangle ne peut pas avoir deux angles droits simultanément, ce qui constitue une contradiction.

3. Résultats Clés

• Preuve de non-existence : L'article conclut qu'il n'existe aucun triangle heronien (côtés entiers, aire entière) possédant trois médianes entières.
• Nouvelle Identité : Établissement d'une relation algébrique universelle (Théorème de Shihaliev) liant les carrés des médianes, les côtés et l'aire, qui s'avère être un outil puissant pour l'analyse diophantienne de ces triangles.
• Lemme de paire : Démonstration que les triangles rationnels à médianes rationnelles ne peuvent exister de manière isolée mais doivent exister par paires non semblables.

4. Contributions et Signification

• Résolution d'un problème ouvert : Ce travail prétend résoudre définitivement un problème mathématique qui résistait aux tentatives de résolution, en particulier concernant la combinaison de l'intégralité des côtés, de l'aire et des trois médianes.
• Outils nouveaux : L'introduction de l'identité universelle (Théorème de Shihaliev) offre une nouvelle méthode pour étudier les propriétés métriques des triangles, dépassant les approches classiques basées uniquement sur les formules de Stewart ou de Héron.
• Impact sur la théorie des nombres : La preuve repose sur une analyse fine de la parité et des congruences, illustrant comment des contraintes géométriques fortes peuvent limiter les solutions diophantiennes.

Conclusion

Logman Shihaliev démontre que l'ensemble des conditions (côtés entiers, aire entière, trois médianes entières) est mathématiquement incompatible. La preuve s'appuie sur une construction géométrique ingénieuse pour établir un lemme préliminaire, suivie d'une dérivation algébrique puissante qui, une fois soumise à l'analyse de parité, mène inévitablement à une contradiction. Ce résultat ferme la porte à la recherche de tels triangles et établit une nouvelle identité fondamentale en géométrie des triangles.