Inégalité triangulaire : de la géométrie au machine learning

Le théorème de l'inégalité triangulaire stipule que, dans tout triangle, la somme des longueurs de deux côtés quelconques doit toujours être supérieure ou égale à la longueur du côté restant. Ce principe géométrique fondamental dépasse largement le cadre des triangles : il est essentiel en mathématiques, en informatique et en analyse de données.

Dans cet article, nous allons parcourir l'inégalité triangulaire de sa définition de base à ses applications avancées, pour montrer comment ce concept simple façonne notre manière d'aborder la résolution de problèmes complexes dans des domaines variés.

Qu'est-ce que l'inégalité triangulaire ?

L'inégalité triangulaire stipule que pour tout triangle de côtés de longueurs a, b et c, les trois inégalités suivantes doivent toujours être vérifiées :

• a + b ≥ c
• a + c ≥ b
• b + c ≥ a

Autrement dit, la somme des longueurs de deux côtés quelconques d'un triangle doit toujours être supérieure ou égale à la longueur du troisième. Intuitivement, cela se comprend bien : on ne peut pas former un triangle si un côté est plus long que la somme des deux autres.

Lorsque l'égalité se produit pour l'une de ces conditions (par exemple si a + b = c), le triangle se "dégénère" en une ligne droite. Dans ce cas, les trois points qui formeraient les sommets du triangle sont alignés, avec un point situé entre les deux autres.

L'inégalité triangulaire n'est pas seulement une règle des triangles en géométrie euclidienne. Elle exprime un concept mathématique plus large qui s'étend à de nombreuses autres structures :

• Dans les espaces vectoriels, elle prend la forme ||u + v|| ≤ ||u|| + ||v||, où ||u|| représente la norme (ou longueur) du vecteur u.
• Pour les nombres réels, elle se simplifie en l'inégalité sur la valeur absolue |a + b| ≤ |a| + |b|.
• Dans les espaces métriques, elle définit l'une des propriétés clés des fonctions distance.

Ces généralisations font de l'inégalité triangulaire l'un des concepts les plus polyvalents et importants en mathématiques, avec des applications allant de la géométrie élémentaire aux algorithmes avancés de machine learning.

Note sur les triangles dégénérés

Dans cet article, nous utilisons la forme « supérieure ou égale » (≥) de l'inégalité triangulaire afin d'inclure ce que l'on appelle des triangles dégénérés. Les triangles dégénérés sont les cas où la somme de deux longueurs de côtés est exactement égale à la troisième. 

Ils ne ressemblent pas à des triangles au sens courant, car ils sont plats, d'aire nulle et leurs points sont colinéaires. Pour qui s'intéresse de près aux mathématiques, ces triangles dégénérés restent toutefois valides en tant que triangles et sont importants dans les raisonnements par passage à la limite et les démonstrations. J'ai donc conservé le ≥ pour prendre en compte ces cas limites. On parle alors de « forme non stricte de l'inégalité triangulaire ».

Démonstration géométrique de l'inégalité triangulaire

L'inégalité triangulaire admet plusieurs démonstrations élégantes, dont l'une des plus célèbres remonte aux Éléments d'Euclide (Livre 1, Proposition 20). Voici comment comprendre la preuve de manière géométrique :

Considérons un triangle de côtés de longueurs x, y et z. Pour prouver que z ≤ x + y, on utilise l'idée que la distance la plus courte entre deux points est la ligne droite.

D'un triangle propre à des points colinéaires. Image de l'auteur

Comme illustré ci-dessus, on voit comment la relation entre les côtés évolue avec la forme du triangle. Dans un véritable triangle (en haut), la longueur d'un côté (z) est strictement inférieure à la somme des deux autres (x + y). À mesure que le sommet intermédiaire se rapproche de la droite reliant les deux autres sommets (image du milieu), la somme x + y tend à égaler z. Dans le cas limite (image du bas), lorsque les trois points deviennent colinéaires, on atteint l'égalité z = x + y.

Cette intuition s'aligne sur le principe fondamental selon lequel la distance la plus courte entre deux points est une ligne droite. Si l'on étiquette les trois sommets comme des points, le trajet direct d'un sommet à l'autre le long du côté z est plus court que le détour empruntant successivement les côtés x et y.

Une démonstration plus formelle, via la loi des cosinus, apporte un éclairage complémentaire :

