2lxl=l2xl=l-2xl=l-2x+x+y+zl=lx+y-x+z-xl
alor 2lxl est inf a lxl+lx-yl+lx-zl
et 2lyl est inf a lyl+ly-zl+ly-xl
et 2lzl est inf a lzl+ly-zl+lz-xl
alor par additon on trouve que 2(lxl+lyl+lzl) est inf a lxl+lyl+lzl+2(lx-yl+ly-zl+lz-xl
alor lxl+lyl+lzl est inf a 2(lx-yl+ly-zl+lz-xl)
alor lx-y|+|y-z|+ |z-x|>= 1/2(|x|+|y|+|z|)