Triangle inequality

From Citizendium, the Citizens' Compendium

Jump to: navigation, search

Main Article

Talk

Related Articles ^[?]

Bibliography ^[?]

External Links ^[?]

This is a draft article, under development and not meant to be cited but you can help to improve it. These unapproved articles are subject to a disclaimer.

[edit intro]

The triangle inequality is a basic result in mathematics, which, in its simplest form, can be stated in words as follows:

The sum of the lengths of two sides of a triangle is greater than the length of the third

It is based on the intuitive idea that:

The straight line path is the shortest path

The former statement is often taught to students at the end of primary school or the beginning of middle school. The triangle inequality comes up in a number of other forms throughout mathematics, and is encountered in the theory of metric spaces in topology, the theory of normed vector spaces in functional analysis, and in parts of complex analysis.

1 In Euclidean geometry
- 1.1 Formal statement
- 1.2 Intuitive justification
2 In metric spaces

In Euclidean geometry

Formal statement

In Euclidean geometry, the statement is as follows:

Let $A,B,C$ be three non-collinear points in the plane. Then, we have:

$|AB| + |BC| > |AC|$

where $| \cdot |$ denotes the length of the line segment joining the two points.

If we consider the triangle $\triangle ABC$ , then this is precisely the statement that the sum of two sides of a triangle is at least equal to the third.

When $A,B,C$ are collinear, we get what is called a degenerate triangle. For degenerate triangles, equality can hold. It holds iff $B$ is between $A$ and $C$ .

Intuitive justification

The rationale behind the triangle inequality is that the straight line path from $A$ to $C$ is shorter than the path where we first go to $B$ , and then to $C$ .

In metric spaces

A metric space is a mathematical abstraction of spaces with a notion of distance between any two points. Since the triangle inequality is so fundamental to the way we expect distance to behave, the triangle inequality is assumed as one of the axioms for a metric space. Formally, a metric space is a set $X$ equipped with a distance function $d: X \times X \to \R_{\ge 0}$ that satisfies the following conditions for all points $x,y,z \in X$ :