Skip to content

Triangle Inequality

Proposition

For all real numbers xx and y,y\text{,}

∣x+y∣≤∣x∣+∣y∣.|x+y|\leq |x|+|y|.

Interpretation

The triangle inequality bounds the size of a sum by the sizes of its parts: ∣x+y∣|x+y| is never more than ∣x∣+∣y∣|x|+|y|. It formalizes the idea that direct paths are never longer than indirect ones: walking xx and then yy ends at distance ∣x+y∣|x+y| from 00, after covering a total length of ∣x∣+∣y∣|x|+|y|.

Two pairs of arrows on number lines: x and y of the same sign, whose lengths add to the length of x + y, and x and y of opposite signs, where x + y is shorter than the sum of their lengths.

In the top diagram, xx and yy have the same sign, so ∣x+y∣=∣x∣+∣y∣|x+y|=|x|+|y|. In the bottom diagram their signs are opposite, so the displacements partly cancel. In general, equality holds precisely when xy≥0xy\ge0, including the case where either value is zero.

Walk xx, then yy: when they have the same sign the lengths add up exactly, and when the signs differ part of the walk is undone, so ∣x+y∣<∣x∣+∣y∣|x+y|<|x|+|y|.

Applied to differences, the inequality becomes a statement about three points on the line. Writing x−z=(x−y)+(y−z)x-z=(x-y)+(y-z) gives

∣x−z∣≤∣x−y∣+∣y−z∣,|x-z|\le|x-y|+|y-z|,

so the distance from xx to zz is at most the distance via a third point yy. This is the form used most often: to show that two numbers are close, compare both with a third number. Applying the inequality to x=(x−y)+yx=(x-y)+y and to y=(y−x)+xy=(y-x)+x also gives the reverse triangle inequality ∣∣x∣−∣y∣∣≤∣x−y∣\bigl||x|-|y|\bigr|\le|x-y|.

A common slip is to expect ∣x−y∣≤∣x∣−∣y∣|x-y|\le|x|-|y|; it fails for x=0x=0 and y=1y=1, where it would say 1≤−11\le-1. The correct bounds are ∣∣x∣−∣y∣∣≤∣x−y∣≤∣x∣+∣y∣\bigl||x|-|y|\bigr|\le|x-y|\le|x|+|y|. The name becomes literal later, for the side lengths of a triangle formed by vectors in Math II.


Key Results


Examples

  • ∣3+(−1)∣≤∣3∣+∣−1∣.|3+(-1)|\le |3|+|{-1}|\text{.}
  • ∣x−y∣≤∣x∣+∣y∣|x-y|\le |x|+|y| for all real numbers x,y.x,y\text{.}

Prerequisites

Sources

Last updated: 20 October 2026 03:02