List of triangle inequalities


In geometry, triangle inequalities are inequalities involving the parameters of triangles, that hold for every triangle, or for every triangle meeting certain conditions. The inequalities give an ordering of two different values: they are of the form "less than", "less than or equal to", "greater than", or "greater than or equal to". The parameters in a triangle inequality can be the side lengths, the semiperimeter, the angle measures, the values of trigonometric functions of those angles, the area of the triangle, the medians of the sides, the altitudes, the lengths of the internal angle bisectors from each angle to the opposite side, the perpendicular bisectors of the sides, the distance from an arbitrary point to another point, the inradius, the exradii, the circumradius, and/or other quantities.
Unless otherwise specified, this article deals with triangles in the Euclidean plane.

Main parameters and notation

The parameters most commonly appearing in triangle inequalities are:
The basic triangle inequality is
or equivalently
In addition,
where the value of the right side is the lowest possible bound, approached asymptotically as certain classes of triangles approach the degenerate case of zero area. The left inequality, which holds for all positive a, b, c, is Nesbitt's inequality.
We have
If angle C is obtuse then
if C is acute then
The in-between case of equality when C is a right angle is the Pythagorean theorem.
In general,
with equality approached in the limit only as the apex angle of an isosceles triangle approaches 180°.
If the centroid of the triangle is inside the triangle's incircle, then
While all of the above inequalities are true because a, b, and c must follow the basic triangle inequality that the longest side is less than half the perimeter, the following relations hold for all positive a, b, and c:
each holding with equality only when a = b = c. This says that in the non-equilateral case the harmonic mean of the sides is less than their geometric mean which in turn is less than their arithmetic mean.

Angles

for semi-perimeter s, with equality only in the equilateral case.
where the golden ratio.
For circumradius R and inradius r we have
with equality if and only if the triangle is isosceles with apex angle greater than or equal to 60°; and
with equality if and only if the triangle is isosceles with apex angle less than or equal to 60°.
We also have
and likewise for angles B, C, with equality in the first part if the triangle is isosceles and the apex angle is at least 60° and equality in the second part if and only if the triangle is isosceles with apex angle no greater than 60°.
Further, any two angle measures A and B opposite sides a and b respectively are related according to
which is related to the isosceles triangle theorem and its converse, which state that A = B if and only if a = b.
By Euclid's exterior angle theorem, any exterior angle of a triangle is greater than either of the interior angles at the opposite vertices:
If a point D is in the interior of triangle ABC, then
For an acute triangle we have
with the reverse inequality holding for an obtuse triangle.
Furthermore, for non-obtuse triangles we have
with equality if and only if it is a right triangle with hypotenuse AC.

Area

is, in terms of area T,
with equality only in the equilateral case. This is a corollary of the Hadwiger–Finsler inequality, which is
Also,
and
From the rightmost upper bound on T, using the arithmetic-geometric mean inequality, is obtained the isoperimetric inequality for triangles:
for semiperimeter s. This is sometimes stated in terms of perimeter p as
with equality for the equilateral triangle. This is strengthened by
Bonnesen's inequality also strengthens the isoperimetric inequality:
We also have
with equality only in the equilateral case;
for semiperimeter s; and
Ono's inequality for acute triangles is
The area of the triangle can be compared to the area of the incircle:
with equality only for the equilateral triangle.
If an inner triangle is inscribed in a reference triangle so that the inner triangle's vertices partition the perimeter of the reference triangle into equal length segments, the ratio of their areas is bounded by
Let the interior angle bisectors of A, B, and C meet the opposite sides at D, E, and F. Then
A line through a triangle’s median splits the area such that the ratio of the smaller sub-area to the original triangle’s area is at least 4/9.

Medians and centroid

The three medians of a triangle each connect a vertex with the midpoint of the opposite side, and the sum of their lengths satisfies
Moreover,
with equality only in the equilateral case, and for inradius r,
If we further denote the lengths of the medians extended to their intersections with the circumcircle as Ma,
Mb, and Mc, then
The centroid G is the intersection of the medians. Let AG, BG, and CG meet the circumcircle at U, V, and W respectively. Then both
and
in addition,
For an acute triangle we have
in terms of the circumradius R, while the opposite inequality holds for an obtuse triangle.
Denoting as IA, IB, IC the distances of the incenter from the vertices, the following holds:
The three medians of any triangle can form the sides of another triangle:
Furthermore,

Altitudes

