🔢 mathematics

A note on an inequality involving the sides and medians in a triangle

Cet article apporte la preuve d'une inégalité conjecturée liant les côtés et les médianes d'un triangle, démontre son analogue pour les hauteurs et les bissectrices, et propose un problème ouvert concernant les céviennes.

Auteurs originaux : Peter Vassilev

Publié 2026-03-19

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Peter Vassilev

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

📐 Le Mystère du Triangle : Une Énigme Résolue

Imaginez un triangle comme un petit chantier de construction. Il a trois côtés (les murs) et trois lignes spéciales qui partent du sommet pour toucher le milieu du mur opposé : ce sont les médianes.

Depuis les années 1980, un mathématicien bulgare, Georgi Boychev, avait remarqué quelque chose de curieux. Il pensait qu'il existait une règle secrète, une sorte de "loi de l'équilibre" qui disait que si l'on mélangeait les longueurs des murs et celles des médianes d'une certaine manière précise, le résultat était toujours positif.

C'était comme si quelqu'un avait dit : "Si vous pesez ces ingrédients dans cet ordre, la balance ne basculera jamais du côté négatif."

Le problème ? Personne n'avait jamais réussi à prouver que cette balance ne basculerait jamais. C'était une énigme ouverte, un défi resté sans réponse pendant des décennies.

🕵️‍♂️ L'Enquête de Peter Vassilev

L'auteur de l'article, Peter Vassilev, décide de relever le défi. Il ne s'agit pas seulement de vérifier avec une calculatrice (ce que Boychev avait déjà fait des milliers de fois), mais de trouver la preuve logique inébranlable.

Voici comment il y est arrivé, étape par étape :

1. Le Test des Cas Simples (Les Triangles Isocèles)

Avant de s'attaquer à tous les triangles possibles, Peter commence par les plus simples : les triangles isocèles (qui ont deux côtés égaux, comme un toit de maison symétrique).

L'analogie : C'est comme tester une recette de gâteau avec deux œufs identiques. Si ça marche là, c'est un bon signe.
Résultat : La règle fonctionne parfaitement pour ces triangles simples.

2. La Clé du Trésor : Les Inégalités Connues

Pour prouver la règle pour n'importe quel triangle (même les plus tordus et asymétriques), Peter utilise des outils mathématiques déjà existants, comme des "clés" qu'il a trouvées dans d'autres livres.

