Inégalité triangulaire

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Triangle.

En mathématiques, l'inégalité triangulaire exprime l'idée que la distance est une mesure minimale. Dans la géométrie euclidienne cela se traduit par le fait que la ligne droite est le chemin le plus court. Cette inégalité peut être énoncée sous la forme d'une propriété ou bien d'une condition nécessaire à la bonne définition d'une distance.

Énoncés[modifier | modifier le code]

En géométrie[modifier | modifier le code]

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

 ;
 ;
.

Réciproquement, étant données trois longueurs dont chacune (ou, ce qui suffit : la plus grande) est inférieure à la somme des deux autres, il existe un triangle ayant ces longueurs de côté.

Une propriété se déduit de ces inégalités :

Une autre les complète :

.

Pour les nombres complexes[modifier | modifier le code]

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

On obtient cette formulation équivalente.

Pour , on a :

  •  ;
  • .

Généralisation aux espaces préhilbertiens[modifier | modifier le code]

Soit un espace préhilbertien réel. On note la norme associée au produit scalaire. Pour , on vérifie alors :

  •  ;
  • .

(Tout espace préhilbertien complexe est un espace préhilbertien réel, pour le produit scalaire , qui induit la même norme que le produit hermitien .)

Point de vue axiomatique[modifier | modifier le code]

Article détaillé : Distance (mathématiques).

Soient E un ensemble et . On dit que d est une distance sur E si :

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

et plus généralement, pour toute partie non vide A de E, (voir « Distance d'un point à une partie »).

Réciproquement, .

Tout espace vectoriel normé — en particulier — est naturellement muni d'une distance , définie par , pour laquelle la majoration se réécrit :

  • .

Démonstration[modifier | modifier le code]

Soient un espace préhilbertien réel et .

Inégalité[modifier | modifier le code]

On a .

Par l'inégalité de Cauchy-Schwarz, .

D'où .

Et donc .

(Si est le plan euclidien, identifié au plan complexe muni du produit scalaire u, v⟩ = Re(u v) — dont la norme associée est le module — l'inégalité de Cauchy-Schwarz utilisée ici est, de même que le cas d'égalité ci-dessous, une propriété élémentaire des nombres complexes.)

Cas d'égalité[modifier | modifier le code]

Supposons que et .

Par ce qui précède, on a donc .

Donc, par le cas d'égalité de Cauchy-Schwarz, avec .

Finalement, on a bien , avec .

Articles connexes[modifier | modifier le code]