# Name of Inequality

Let $x_i, y_i$ be complex numbers for all $i$.

Is there a name for the following inequality? $$\left| \sum_{i=1}^n x_i \right| \leq \sum_{j=1}^n |x_j|$$

In particular, is it a special case of this form of the Cauchy-Schwarz Inequality?

$$\left| \sum_{i=1}^n x_i \bar{y}_i \right|^2 \leq \sum_{j=1}^n |x_j|^2 \sum_{k=1}^n |y_k|^2$$

• This is the triangle inequality. – user1337 Jan 25 '15 at 0:56
• This inequality is often a defining property for norms/distance measures. In such cases Cauchy Schwarz inequality itself relies on this property. Where the norm is defined by an inner product, Cauchy Schwarz can be used to prove the triangle inequality. – Macavity Jan 25 '15 at 2:18
• In inner products spaces you can get triangle inequality from Cauchy-Schwarz. You should be able to find relatively easily such proofs online. – Martin Sleziak Jan 25 '15 at 11:01

• @user208884 it is the same as the triangle inequality for $R^2$, which in fact can be derived from C-S. – quid Jan 25 '15 at 0:59