Il utilise une inégalité célèbre (l'inégalité AM-GM) qui dit essentiellement : "Si vous avez trois nombres positifs, leur moyenne est toujours supérieure ou égale à leur racine cubique."
L'analogie : Imaginez que vous avez trois amis. Même si l'un est très grand et l'autre très petit, la taille moyenne du groupe ne peut pas être inférieure à une certaine limite magique. Peter utilise cette "limite magique" pour montrer que son équation ne peut pas tomber en dessous de zéro.

3. La Preuve Finale : Le Jeu des Cas

Peter divise le problème en deux scénarios possibles, comme un détective qui examine deux pistes :

Scénario A : Le côté "B" est le plus dominant.
Scénario B : Le côté "C" est le plus dominant.

Dans les deux cas, en utilisant ses "clés" (les inégalités connues) et en manipulant les formules comme un chef d'orchestre qui ajuste les notes, il montre que le résultat final est toujours positif ou nul.

Le verdict : La conjecture de Boychev est vraie ! La balance ne bascule jamais.

🌊 Au-delà des Médianes : Les Autres Lignes Magiques

Une fois la preuve faite pour les médianes, Peter se demande : "Est-ce que cette règle fonctionne aussi pour d'autres lignes dans le triangle ?"

Il teste deux autres types de lignes :

Les hauteurs (les lignes perpendiculaires qui tombent du sommet au sol, comme une chute d'eau).
Les bissectrices (les lignes qui coupent les angles en deux, comme un couteau qui partage un gâteau en deux parts égales d'angle).

La bonne nouvelle : La règle fonctionne aussi pour ces lignes ! C'est comme si la loi de l'équilibre était une propriété fondamentale du triangle lui-même, peu importe la ligne que l'on trace, tant qu'elle est "propre" (médiane, hauteur ou bissectrice).

❓ Le Mystère Restant : Les "Cevians"

À la fin de son voyage, Peter laisse une énigme ouverte pour les futurs explorateurs.

Il existe d'autres lignes dans un triangle appelées Cevians (un terme générique pour n'importe quelle ligne allant d'un sommet au côté opposé).

Le problème : Il existe des lignes "bizarres" (comme les "splitters" qui divisent le périmètre) qui respectent certaines règles de base, mais qui échouent à respecter la grande règle de la balance positive.
La question : Existe-t-il une ligne "magique" qui respecte toutes les conditions de base, mais qui brise quand même la règle finale ?

C'est comme si Peter disait : "Nous avons prouvé que pour les médianes, les hauteurs et les bissectrices, tout va bien. Mais il y a peut-être un monstre caché dans la forêt des triangles qui respecte les règles du jeu, mais qui triche sur le résultat final. Qui le trouvera ?"

🏁 Conclusion

En résumé, cet article est l'histoire d'une chasse au trésor mathématique :

Un mystère non résolu depuis 40 ans.
Une preuve rigoureuse qui confirme que la règle est vraie pour les médianes.
Une extension de la règle à d'autres lignes classiques.
Une nouvelle porte ouverte vers des énigmes encore plus complexes.

C'est une belle démonstration que même dans le monde rigide des mathématiques, il y a de la place pour la curiosité, l'exploration et la résolution de vieux mystères.

Titre : Note sur une inégalité impliquant les côtés et les médianes d'un triangle

1. Problématique

L'article se concentre sur la preuve d'une conjecture mathématique formulée dans les années 1980 par le mathématicien bulgare Georgi Boychev. L'inégalité en question concerne un triangle non dégénéré de côtés $a, b, c$ et de médianes respectives $m_a, m_b, m_c$ . La conjecture stipule que :

$(\sqrt{bc} - a)m_a + (\sqrt{ac} - b)m_b + (\sqrt{ab} - c)m_c \geq 0$

Bien que cette relation ait été confirmée par de nombreuses expériences numériques, elle n'avait jamais fait l'objet d'une démonstration rigoureuse. L'auteur note également une inégalité similaire proposée par Kee-Wai Lau :
$(bc - a^2)m_a + (ac - b^2)m_b + (ab - c^2)m_c \geq 0$
dont la preuve repose sur des inégalités géométriques connues.

2. Méthodologie

La démonstration repose sur une approche structurée combinant l'analyse algébrique et l'exploitation de propriétés géométriques spécifiques aux triangles.

Réduction aux cas particuliers : L'auteur commence par prouver l'inégalité pour les triangles isocèles (Lemme 1), ce qui permet de réduire le problème général aux triangles scalènes avec l'ordre $a < b < c$ .
Utilisation d'inégalités auxiliaires : La preuve s'appuie sur l'inégalité fondamentale suivante (liée aux médianes) :
$2am_a \leq cm_b + bm_c \quad \text{(et ses permutations cycliques)}$
Propriétés d'ordre : Le Lemme 4 établit une propriété cruciale pour les triangles scalènes ( $a < b < c$ ) : le produit du côté moyen par sa médiane correspondante est strictement supérieur aux produits des autres côtés par leurs médianes. Autrement dit, si $A = am_a$ , $B = bm_b$ et $C = cm_c$ , alors $B > \max(A, C)$ .
Transformation et AM-GM : L'auteur réécrit l'inégalité initiale sous deux formes équivalentes (équations 12 et 13). En utilisant la propriété $B > \max(A, C)$ , il remplace les termes dominants par des termes plus petits pour simplifier l'expression. La preuve se conclut par l'application de l'inégalité arithmético-géométrique (AM-GM), spécifiquement la forme où la somme de trois termes dont le produit est 1 est supérieure ou égale à 3.
Extension aux autres Cévians : La même logique est appliquée pour vérifier la validité de l'inégalité lorsque les médianes sont remplacées par les hauteurs ( $h_a$ ) ou les bissectrices intérieures ( $l_a$ ).

3. Résultats Principaux

Théorème 1 : L'inégalité conjecturée par Boychev est démontrée comme vraie pour tout triangle non dégénéré.
Généralisation aux hauteurs et bissectrices : L'article démontre que l'inégalité reste vraie si l'on remplace les médianes par les hauteurs ou les bissectrices intérieures.
- Pour les hauteurs, l'inégalité se ramène directement à l'inégalité AM-GM.
- Pour les bissectrices, une preuve plus technique est fournie, reposant sur des comparaisons de termes similaires à ceux utilisés pour les médianes.
Corollaire 2 : L'inégalité est valide pour toute combinaison linéaire positive des médianes, hauteurs et bissectrices ( $f_a = \alpha m_a + \beta h_a + \gamma l_a$ , etc.).
Contre-exemple et limites : L'auteur montre que cette propriété n'est pas universelle pour tous les Cévians. Il fournit un contre-exemple utilisant les "splitter" (Cévians passant par le point de Nagel et divisant le périmètre en deux). Bien que ces Cévians satisfont certaines conditions d'ordre, ils ne satisfont pas l'inégalité principale dans le cas d'un triangle obtus spécifique ( $a=4, b=16, c=18$ ).

4. Contributions Clés

Résolution d'un problème ouvert : La première preuve rigoureuse d'une conjecture vieille de plusieurs décennies concernant les relations entre côtés et médianes.
Unification des résultats : Démonstration que cette inégalité n'est pas une propriété isolée des médianes, mais s'étend à d'autres lignes remarquables du triangle (hauteurs, bissectrices).
Identification de conditions nécessaires : Mise en évidence du fait que les conditions d'ordre sur les produits "côté $\times$ Cévian" (comme $B \geq \max(A, C)$ ) sont probablement nécessaires mais non suffisantes pour garantir l'inégalité, ouvrant la voie à une caractérisation plus fine des Cévians valides.

5. Signification et Perspectives

Ce travail comble une lacune dans la littérature sur les inégalités géométriques, un domaine souvent négligé par les mathématiciens professionnels au profit des problèmes de type "Olympiades".

L'article ouvre un problème ouvert (Open Problem 1) : déterminer l'existence de Cévians qui satisfont les conditions d'ordre nécessaires (inégalités 18 et 19) mais qui échouent à satisfaire l'inégalité principale (1*). L'exemple des splitter suggère que la structure géométrique spécifique des médianes, hauteurs et bissectrices joue un rôle fondamental que d'autres Cévians ne possèdent pas.

En conclusion, l'article fournit non seulement une preuve élégante, mais aussi une nouvelle direction pour l'investigation des propriétés inégalitaires des triangles et de leurs lignes associées.