Triangle inequality

Think about a triangle. It has three sides.

Two sides added together are always longer than the third side. This rule is called the triangle inequality.

This rule helps us find the best way to move. The shortest path between two points is a straight line.

Any other path will be longer.

A man named Euclid wrote about this long ago. He showed how the sides work together. This works for shapes with more than three sides, too. The sides of a shape are always longer than a straight line between the ends.

Imagine you want to go from one point to another.

The quickest way is always a straight line. Any other path will be longer. This idea is part of a rule called the triangle inequality.

This rule is about the sides of a triangle. It says that if you add any two sides together, they must be longer than the third side.

If the two sides are only equal to the third side, the triangle has zero area. We call this a degenerate triangle. It looks like a flat line instead of a shape.

A famous thinker named Euclid wrote about this long ago. He used special steps to prove it works for flat shapes.

This rule also works for shapes with many sides, like a square. The total length of the sides will always be more than a straight line between the ends.

In math, we use this rule to define distance. It helps us know if a measurement is correct. It also works for more complex things like vectors. A vector is a part of math that shows direction and size.

Imagine you are walking from one spot to another. The quickest way to get there is always a straight line. Any other path you take will be longer than that direct line. This simple idea is the heart of a rule called the triangle inequality.

In math, this rule describes how the sides of a triangle must relate to each other. It says that if you pick any two sides and add their lengths, the sum must be greater than the length of the third side.

If the two sides add up to exactly the same length as the third, you get a degenerate triangle. This is a triangle with zero area that looks just like a flat line.

This rule works in many different ways depending on the type of math you use. In Euclidean geometry, which is the math of flat surfaces, the rule is a fact about shapes. It is also a theorem about vectors, which are math tools that show size and direction.

For these vectors, the length of their sum is never more than the sum of their individual lengths. You can also see this rule in right triangles. In those specific shapes, the longest side is called the hypotenuse. The triangle inequality tells us the hypotenuse is always shorter than the other two sides added together.

We have known about this rule for a very long time. A famous mathematician named Euclid wrote about it in his work called Elements. In Book I, Proposition 20, he proved that the sum of any two sides of a triangle is greater than the third.

Euclid used a clever method to show this for flat geometry. He built a new triangle next to the first one to compare different angles and sides. By showing one angle was larger than another, he proved the sides had to follow the rule. His work helped set the foundation for how we understand shapes today.

There are many interesting numbers and formulas connected to this idea. For example, you can use Heron's formula to find the area of a triangle. This formula uses the lengths of all three sides to find the space inside. For the area to be a real number greater than zero, the triangle inequality must be true.

The rule also connects to the golden ratio in special cases. If the sides of a triangle follow certain patterns, the ratio between them can be linked to this famous number. Even in more complex shapes like a tetrahedron, a similar rule applies to the area of its faces.

This rule is not just for triangles; it grows to fit larger shapes. It can be extended to any polygon, which is a shape with many sides like a square or a pentagon. The total length of a path made of many sides will always be longer than a single straight line between the start and end.

In higher math, the triangle inequality is actually used to define what distance means. For a math rule to be used as a way to measure distance, it must satisfy this inequality. It is a fundamental building block that helps mathematicians understand space, whether it is flat or curved like a sphere.

The triangle inequality is a fundamental principle in mathematics. It describes a necessary relationship between the side lengths of a triangle. The rule states that the sum of the lengths of any two sides must be greater than or equal to the length of the remaining side.

In most geometry, we focus on proper triangles where the sum is strictly greater than the third side. If the sum of two sides equals the third side, the result is a degenerate triangle. A degenerate triangle has an area of zero and appears as a flat line. This principle is essential because it defines the very nature of distance in various mathematical spaces.

To understand the mechanism, consider three side lengths: $a$, $b$, and $c$. For a triangle to exist, three specific conditions must be met simultaneously. The first is that $a + b \geq c$. The second is $a + c \geq b$. The third is $b + c \geq a$.

If these inequalities are all strictly greater than, the triangle has a positive area. This relationship is also tied to Heron's formula, which calculates a triangle's area using its side lengths. For the area to be a real number greater than zero, the expression under the square root in Heron's formula must be positive. This mathematical requirement is equivalent to satisfying the triangle inequality.

Mathematics classifies this rule into different types based on the space being studied. In Euclidean geometry, the rule describes shapes on a flat plane. Here, the shortest distance between two points is always a straight line. In spherical geometry, the rules change slightly because surfaces are curved. On a sphere, the shortest distance is an arc of a great circle. The triangle inequality still holds in spherical geometry, provided the distance is measured as a minor spherical line segment with a central angle between $0$ and $\pi$ radians.

History shows that this concept has been studied for millennia. The Greek mathematician Euclid included the triangle inequality in his famous work, *Elements*. In Book I, Proposition 20, Euclid proved that the sum of any two sides of a triangle is greater than the third.

His proof involved a clever construction of an isosceles triangle. By extending one side of a triangle and building a new shape, he used angle measurements to prove the side relationship. This logical foundation helped establish the rules of plane geometry that we still use today.

In more advanced studies, the triangle inequality becomes a defining property of norms. A norm is a function that assigns a length to a vector. In a normed vector space, the norm of the sum of two vectors is always less than or equal to the sum of their individual norms.

This is often called subadditivity. For any function to be considered a valid way to measure distance, it must satisfy this inequality. It applies to many mathematical structures, including real numbers, Euclidean spaces, and $L^p$ spaces. This makes the inequality a core requirement for defining the concept of "distance" itself.

There are many specific examples where this rule creates interesting constraints. In right triangles, the inequality is even more specific. The hypotenuse is always greater than either individual side but smaller than their sum. This is a consequence of the Pythagorean theorem. We also see the rule applied to sequences of numbers. For instance, if a triangle's sides follow a geometric progression, the common ratio must fall within a specific range to satisfy the inequality. One such range involves the golden ratio, which is approximately $1.618$.

The principle even extends to higher dimensions and more complex shapes. The polygon inequality generalizes this idea to any shape with many sides. It states that the total length of a polygonal path is no less than the straight line between its endpoints. In three dimensions, a similar rule applies to a tetrahedron. The area of one triangular face must be less than or equal to the sum of the areas of the other three faces. This shows that the triangle inequality is not just a rule for flat shapes, but a deep truth about how space and volume work in our universe.