General Topology, IX, p. 101
Let E be a normed space over the field R. Now prove that if x,y,z are three linearly dependent points in E, one has
∥x+y∥+∥y+z∥+∥z+x∥≤∥x∥+∥y∥+∥z∥+∥x+y+z∥.
(Considering, if necessary, the points x′=x,y′=y,z′=−x−y−z, prove that one can reduce to the case where x+βy+γz=0 with 0≤β≤1,0≤γ≤1; then write x+y=(1−β)y−γz,−(x+z)=βy−(1−γ)z.)