Bourbaki

Exercise 13, § 3

General Topology, IX, p. 101

Let EE be a normed space over the field RR. Now prove that if x,y,zx, y, z are three linearly dependent points in EE, one has

∥x+y∥+∥y+z∥+∥z+x∥≤∥x∥+∥y∥+∥z∥+∥x+y+z∥. \|x + y\| + \|y + z\| + \|z + x\| \leq \|x\| + \|y\| + \|z\| + \|x + y + z\|.

(Considering, if necessary, the points x′=x,y′=y,z′=−x−y−zx' = x, y' = y, z' = -x - y - z, prove that one can reduce to the case where x+βy+γz=0x + \beta y + \gamma z = 0 with 0≤β≤1,0≤γ≤10 \leq \beta \leq 1, 0 \leq \gamma \leq 1; then write x+y=(1−β)y−γz,−(x+z)=βy−(1−γ)z.x + y = (1 - \beta)y - \gamma z, -(x + z) = \beta y - (1 - \gamma)z.)

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.