Inégalité triangulaire

Fichier:Dreieck.svg

Triangle.

En géométrie, l'inégalité triangulaire est le fait que, dans un triangle, la longueur d'un côté est inférieure à la somme des longueurs des deux autres côtés. Cette inégalité est relativement intuitive. Dans la vie ordinaire, comme dans la géométrie euclidienne, cela se traduit par le fait que la ligne droite est le plus court chemin : le plus court chemin d'un point A à un point B est d'y aller tout droit, sans passer par un troisième point C qui ne serait pas sur la ligne droite.

De façon plus abstraite, cette inégalité correspond au fait que la distance directe est une valeur minimale de distance. Elle est aussi une propriété ou condition nécessaire à la définition d'une bonne distance. Cette distance est un choix possible en métrique mathématique, mais pas forcément le meilleur, suivant les cas et les usages.

Énoncés

En géométrie

Dans un plan euclidien, soit un triangle ABC. Alors les longueurs AB, AC et BC vérifient les trois inégalités suivantes :

• <math>AB \leqslant AC + CB</math> ;
• <math>AC \leqslant AB + BC</math> ;
• <math>BC \leqslant BA + AC</math>.

La conjonction de ces trois inégalités équivaut à la double inégalité : <math>|AC - CB| \leqslant AB \leqslant AC+CB</math>.

La première de ces dernières inégalités traduit que dans un triangle, la longueur d'un côté est supérieure à la différence des longueurs des deux autres<ref>Modèle:Ouvrage</ref>.

Le cas d'égalité dans la deuxième inégalité s'écrit : Modèle:Retrait

Pour les nombres complexes

En utilisant une représentation complexe du plan euclidien, on peut noter

• <math> x=\text{affixe de }\overrightarrow{AC}</math>
• <math>y=\text{affixe de }\overrightarrow{CB}</math>

On obtient cette formulation équivalente.

Pour <math>(x, y) \in\Complex^2</math>, on a :

• <math>|x+y| \leqslant |x|+|y|</math> ;
• <math>|x+y| = |x|+|y| \Longleftrightarrow \exists (\lambda,\mu) \in\R_+^2\setminus\{(0,0)\},\ \lambda y= \mu x</math>.

Généralisation aux espaces préhilbertiens

Soit <math>(E,\langle\cdot|\cdot\rangle)</math> un espace préhilbertien réel. On note <math>\|\cdot \|</math> la norme associée au produit scalaire. Pour <math>(x,y)\in E^2</math>, en utilisant l'inégalité de Cauchy-Schwarz et son cas d'égalité, on démontre alors<ref>Voir par exemple Modèle:Note autre projet</ref> l'inégalité de Minkowski :

• <math>\|x+y\| \leqslant \|x\| + \|y\|</math> ;
• <math>\|x+y\| = \|x\| + \|y\| \Longleftrightarrow \exists (\lambda,\mu) \in\R_+^2\setminus\{(0,0)\},\ \lambda y=\mu x</math> (<math>x</math> et <math>y</math> positivement liés).

(Tout espace préhilbertien complexe <math>(E, \langle \cdot | \cdot \rangle')</math> est un espace préhilbertien réel, pour le produit scalaire <math>\langle x|y\rangle:=\mathrm{Re}(\langle x|y\rangle')</math>, qui induit la même norme que le produit hermitien <math>\langle \cdot | \cdot \rangle'</math>.)

Point de vue axiomatique

Soient Modèle:Math un ensemble et <math>d : E\times E\to\R^+</math>. On dit que Modèle:Math est une distance sur Modèle:Math si :

• <math>\forall (x,y)\in E^2,\ d(x,y)=d(y,x)</math>
• <math>\forall (x,y)\in E^2,\ d(x,y)=0\Longleftrightarrow x=y</math>
• <math>\forall (x,y,z)\in E^3,\ d(x,z)\leqslant d(x,y)+d(y,z)</math>

La troisième propriété demandée à <math>d</math> pour être une distance est de vérifier l'inégalité triangulaire. Jointe à la première, elle entraîne :

• <math>\forall (x,y,z)\in E^3,\ |d(x,z)-d(y,z)|\leqslant d(x,y)</math>

et plus généralement, pour toute partie non vide Modèle:Math de Modèle:Math, <math>|d(x,A)-d(y,A)|\leqslant d(x,y)</math> (voir « Distance d'un point à une partie »).

Réciproquement, <math>|d(x,z)-d(y,z)|\leqslant d(x,y)\Longrightarrow d(x,z)\leqslant d(x,y)+d(y,z)</math>.

Tout espace vectoriel normé <math>(E,\|~\|)</math> — en particulier <math>(\Complex,|~|)</math> — est naturellement muni d'une distance <math>d</math>, définie par <math>d(x,y)=\|x-y\|</math>, pour laquelle la majoration <math>|d(x,0)-d(y,0)|\leqslant d(x,y)</math> se réécrit :

• <math>\Big|\|x\|-\|y\|\Big|\leqslant\|x-y\|</math>.

Inégalité triangulaire généralisée

On peut itérer l'inégalité triangulaire pour un nombre fini d'éléments.

En géométrie, cela donne :

<math>A_1A_n\leqslant A_1A_2+\cdots A_{n-1}A_n</math> , cas d'égalité pour <math>A_1,A_2,\cdots,A_n</math> alignés dans cet ordre.

Pour les complexes, cela donne :

<math>|z_1+z_2+\cdots+z_n|\leqslant|z_1|+|z_2|+\cdots+|z_n|</math> , cas d'égalité si <math>z_1\neq0</math> : <math>z_k/z_1</math> réels strictement positifs pour <math>k=1\cdots n</math>.

Pour un espace vectoriel normé :

<math>\|x_1+x_2+\cdots+x_n\|\leqslant\|x_1\|+\|x_2\|+\cdots+\|x_n\|</math>.

Cas d'égalité dans le cas préhilbertien : les <math>x_k</math> positivement liés deux à deux.

Inégalité triangulaire pour les intégrales

Si <math>f</math> est une fonction intégrable au sens de Riemann (en particulier si elle est continue par morceaux) sur un intervalle <math>[a,b],a<b</math>, à valeurs dans un espace vectoriel normé, alors <ref>Modèle:Ouvrage</ref> :

<math>\left \Vert \int_a^bf(x)dx \right \Vert\leqslant \int_a^b\left \Vert f(x)\right \Vert dx</math>

Cas d'égalité si <math>f</math> est continue à valeurs complexes : il existe une constante <math>k</math> de module 1 telle que <math>f=k|f|</math> sur <math>[a,b]</math>.

Dans le cas réel, cela équivaut à ce que <math>f</math> soit de signe constant sur <math>[a,b]</math>.

Voir aussi

• Groupe totalement ordonné
• Inégalité de Ptolémée, qui en constitue une application non triviale