Topologie générale, IX, p. 101
Soit E un espace normé sur le corps R. Montrer que si x,y,z sont trois points linéairement dépendants dans E, on a
∥x+y∥+∥y+z∥+∥z+x∥≤∥x∥+∥y∥+∥z∥+∥x+y+z∥.
(En considérant éventuellement les points x′=x,y′=y,z′=−x−y−z, montrer qu’on peut se ramener au cas où x+βy+γz=0 avec 0≤β≤1,0≤γ≤1; écrire alors x+y=(1−β)y−γz,−(x+z)=βy−(1−γ)z.)