Triangle inequality

related topics
{math, number, function}
{math, energy, light}
{rate, high, increase}

In mathematics, the triangle inequality states that for any triangle, the sum of the lengths of any two sides must be greater than the length of the remaining side.[1][2]

In Euclidean geometry and some other geometries the triangle inequality is a theorem about distances. In Euclidean geometry, for right triangles it is a consequence of Pythagoras' 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.[3][4]

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.

Contents

Full article ▸

related documents
Euclidean domain
Harmonic series (mathematics)
Monomorphism
Initial and terminal objects
Discrete space
Entailment
Infinite product
Torsion subgroup
Principal ideal
Coset
Combination
Fuzzy set
Inverse element
PSPACE
Connected space
Burali-Forti paradox
Gaussian integer
ElGamal encryption
Sigma-algebra
Bézout's theorem
Homeomorphism
Interior (topology)
List of logarithmic identities
Möbius inversion formula
Twin prime
Deque
Floor and ceiling functions
Convex hull
Quaternion group
Congruence relation