In mathematics, the triangle inequality states that for any triangle, the sum of the lengths of any two sides must be greater than or equal to the length of the remaining side. If x, y, and z are the lengths of the sides of the triangle, then the triangle inequality states that
with equality only in the degenerate case of a triangle with zero area. In Euclidean geometry and some other geometries, the triangle inequality is a theorem about distances, and it is written using vectors and vector lengths (norms):
where the length z of the third side has been replaced by the vector sum x+y. When x and y are real numbers, they can be viewed as vectors in R1, and the triangle inequality expresses a relationship between absolute values.
In Euclidean geometry, for right triangles the triangle inequality is a consequence of the Pythagorean theorem, and for general triangles a consequence of the law of cosines, although it may be proven without these theorems. The inequality can be viewed intuitively in either R2 or R3. The figure at the right shows three examples beginning with clear inequality (top) and approaching equality (bottom). In the Euclidean case, equality occurs only if the triangle has a 180° angle and two 0° angles, making the three vertices collinear, as shown in the bottom example. Thus, in Euclidean geometry, the shortest distance between two points is a straight line.
In spherical geometry, the shortest distance between two points is an arc of a great circle, but the triangle inequality holds provided the restriction is made that the distance between two points on a sphere is the length of a minor spherical line segment (that is, one with central angle in [0, π]) with those endpoints.
The triangle inequality is a defining property of norms and measures of distance. This property must be established as a theorem for any function proposed for such purposes for each particular space: for example, spaces such as the real numbers, Euclidean spaces, the Lp spaces (p ≥ 1), and inner product spaces.
- 1 Euclidean geometry
- 1.1 Mathematical expression of the constraint on the sides of a triangle
- 1.2 Right triangle
- 1.3 Some practical examples of the use of the triangle inequality
- 1.4 Generalization of the inequality to any polygon
- 1.5 Generalization of the inequality to higher dimensions
- 2 Normed vector space
- 3 Metric space
- 4 Reverse triangle inequality
- 5 Reversal in Minkowski space
- 6 See also
- 7 Notes
- 8 References
- 9 External links
Euclid proved the triangle inequality for distances in plane geometry using the construction in the figure. Beginning with triangle ABC, an isosceles triangle is constructed with one side taken as BC and the other equal leg BD along the extension of side AB. It then is argued that angle β > α, so side AD > AC. But AD = AB + BD = AB + BC so the sum of sides AB + BC > AC. This proof appears in Euclid's Elements, Book 1, Proposition 20.
Mathematical expression of the constraint on the sides of a triangle
The triangle inequality, as stated in words, literally translates into three inequalities (given that the side lengths a, b, c are all positive):
A more succinct form of such a statement can easily be shown to be
Another way to state it is
and thus that the longest side length is less than the semiperimeter.
A specialization of this argument to right triangles is:
- In a right triangle, the hypotenuse is greater than either of the two sides, and less than their sum.
The second part of this theorem already is established above for any side of any triangle. The first part is established using the lower figure. In the figure, consider the right triangle ADC. An isosceles triangle ABC is constructed with equal sides AB = AC. From the triangle postulate, the angles in the right triangle ADC satisfy:
Likewise, in the isosceles triangle ABC, the angles satisfy:
and so, in particular,
That means side AD opposite angle α is shorter than side AB opposite the larger angle β. But AB = AC. Hence:
A similar construction shows AC > DC, establishing the theorem.
An alternative proof (also based upon the triangle postulate) proceeds by considering three positions for point B: (i) as depicted (which is to be proven), or (ii) B coincident with D (which would mean the isosceles triangle had two right angles as base angles plus the vertex angle γ, which would violate the triangle postulate), or lastly, (iii) B interior to the right triangle between points A and D (in which case angle ABC is an exterior angle of a right triangle BDC and therefore larger than π/2, meaning the other base angle of the isosceles triangle also is greater than π/2 and their sum exceeds π in violation of the triangle postulate).
This theorem establishing inequalities is sharpened by Pythagoras' theorem to the equality that the square of the length of the hypotenuse equals the sum of the squares of the other two sides.
Some practical examples of the use of the triangle inequality
Consider a triangle whose sides are in an arithmetic progression and let the sides be a, a + d, a + 2d. Then the triangle inequality requires that
To satisfy all these inequalities requires
- and 
When d is chosen such that d = a/3, it generates a right triangle that is always similar to the Pythagorean triple with sides 3, 4, 5.
Now consider a triangle whose sides are in a geometric progression and let the sides be a, ar, ar2. Then the triangle inequality requires that
The first inequality requires a > 0, consequently it can be divided through and eliminated. With a > 0, the middle inequality only requires r > 0. This now leaves the first and third inequalities needing to satisfy
The first of these quadratic inequalities requires r to range in the region beyond the value of the positive root of the quadratic equation
r2 + r − 1 = 0, i.e. r > φ − 1 where φ is the golden ratio. The second quadratic inequality requires r to range between 0 and the positive root of the quadratic equation r2 − r − 1 = 0, i.e. 0 < r < φ. The combined requirements result in r being confined to the range
- and 
When r the common ratio is chosen such that r = √φ it generates a right triangle that is always similar to the Kepler triangle.
Generalization of the inequality to any polygon
The triangle inequality can be extended by mathematical induction to arbitrary polygonal paths, showing that the total length of such a path is no less than the length of the straight line between its endpoints. Consequently the length of any polygon side is always less than the sum of the other polygon side lengths.
Example of the generalized polygon inequality for a quadrilateral
Consider a quadrilateral whose sides are in a geometric progression and let the sides be a, ar, ar2, ar3. Then the generalized polygon inequality requires that
These inequalities for reduce to the following
The LHS polynomials of these two inequalities have roots that are the tribonacci constant and its reciprocal. Consequently r is limited to the range where t is the tribonacci constant.
Relationship with shortest paths
This generalization can be used to prove that the shortest curve between two points in Euclidean geometry is a straight line.
No polygonal path between two points is shorter than the line between them. This implies that no curve can have an arc length less than the distance between its endpoints. By definition, the arc length of a curve is the least upper bound of the lengths of all polygonal approximations of the curve. The result for polygonal paths shows that the straight line between the endpoints is shortest of all the polygonal approximations. Because the arc length of the curve is greater than or equal to the length of every polygonal approximation, the curve itself cannot be shorter than the straight line path.
Generalization of the inequality to higher dimensions
In Euclidean space, the hypervolume of an (n − 1)-facet of an n-simplex is less than or equal to the sum of the hypervolumes of the other n facets. In particular, the area of a triangular face of a tetrahedron is less than or equal to the sum of the areas of the other three sides.
Normed vector space
that is, the norm of the sum of two vectors is at most as large as the sum of the norms of the two vectors. This is also referred to as subadditivity. For any proposed function to behave as a norm, it must satisfy this requirement.
If the normed space is euclidean, or, more generally, strictly convex, then if and only if the triangle formed by ,, and , is degenerate, that is, and are on the same ray, i.e., or , or for some . This property characterizes strictly convex normed spaces such as the spaces . However, there are normed spaces in which this is not true. For instance, consider the plane with the norm (the Manhattan distance) and denote and . Then the triangle formed by ,, and , is non-degenerate but
- Absolute value as norm for the real line. To be a norm, the triangle inequality requires that the absolute value satisfy for any real numbers x and y:
- which it does.
The triangle inequality is useful in mathematical analysis for determining the best upper estimate on the size of the sum of two numbers, in terms of the sizes of the individual numbers.
There is also a lower estimate, which can be found using the reverse triangle inequality which states that for any real numbers x and y:
- Inner product as norm in an inner product space. If the norm arises from an inner product (as is the case for Euclidean spaces), then the triangle inequality follows from the Cauchy–Schwarz inequality as follows: Given vectors x and y, and denoting the inner product as :
(by the Cauchy-Schwarz Inequality)
- where the last form is a consequence of:
The Cauchy-Schwarz Inequality turns into an equality if and only if and are linearly dependent. The inequality turns into an equality for linearly dependent and if and only if one of the vectors or is a nonnegative scalar of the other.
- Taking the square root of the final result gives the triangle inequality.
- where the are the components of vector . For p = 2 the p-norm becomes the Euclidean norm:
- which is Pythagoras' theorem in n-dimensions, a very special case corresponding to an inner product norm. Except for the case p = 2, the p-norm is not an inner product norm, because it does not satisfy the parallelogram law. The triangle inequality for general values of p is called Minkowski's inequality. It takes the form:
for all x, y, z in M. That is, the distance from x to z is at most as large as the sum of the distance from x to y and the distance from y to z.
The triangle inequality is responsible for most of the interesting structure on a metric space, namely, convergence. This is because the remaining requirements for a metric are rather simplistic in comparison. For example, the fact that any convergent sequence in a metric space is a Cauchy sequence is a direct consequence of the triangle inequality, because if we choose any and such that and , where is given and arbitrary (as in the definition of a limit in a metric space), then by the triangle inequality, , so that the sequence is a Cauchy sequence, by definition.
This version of the triangle inequality reduces to the one stated above in case of normed vector spaces where a metric is induced via , with being the vector pointing from point y to x.
Reverse triangle inequality
The reverse triangle inequality is an elementary consequence of the triangle inequality that gives lower bounds instead of upper bounds. For plane geometry the statement is:
- Any side of a triangle is greater than the difference between the other two sides.
In the case of a normed vector space, the statement is:
or for metric spaces, | d(y, x) − d(x, z) | ≤ d(y, z). This implies that the norm ||–|| as well as the distance function d(x, –) are Lipschitz continuous with Lipschitz constant 1, and therefore are in particular uniformly continuous.
The proof for the reverse triangle uses the regular triangle inequality, and :
Combining these two statements gives:
Reversal in Minkowski space
In the usual Minkowski space and in Minkowski space extended to an arbitrary number of spatial dimensions, assuming null or timelike vectors in the same time direction, the triangle inequality is reversed:
- such that and
- Wolfram MathWorld - http://mathworld.wolfram.com/TriangleInequality.html
- Mohamed A. Khamsi, William A. Kirk (2001). "§1.4 The triangle inequality in ℝn". An introduction to metric spaces and fixed point theory. Wiley-IEEE. ISBN 0-471-41825-0.
- Oliver Brock, Jeff Trinkle, Fabio Ramos (2009). Robotics: Science and Systems IV. MIT Press. p. 195. ISBN 0-262-51309-9.
- Arlan Ramsay, Robert D. Richtmyer (1995). Introduction to hyperbolic geometry. Springer. p. 17. ISBN 0-387-94339-0.
- Harold R. Jacobs (2003). Geometry: seeing, doing, understanding (3rd ed.). Macmillan. p. 201. ISBN 0-7167-4361-2.
- David E. Joyce (1997). "Euclid's elements, Book 1, Proposition 20". Euclid's elements. Dept. Math and Computer Science, Clark University. Retrieved 2010-06-25.
- Claude Irwin Palmer (1919). Practical mathematics for home study: being the essentials of arithmetic, geometry, algebra and trigonometry. McGraw-Hill. p. 422.
- Alexander Zawaira, Gavin Hitchcock (2009). "Lemma 1: In a right-angled triangle the hypotenuse is greater than either of the other two sides". A primer for mathematics competitions. Oxford University Press. ISBN 0-19-953988-X.
- Wolfram|Alpha. "input: solve 0<a<2a+3d, 0<a+d<2a+2d, 0<a+2d<2a+d,". Wolfram Research. Retrieved 2010-09-07.
- Wolfram|Alpha. "input: solve 0<a<ar+ar2, 0<ar<a+ar2, 0<ar2<a+ar". Wolfram Research. Retrieved 2010-09-07.
- Wolfram|Alpha. "input: solve 0<a<ar+ar2+ar3, 0<ar3<a+ar+ar2". Wolfram Research. Retrieved 2012-07-29.
- John Stillwell (1997). Numbers and Geometry. Springer. ISBN 978-0-387-98289-2. p. 95.
- Rainer Kress (1988). "§3.1: Normed spaces". Numerical analysis. Springer. p. 26. ISBN 0-387-98408-9.
- John Stillwell (2005). The four pillars of geometry. Springer. p. 80. ISBN 0-387-25530-3.
- Karen Saxe (2002). Beginning functional analysis. Springer. p. 61. ISBN 0-387-95224-1.
- Anonymous (1854). "Exercise I. to proposition XIX". The popular educator; fourth volume. Ludgate Hill, London: John Cassell. p. 196.
- Pedoe, Daniel (1988). Geometry: A comprehensive course. Dover. ISBN 0-486-65812-0..
- Rudin, Walter (1976). Principles of Mathematical Analysis. New York: McGraw-Hill. ISBN 0-07-054235-X..