The altitudes ha, etc. each connect a vertex to the opposite side and are perpendicular to that side. They satisfy both
and
In addition, if then
We also have
For internal angle bisectors ta, tb, tc from vertices A, B, C and circumcenter R and incenter r, we have
The reciprocals of the altitudes of any triangle can themselves form a triangle:

Internal angle bisectors and incenter

The internal angle bisectors are segments in the interior of the triangle reaching from one vertex to the opposite side and bisecting the vertex angle into two equal angles. The angle bisectors ta etc. satisfy
in terms of the sides, and
in terms of the altitudes and medians, and likewise for tb and tc. Further,
in terms of the medians, and
in terms of the altitudes, inradius r and circumradius R.
Let Ta, Tb, and Tc be the lengths of the angle bisectors extended to the circumcircle. Then
with equality only in the equilateral case, and
for circumradius R and inradius r, again with equality only in the equilateral case. In addition,.
For incenter I,
For midpoints L, M, N of the sides,
For incenter I, centroid G, circumcenter O, nine-point center N, and orthocenter H, we have for non-equilateral triangles the distance inequalities
and
and we have the angle inequality
In addition,
where v is the longest median.
Three triangles with vertex at the incenter, OIH, GIH, and OGI, are obtuse:
Since these triangles have the indicated obtuse angles, we have
and in fact the second of these is equivalent to a result stronger than the first, shown by Euler:
The larger of two angles of a triangle has the shorter internal angle bisector:

Perpendicular bisectors of sides

These inequalities deal with the lengths pa etc. of the triangle-interior portions of the perpendicular bisectors of sides of the triangle. Denoting the sides so that we have
and

Segments from an arbitrary point

Interior point

Consider any point P in the interior of the triangle, with the triangle's vertices denoted A, B, and C and with the lengths of line segments denoted PA etc. We have
and more strongly than the second of these inequalities is
We also have Ptolemy's inequality
for interior point P and likewise for cyclic permutations of the vertices.
If we draw perpendiculars from interior point P to the sides of the triangle, intersecting the sides at D, E, and F, we have
Further, the Erdős–Mordell inequality states that
with equality in the equilateral case. More strongly, Barrow's inequality states that if the interior bisectors of the angles at interior point P intersect the triangle's sides at U, V, and W, then
Also stronger than the Erdős–Mordell inequality is the following: Let D, E, F be the orthogonal projections of P onto BC, CA, AB respectively, and H, K, L be the orthogonal projections of P onto the tangents to the triangle's circumcircle at A, B, C respectively. Then
With orthogonal projections H, K, L from P onto the tangents to the triangle's circumcircle at A, B, C respectively, we have
where R is the circumradius.
Again with distances PD, PE, PF of the interior point P from the sides we have these three inequalities:
For interior point P with distances PA, PB, PC from the vertices and with triangle area T,
and
For an interior point P, centroid G, midpoints L, M, N of the sides, and semiperimeter s,
Moreover, for positive numbers k1, k2, k3, and t with t less than or equal to 1:
while for t > 1 we have

Interior or exterior point

There are various inequalities for an arbitrary interior or exterior point in the plane in terms of the radius r of the triangle's inscribed circle. For example,
Others include:
for k = 0, 1,..., 6;
and
for k = 0, 1,..., 9.
Furthermore, for circumradius R,
Let ABC be a triangle, let G be its centroid, and let D, E, and F be the midpoints of BC, CA, and AB, respectively. For any point P in the plane of ABC:

Inradius, exradii, and circumradius

Inradius and circumradius

The Euler inequality for the circumradius R and the inradius r states that
with equality only in the equilateral case.
A stronger version is
By comparison,
where the right side could be positive or negative.
Two other refinements of Euler's inequality are
and
Another symmetric inequality is
Moreover,
in terms of the semiperimeter s;
in terms of the area T;
and
in terms of the semiperimeter s; and
also in terms of the semiperimeter. Here the expression where d is the distance between the incenter and the circumcenter. In the latter double inequality, the first part holds with equality if and only if the triangle is isosceles with an apex angle of at least 60°, and the last part holds with equality if and only if the triangle is isosceles with an apex angle of at most 60°. Thus both are equalities if and only if the triangle is equilateral.
We also have for any side a
where if the circumcenter is on or outside of the incircle and if the circumcenter is inside the incircle. The circumcenter is inside the incircle if and only if
Further,
Blundon's inequality states that
We also have, for all acute triangles,
For incircle center I, let AI, BI, and CI extend beyond I to intersect the circumcircle at D, E, and F respectively. Then
In terms of the vertex angles we have
Denote as the radii of the tangent circles at the vertices to the triangle's circumcircle and to the opposite sides. Then
with equality only in the equilateral case, and
with equality only in the equilateral case.

