∑
MathTCG
#169 / 200•Foundations•MathTCG #169 / 500•★Commune•△Géométrie•Théorème

Inégalité triangulaire

Période historique : Antiquité (Euclide, Éléments Livre I)

Le plus court chemin entre deux points est la ligne droite : |x + y| ≤ |x| + |y|.

Contenu & Formulation mathématique

Hypothèses nécessaires
x, y éléments d'un espace vectoriel normé.
Énoncé formel
Dans tout espace vectoriel normé (ou espace métrique), la norme de la somme de deux vecteurs est inférieure ou égale à la somme de leurs normes respectives.
∥x+y∥≤∥x∥+∥y∥\|x + y\| \le \|x\| + \|y\|

Genèse & Portée historique

Propriété métrique universelle affirmant que la longueur d'un côté d'un triangle ne peut jamais excéder la somme des longueurs des deux autres côtés. Elle constitue l'axiome fondamental définissant toute distance ou norme dans un espace métrique.

Les philosophes épicuriens de l'Antiquité se moquaient gentiment de la démonstration rigoureuse d'Euclide dans les Éléments (Proposition 20), faisant remarquer que même un âne sait courir en ligne droite vers une botte de foin.

« Le détour rallonge toujours la course : seule la ligne droite unit sans surplus. »

Filiations & Relations conceptuelles (1)

Objet de collection MathTCG

#169
★Commune
△

Inégalité triangulaire

Géométrie•THÉORÈME

Hypothèses : x, y éléments d'un espace vectoriel normé.

∥x+y∥≤∥x∥+∥y∥\|x + y\| \le \|x\| + \|y\|
Antiquité (Euclide, Éléments Livre I)

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.

Extension : Foundations (#169 / 200)
Numéro global MathTCG : MathTCG #169 / 500
Rareté officielle : Commune (★)
Domaine théorique : Géométrie
Identifiant pérenne : inegalite-triangulaire