Triangle inequality

Lore & Background

In Euclidean geometry, the triangle inequality is a theorem about vectors and vector lengths (norms), expressed as ‖u + v‖ ≤ ‖u‖ + ‖v‖. For right triangles, it is a consequence of the Pythagorean theorem, and for general triangles, a consequence of the law of cosines, though it may be proved without these theorems. Euclid proved the triangle inequality for distances in plane geometry using a construction in which an isosceles triangle is built along the extension of one side, showing that the sum of two sides is greater than the third.

The inequality can be viewed intuitively in either R² or R³. In the Euclidean case, equality occurs only if the triangle has a 180° angle and two 0° angles, making the three vertices collinear. In spherical geometry, the triangle inequality holds provided the distance between two points on a sphere is the length of a minor spherical line segment (central angle in [0, π]).

Reader's Guide

The triangle inequality is a defining property of norms and measures of distance, and must be established as a theorem for any function proposed for such purposes in each particular space—for example, real numbers, Euclidean spaces, Lp spaces (p ≥ 1), and inner product spaces. For a proper triangle (excluding degenerate cases of zero area), the inequality translates into three strict inequalities: a + b > c, b + c > a, c + a > b. A more succinct form is |a - b| < c < a + b, and another states that the longest side length is less than the semiperimeter. A mathematically equivalent formulation is that the area of a triangle, given by Heron's formula, must be a real number greater than zero. The theorem's significance lies in its foundational role in geometry and analysis, underpinning concepts of distance and vector norms.

Did You Know?

• The triangle inequality is stated in Euclid's Elements, Book I, Proposition 20.
• In Euclidean geometry, equality occurs only if the triangle has a 180° angle and two 0° angles, making the three vertices collinear.
• The triangle inequality is a defining property of norms and measures of distance.
• In spherical geometry, the inequality holds provided the distance between two points is the length of a minor spherical line segment with central angle in [0, π].

Foundational Structure and Classification

A triangle is the simplest polygon—a closed figure formed by three line segments joined at their endpoints, creating three vertices. In Euclidean geometry, any three non-collinear points uniquely determine one such figure within a single flat plane. The internal angles always sum to a straight angle of 180 degrees. The terminology for categorizing these shapes stretches back more than two millennia to Book One of Euclid's Elements, and modern names are either direct transliterations of the original Greek or their Latin renderings. Classification proceeds along two axes. By side length, a triangle with two equal sides is isosceles, one with all three sides equal is equilateral, and one with no matching sides is scalene. By angle measure, a triangle containing a 90-degree angle is right, one with all angles under 90 degrees is acute, and one with an angle exceeding 90 degrees is obtuse. These relationships between angles and side lengths form the backbone of trigonometry, where sine, cosine, and tangent functions connect the two in right triangles.

Appearances in Construction, Heraldry, and Higher Dimensions

Triangles permeate both human-made structures and the broader mathematical landscape. In architecture, isosceles triangles appear in gables and pediments, while the equilateral triangle is recognizable on the yield sign. The Great Pyramid of Giza's faces are sometimes described as equilateral, though more precise measurements reveal they are actually isosceles. Heraldic traditions also embrace the shape, as seen in the flags of Saint Lucia and the Philippines. Moving into three dimensions, triangles serve as the building blocks of polyhedra—solids bounded by flat polygonal faces, sharp vertices, and connecting edges. When every face is an equilateral triangle, the solid is called a deltahedron. Antiprisms feature alternating triangular sides, and pyramids or bipyramids use isosceles triangles as lateral faces when they are right. The Kleetope operation replaces each face of a polyhedron with a pyramid, producing a new solid whose faces are all triangles. Even in higher dimensions, the generalized notion of a triangle persists as the simplex, and polytopes with triangular facets are known as simplicial polytopes.

Special Points, Lines, and Circles

Every triangle harbors a rich constellation of special points and lines, many of which are discovered by constructing three symmetrically associated lines and proving they converge at a single location. Ceva's theorem provides the key criterion for establishing such concurrency, while Menelaus' theorem serves a parallel role for proving collinearity of three symmetrically constructed points. One foundational construction is the perpendicular bisector: a line through the midpoint of a side, meeting it at a right angle. The three perpendicular bisectors of a triangle intersect at the circumcenter, which is the center of the circumcircle—the unique circle passing through all three vertices. Thales' theorem links this point to the triangle's character: if the circumcenter falls on a side, the opposite angle is right; if it lies inside, the triangle is acute; if outside, it is obtuse. Another essential line is the altitude, drawn from a vertex perpendicular to the opposite side (the base), with the three altitudes meeting at a point called the orthocenter. The length of an altitude represents the perpendicular distance between the vertex and its base.

Triangles Beyond the Flat Plane

While the classical triangle inhabits Euclidean space, the underlying idea extends into richer geometric settings. In non-Euclidean geometries, three 'straight' segments still determine a triangle-like figure, though the specific properties depend on the geometry in question. On a sphere, the resulting figure is called a spherical triangle; in hyperbolic space, a hyperbolic triangle. More broadly, on any general two-dimensional surface, a geodesic triangle is a region enclosed by three sides that are straight relative to that surface—each side following a geodesic, the surface's natural analogue of a straight line. A curvilinear triangle takes yet another form, bounded by three curved sides; a circular triangle, for example, uses arcs of circles as its edges. In three-dimensional Euclidean space, the natural generalization of the triangle is the tetrahedron, a solid figure determined by four points. These extensions—from spherical and hyperbolic planes to arbitrary curved surfaces to higher-dimensional simplices—demonstrate that the triangle is not confined to a single flat sheet but serves as a foundational organizing concept across a wide spectrum of mathematical spaces.