Circumradius and other lengths

For the circumradius R we have
and
We also have
in terms of the altitudes,
in terms of the medians, and
in terms of the area.
Moreover, for circumcenter O, let lines AO, BO, and CO intersect the opposite sides BC, CA, and AB at U, V, and W respectively. Then
For an acute triangle the distance between the circumcenter O and the orthocenter H satisfies
with the opposite inequality holding for an obtuse triangle.
The circumradius is at least twice the distance between the first and second Brocard points B1 and B2:

Inradius, exradii, and other lengths

For the inradius r we have
in terms of the altitudes, and
in terms of the radii of the excircles. We additionally have
and
The exradii and medians are related by
In addition, for an acute triangle the distance between the incircle center I and orthocenter H satisfies
with the reverse inequality for an obtuse triangle.
Also, an acute triangle satisfies
in terms of the circumradius R, again with the reverse inequality holding for an obtuse triangle.
If the internal angle bisectors of angles A, B, C meet the opposite sides at U, V, W then
If the internal angle bisectors through incenter I extend to meet the circumcircle at X, Y and Z then
for circumradius R, and
If the incircle is tangent to the sides at D, E, F, then
for semiperimeter s.

Inscribed figures

Inscribed hexagon

If a tangential hexagon is formed by drawing three segments tangent to a triangle's incircle and parallel to a side, so that the hexagon is inscribed in the triangle with its other three sides coinciding with parts of the triangle's sides, then

Inscribed triangle

If three points D, E, F on the respective sides AB, BC, and CA of a reference triangle ABC are the vertices of an inscribed triangle, which thereby partitions the reference triangle into four triangles, then the area of the inscribed triangle is greater than the area of at least one of the other interior triangles, unless the vertices of the inscribed triangle are at the midpoints of the sides of the reference triangle :

Inscribed squares

An acute triangle has three inscribed squares, each with one side coinciding with part of a side of the triangle and with the square's other two vertices on the remaining two sides of the triangle. If one of these squares has side length xa and another has side length xb with xa < xb, then
Moreover, for any square inscribed in any triangle we have

Euler line

A triangle's Euler line goes through its orthocenter, its circumcenter, and its centroid, but does not go through its incenter unless the triangle is isosceles. For all non-isosceles triangles, the distance d from the incenter to the Euler line satisfies the following inequalities in terms of the triangle's longest median v, its longest side u, and its semiperimeter s:
For all of these ratios, the upper bound of 1/3 is the tightest possible.

Right triangle

In right triangles the legs a and b and the hypotenuse c obey the following, with equality only in the isosceles case:
In terms of the inradius, the hypotenuse obeys
and in terms of the altitude from the hypotenuse the legs obey

Isosceles triangle

If the two equal sides of an isosceles triangle have length a and the other side has length c, then the internal angle bisector t from one of the two equal-angled vertices satisfies

Equilateral triangle

For any point P in the plane of an equilateral triangle ABC, the distances of P from the vertices, PA, PB, and PC, are such that, unless P is on the triangle's circumcircle, they obey the basic triangle inequality and thus can themselves form the sides of a triangle:
However, when P is on the circumcircle the sum of the distances from P to the nearest two vertices exactly equals the distance to the farthest vertex.
A triangle is equilateral if and only if, for every point P in the plane, with distances PD, PE, and PF to the triangle's sides and distances PA, PB, and PC to its vertices,

Two triangles

for two triangles, one with sides a, b, and c and area T, and the other with sides d, e, and f and area S, states that
with equality if and only if the two triangles are similar.
The hinge theorem or open-mouth theorem states that if two sides of one triangle are congruent to two sides of another triangle, and the included angle of the first is larger than the included angle of the second, then the third side of the first triangle is longer than the third side of the second triangle. That is, in triangles ABC and DEF with sides a, b, c, and d, e, f respectively, if a = d and b = e and angle C > angle F, then
The converse also holds: if c > f, then C > F.
The angles in any two triangles ABC and DEF are related in terms of the cotangent function according to

Non-Euclidean triangles

In a triangle on the surface of a sphere, as well as in elliptic geometry,
This inequality is reversed for hyperbolic triangles.