The triangle inequality for real numbers states that for any real numbers a and b, the absolute value of their sum is at most the sum of their absolute values: |a + b| ≤ |a| + |b|. This rule captures a basic geometric fact: the length of one side of a triangle cannot exceed the combined lengths of the other two sides. It is foundational in analysis, metric spaces, and error measurement, and it underpins proofs involving limits, continuity, and distance. This guide explains the definition, standard forms, examples, and why the inequality matters in real-number contexts.
Definition and Standard Statement
For any real numbers x and y, the triangle inequality is expressed as |x + y| ≤ |x| + |y|. In words, the absolute value of a sum is less than or equal to the sum of the absolute values. When x and y have the same sign or one is zero, equality holds (|x + y| = |x| + |y|). When they have opposite signs, the sum’s absolute value is strictly smaller, reflecting partial cancellation. The inequality also extends to more than two terms, so |x + y + z| ≤ |x| + |y| + |z|, and to any finite list of real numbers.
Geometric Interpretation on the Real Line
On the real number line, |a − b| represents the distance between points a and b. The triangle inequality for distances says |a − c| ≤ |a − b| + |b − c| for any points a, b, and ca to c is never longer than going from a to b and then to c. In the degenerate case where b lies between a and c, equality holds; otherwise the inequality is strict. This is the essence of the name: three points on a line or in a plane form a triangle or a degenerate ‘flat’ triangle, and no single side can be longer than the sum of the other two.
Key Properties and Equivalent Forms
Several useful consequences follow directly from the basic triangle inequality:
- Reverse triangle inequality:
||x| − |y|| ≤ |x − y|, which bounds how much absolute values can differ. - Generalized to n terms:
|∑ᵢ xᵢ| ≤ ∑ᵢ |xᵢ|. - For products and differences:
| |x| − |y| | ≤ |x ± y| ≤ |x| + |y|.
These properties are routinely used to control sizes of expressions in proofs and estimates.
Worked Examples and Edge Cases
Concrete examples clarify when equality holds and when the inequality is strict:
| Values of x and y | Compute |x + y| | Compute |x| + |y| | Relation |
|---|---|---|---|
| x = 3, y = 4 | |7| = 7 | 3 + 4 = 7 | Equality (same sign) |
| x = −2, y = −5 | |−7| = 7 | 2 + 5 = 7 | Equality (same sign) |
| x = 6, y = −3 | |3| = 3 | 6 + 3 = 9 | Strict inequality (opposite signs) |
| x = 0, y = −8 | |−8| = 8 | 0 + 8 = 8 | Equality (one zero) |
In the first two rows, both numbers share a sign, so the absolute value of the sum equals the sum of the absolute values. In the third row, cancellation occurs because the numbers have opposite signs, making |x + y| strictly less than |x| + |y|. The fourth row shows that zero does not break the inequality; equality still holds.
Common Misconceptions
A frequent error is to assume the reverse inequality |x + y| ≥ |x| + |y| can hold for nonzero reals; it cannot, because absolute value is subadditive. Another misconception is that |x + y| = |x| + |y| implies both numbers are positive; in fact, equality holds whenever x and y have the same sign or at least one is zero. Also, while |x + y| = |x| + |y| for same-sign reals, the individual magnitudes can differ widely; the equality is about alignment of sign, not magnitude.
Applications and Why It Matters
The triangle inequality is a workhorse in many areas:
- Analysis and calculus: It justifies continuity of absolute value and is used to bound errors in approximations.
- Metric spaces: It defines the triangle inequality for distances, ensuring that direct paths are shortest.
- Computer science and numerical methods: It helps analyze algorithm stability and error propagation.
- Inequalities and optimization: It is used to derive bounds in proofs and to constrain feasible regions.
Because it relies only on the properties of absolute value and ordering of real numbers, the triangle inequality for real numbers is timeless and applies regardless of how large or small the values are, as long as they are real.
Summary and Quick Reference
For any real numbers x and y, the core relationship is |x + y| ≤ |x| + |y|. Equality occurs exactly when x and y are both nonnegative, both nonpositive, or at least one is zero. The inequality is strict when the numbers have opposite signs and neither is zero. This rule extends to any finite sum, to distances on the real line, and to higher-dimensional settings, making it a fundamental and enduring property of real numbers.