Tô pô đại cương, IX, p. 101
Cho E là một không gian chuẩn trên trường R. Bây giờ chứng minh rằng nếu x,y,z là ba điểm phụ thuộc tuyến tính trong E, thì ta có
∥x+y∥+∥y+z∥+∥z+x∥≤∥x∥+∥y∥+∥z∥+∥x+y+z∥.
(Xét, nếu cần thiết, các điểm x′=x,y′=y,z′=−x−y−z, chứng minh rằng có thể rút gọn về trường hợp x+βy+γz=0 với 0≤β≤1,0≤γ≤1; rồi viết x+y=(1−β)y−γz,−(x+z)=βy−(1−γ)z.)