# Proof of Triangle Inequality on $(\mathbb{R}^n, d_p)$

I have to prove the triangle inequality

$(|x_1 - z_1|^p + |x_2 - z_2|^p)^{1/p} \leq (|x_1 - y_1|^p + |x_2 - y_2|^p)^{1/p} + (|y_1 - z_1|^p + |y_2 - z_2|^p)^{1/p}$ for $p \geq 1$ on $\mathbb{R}^2$.

Two things are confusing me:

1) How we manipulate the expression, seeing as we can't use the standard triangle inequality $|x - z| \leq |x - y| + |y - z|$. I am used to using a $|x - z| = |x - z + y - y | < |x - y| + |y - z|$ method, however is this still valid given the powers of $p$?

2) Why this is an invalid statement for $0 < p < 1$

Sorry if these questions are a little basic, I'm just looking for a little guidance not a solution. Any help would be appreciated.

Thanks, Ash.

-
For 2), consider $(x_1,x_2)=(1,0)$, $(z_1,z_2)=(0,1)$, and $(y_1,y_2)=(0,0)$. –  Jonas Meyer Jan 15 '11 at 23:09

This is where Minkowski's Inequality comes in handy. See this (a question about Minkowski's inequality which uses Hölder's inequality in the proof).

-
If I am understanding correctly, using Minkowski's Inequality we can set $f=x-y, g=y-z$ and recover $||x-z||_p \leq ||x-y||_p + ||y-z||_p$, proving the statement? –  Ash Jan 15 '11 at 23:37
@Ash: Essentially, yes. –  Arturo Magidin Jan 16 '11 at 3:22

(1) It is not in general true that $|x+y|^p \leq |x|^p + |y|^p$ when $p\gt 1$: for example, take $x=y=1$, $p=2$. Then $|x+y|^p = |1+1|^2 = 4$, whereas $|x|^p + |y|^p = 1^2 + 1^2 = 2$. So, no, you cannot use such a "fact" for the proof, because it's not true. You really do need to prove the inequality that is given to you.

If $x_1=z_1$ and $x_2=z_2$, there is nothing to do, so we may assume that the left hand side is nonzero.

What you want to show is essentially Mikowski's inequality, much along the lines of the answer Trevor has linked to.

As to why there is such an essential difference between the case $p\geq 1$ and the case $0\lt p\lt 1$, the reason is that while the function $y=x^p$ is convex when $p\gt 1$ (and technically also for $x=1$) it is not so for $0\lt p\lt 1$. This is what hides behind the problems for $0\lt p\lt 1$.

-