• La loi des cosinus stipule que z² = x² + y² - 2xy·cos(θ), où θ est l'angle entre les côtés x et y
• Comme cos(θ) est au plus 1 (quand l'angle C vaut 0°), on obtient :
• z² ≤ x² + y² - 2xy = (x - y)²
• En prenant la racine carrée : z ≤ |x - y|
• Ce qui implique z ≤ x + y (l'inégalité triangulaire)

Pour les triangles rectangles, le théorème de Pythagore donne un autre angle d'approche :

• Dans un triangle rectangle, z² = x² + y²
• Donc z = √(x² + y²)
• Or √(x² + y²) < x + y pour x et y positifs, d'où z < x + y

L'explication intuitive est particulièrement parlante : pour aller d'un point à un autre, l'itinéraire direct (le long du côté z) est toujours plus court qu'un détour par un troisième point (en parcourant successivement les côtés x et y). Cette observation est au cœur de l'inégalité triangulaire et explique pourquoi elle est si fondamentale dans les calculs de distance.

Inégalité triangulaire dans les espaces vectoriels

L'inégalité triangulaire s'étend naturellement au-delà de la géométrie euclidienne, dans le cadre des espaces vectoriels, où elle devient une propriété fondamentale des normes vectorielles. Dans ce contexte, l'inégalité stipule que pour tous vecteurs u et v d'un espace vectoriel :

||u + v|| ≤ ||u|| + ||v||

Autrement dit, la norme (ou longueur) de la somme de deux vecteurs est au plus égale à la somme de leurs normes respectives. Cette propriété est indispensable pour qu'une application soit qualifiée de norme dans un espace vectoriel.

Le cas particulier le plus familier est celui des nombres réels, que l'on peut voir comme des vecteurs en dimension 1. Ici, l'inégalité triangulaire se réduit à l'inégalité sur la valeur absolue :

|a + b| ≤ |a| + |b|

Cette propriété fondamentale s'applique à différents types de normes dans les espaces vectoriels :

• Norme euclidienne (norme L²) : c'est la mesure de distance standard en espace euclidien, calculée comme la racine carrée de la somme des carrés des composantes. Pour les vecteurs de ℝⁿ, l'inégalité triangulaire confirme que la distance en ligne droite entre deux points est plus courte que la somme d'autres segments de trajet.
• Norme taxi (norme L¹) : également appelée distance de Manhattan, cette norme somme les différences absolues des composantes des vecteurs. Même si les trajets paraissent différents dans cette géométrie (déplacement en grille plutôt qu'en diagonale), l'inégalité triangulaire reste valable.
• p-normes : de manière générale, l'inégalité triangulaire vaut pour toutes les p-normes, avec p ≥ 1. Elles sont définies par ||x||ₚ = (∑|xᵢ|ᵖ)^(1/p).

La démonstration de l'inégalité triangulaire pour les normes vectorielles s'appuie souvent sur l'inégalité de Cauchy-Schwarz ou sur l'inégalité de Minkowski, selon la norme considérée.

Cette formulation dans les espaces vectoriels est particulièrement importante en machine learning et en data science, où les normes servent à mesurer des distances entre points de données, calculer des erreurs et définir des métriques de similarité. Comprendre comment l'inégalité triangulaire contraint ces distances fournit la base mathématique de nombreux algorithmes de clustering, de techniques de réduction de dimension et de méthodes d'optimisation.

Inégalité triangulaire dans les espaces métriques

Dans les espaces métriques, l'inégalité triangulaire joue un rôle fondateur : elle constitue l'un des axiomes qui définissent la notion de distance. Un espace métrique est un ensemble de points muni d'une fonction distance (ou métrique) qui quantifie l'éloignement entre deux points quelconques.

Pour qu'une fonction d soit une métrique sur un ensemble X, elle doit satisfaire trois propriétés clés pour tous points x, y et z de X :

1. Non-négativité et identité : d(x, y) ≥ 0, avec d(x, y) = 0 si et seulement si x = y
2. Symétrie : d(x, y) = d(y, x)
3. Inégalité triangulaire : d(x, z) ≤ d(x, y) + d(y, z)

Dans ce cadre, l'inégalité triangulaire affirme que la distance de x à z n'est jamais supérieure à la somme des distances de x à un point intermédiaire y et de y à z. Cette propriété garantit que le « trajet direct » entre deux points est toujours le plus court.

Cette propriété a des implications profondes dans l'étude des espaces métriques :

• Convergence des suites : l'inégalité triangulaire est essentielle pour prouver l'unicité des limites dans un espace métrique. Si une suite convergeait vers deux points distincts, l'inégalité serait violée.
• Continuité des fonctions : pour démontrer qu'une application entre espaces métriques est continue, on utilise l'inégalité triangulaire pour relier les distances dans le domaine et le codomaine.
• Inégalité triangulaire inverse : un corollaire utile énonce que |d(x, z) - d(y, z)| ≤ d(x, y). Cette inégalité permet de borner l'écart entre les distances de deux points à un troisième.

L'inégalité triangulaire inverse est particulièrement précieuse en géométrie algorithmique et en machine learning, car elle permet d'élaguer efficacement les espaces de recherche. Par exemple, dans les algorithmes des k plus proches voisins, elle aide à écarter des candidats sans calculer toutes les distances par paires.

Les espaces métriques offrent un cadre généralisé pour étudier de nombreuses structures mathématiques. Les espaces euclidiens, les espaces de fonctions et les espaces discrets peuvent tous être vus comme des espaces métriques, chacun doté de sa propre distance satisfaisant l'inégalité triangulaire. Cette perspective unificatrice explique pourquoi l'inégalité triangulaire apparaît si souvent dans différents domaines des mathématiques et de leurs applications.

Généralisations et extensions

L'inégalité triangulaire dépasse sa formulation de base pour les triangles et trouve des applications dans des structures géométriques plus complexes et des cadres mathématiques spécialisés.

Inégalité polygonale

Une généralisation naturelle de l'inégalité triangulaire s'applique aux polygones de plus de trois côtés. Pour tout polygone à n côtés :

• La somme des longueurs de n-1 côtés doit être supérieure à la longueur du côté restant.

L'intuition est similaire : pour fermer un polygone, un côté ne peut pas être plus long que tous les autres réunis. Cette généralisation a des applications en géométrie algorithmique, notamment dans les algorithmes de construction de polygones et la génération de maillages pour les graphismes et les simulations scientifiques.

Simplices en dimension supérieure

Le concept d'inégalité triangulaire s'étend aux simplexes de dimension supérieure — généralisations des triangles dans des espaces de dimension plus élevée :

• Un simplexe 3D est un tétraèdre
• Un simplexe 4D est une 5-cellule (ou pentachore)
• Et ainsi de suite en dimension supérieure

Dans chaque cas, des contraintes d'inégalités similaires s'appliquent aux arêtes de ces structures. Ces contraintes sont importantes en analyse de données en grande dimension, où elles aident à définir les configurations valides dans les espaces de caractéristiques.

Cas particuliers en géométries non euclidiennes

Fait intéressant, dans certaines géométries non euclidiennes, la nature de l'inégalité triangulaire change :

• Dans l'espace de Minkowski, utilisé en relativité restreinte, certaines mesures de distance (intervalles d'espace-temps) peuvent mener à une inégalité triangulaire inversée pour les séparations chronologiques. Cela signifie que, dans certains cas, la somme de deux côtés peut être inférieure au troisième.
• En géométrie hyperbolique, la somme des angles d'un triangle est inférieure à 180 degrés et l'inégalité triangulaire est plus stricte qu'en espace euclidien.
• En géométrie sphérique (comme à la surface de la Terre), le plus court chemin entre deux points est un grand cercle. L'inégalité triangulaire s'y applique toujours, avec des conséquences intéressantes pour la navigation et le calcul des distances.

Ces versions spécialisées de l'inégalité triangulaire sont cruciales en physique théorique, notamment en relativité générale, où la géométrie de l'espace-temps détermine les trajectoires des objets et de la lumière.

Conséquences en théorie de l'information

L'inégalité triangulaire apparaît également en théorie de l'information et en statistique :

• Certaines mesures de divergence, qui quantifient l'écart entre distributions de probabilité, satisfont des propriétés analogues à l'inégalité triangulaire
• Ces propriétés permettent de concevoir des algorithmes efficaces pour comparer et regrouper des distributions

Comprendre ces généralisations et extensions offre une vision plus profonde de la notion de distance et de séparation dans différentes structures mathématiques. Pour les professionnels des données, ces concepts sont de puissants leviers pour analyser des données en grande dimension, comprendre les contraintes des métriques de distance et développer des algorithmes qui explorent efficacement des espaces géométriques complexes.

Exemples et résolution de problèmes

Rien de tel que des exemples concrets pour bien comprendre l'inégalité triangulaire. Examinons plusieurs scénarios illustrant comment l'appliquer efficacement.

Vérifier la formation d'un triangle

Exemple 1 : déterminer si des côtés de longueurs 7, 10 et 16 peuvent former un triangle.

Solution : il faut vérifier les trois conditions de l'inégalité triangulaire :

• 7 + 10 = 17 > 16 ✓
• 7 + 16 = 23 > 10 ✓
• 10 + 16 = 26 > 7 ✓

Puisque les trois inégalités sont vérifiées, ces mesures peuvent former un triangle.

Exemple 2 : des côtés de longueurs 3, 4 et 8 peuvent-ils former un triangle ?

Solution : vérifions :

• 3 + 4 = 7 < 8 ✗
• 3 + 8 = 11 > 4 ✓
• 4 + 8 = 12 > 3 ✓

Comme l'une des conditions échoue (la somme des deux plus petits côtés est inférieure au plus long), ces longueurs ne peuvent pas former un triangle.

Utiliser l'inégalité triangulaire dans des preuves

Exemple 3 : démontrer que ||x| - |y|| ≤ |x - y| pour tous réels x et y.

Solution : c'est une application de l'inégalité triangulaire inverse. Partons de l'inégalité triangulaire : |x| = |x - y + y| ≤ |x - y| + |y|

En réarrangeant : |x| - |y| ≤ |x - y|

De même, on montre que |y| - |x| ≤ |y - x| = |x - y|

En combinant, on obtient : -|x - y| ≤ |x| - |y| ≤ |x - y|

Donc ||x| - |y|| ≤ |x - y|, ce qui est l'inégalité triangulaire inverse.

Applications en data science

Exemple 4 : un algorithme de clustering doit déterminer si un point P est possiblement à une distance d d'un point quelconque d'un cluster C, sans calculer la distance exacte à chaque point de C. Si l'on connaît le centroïde de C et son rayon r, comment l'inégalité triangulaire peut-elle aider ?

Solution : supposons que le centroïde du cluster C soit le point O et que son rayon r soit la distance maximale de O à tout point de C. Pour un point P hors du cluster :

• Notons dist(P,O) la distance de P au centroïde
• Par l'inégalité triangulaire inverse, pour tout point Q de C : dist(P,Q) ≥ dist(P,O) - dist(O,Q), donc dist(P,Q) ≥ dist(P,O) - r

Si dist(P,O) - r > d, alors dist(P,Q) > d pour tous les points Q du cluster C, ce qui signifie que P ne peut être à distance d d'aucun point du cluster. On peut ainsi écarter rapidement des clusters entiers sans calculer les distances individuelles.

Compétitions mathématiques

Exemple 5 : dans un problème d'olympiade : sachant que |x - 3| + |x + 1| = 10, trouver les valeurs possibles de x.

Solution : l'inégalité triangulaire est ici déguisée. Interprétation géométrique :

• |x - 3| représente la distance de x à 3 sur la droite réelle
• |x + 1| représente la distance de x à -1 sur la droite réelle
• Leur somme vaut 10

Cela signifie que le point x sur la droite est tel que la somme de ses distances aux points 3 et -1 est égale à 10. La distance entre 3 et -1 vaut |3 - (-1)| = 4.

Quand x est entre -1 et 3, la somme des distances vaut simplement (3 - x) + (x + 1) = 4, ce qui n'égale pas 10.

Quand x ≤ -1, la somme est |x - 3| + |x + 1| = (3 - x) + (-x - 1) = 2 - 2x = 10, donc x = -4.

Quand x ≥ 3, la somme est |x - 3| + |x + 1| = (x - 3) + (x + 1) = 2x - 2 = 10, donc x = 6.

Donc x = -4 ou x = 6.

Ces exemples illustrent la polyvalence de l'inégalité triangulaire en géométrie, en analyse, dans les algorithmes et en mathématiques de compétition. En maîtrisant ces applications, les praticiens des données peuvent concevoir des algorithmes plus efficaces et approfondir les fondements mathématiques des méthodes basées sur les distances.

Conclusion

L'inégalité triangulaire est un principe mathématique aux applications très larges. Partie d'une observation simple sur les triangles, elle est devenue un outil clé pour les calculs de distance, les algorithmes d'optimisation et les techniques d'analyse de données.

Pour approfondir ces notions en data science, explorez des ressources comme le parcours de carrière Machine Learning Scientist in Python. Ce programme développe des concepts mathématiques comme l'inégalité triangulaire et renforce les compétences analytiques nécessaires à une mise en œuvre efficace du machine learning.

La pérennité de l'inégalité triangulaire montre comment des idées mathématiques élégantes continuent d'influencer les méthodes de calcul modernes et la conception d'algorithmes dans de nombreuses disciplines.