List of triangle inequalities

For the basic inequality a < b + c, see Triangle inequality.

For inequalities of acute or obtuse triangles, see Acute and obtuse triangles.

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 side lengths a, b, and c;
the semiperimeter s = (a + b + c) / 2 (half the perimeter p);
the angle measures A, B, and C of the angles of the vertices opposite the respective sides a, b, and c (with the vertices denoted with the same symbols as their angle measures);
the values of trigonometric functions of the angles;
the area T of the triangle;
the medians m_a, m_b, and m_c of the sides (each being the length of the line segment from the midpoint of the side to the opposite vertex);
the altitudes h_a, h_b, and h_c (each being the length of a segment perpendicular to one side and reaching from that side (or possibly the extension of that side) to the opposite vertex);
the lengths of the internal angle bisectors t_a, t_b, and t_c (each being a segment from a vertex to the opposite side and bisecting the vertex's angle);
the perpendicular bisectors p_a, p_b, and p_c of the sides (each being the length of a segment perpendicular to one side at its midpoint and reaching to one of the other sides);
the lengths of line segments with an endpoint at an arbitrary point P in the plane (for example, the length of the segment from P to vertex A is denoted PA or AP);
the inradius r (radius of the circle inscribed in the triangle, tangent to all three sides), the exradii r_a, r_b, and r_c (each being the radius of an excircle tangent to side a, b, or c respectively and tangent to the extensions of the other two sides), and the circumradius R (radius of the circle circumscribed around the triangle and passing through all three vertices).

Side lengths

The basic triangle inequality is

a<b+c,\quad b<c+a,\quad c<a+b

or equivalently

{\text{max}}(a,b,c)<s.

In addition,

{\frac {a}{b+c}}+{\frac {b}{a+c}}+{\frac {c}{a+b}}<2,

where the value of the right side is the lowest possible bound,^[1]^{:p. 259} approached asymptotically as certain classes of triangles approach the degenerate case of zero area.

We have

3\left({\frac {a}{b}}+{\frac {b}{c}}+{\frac {c}{a}}\right)\geq 2\left({\frac {b}{a}}+{\frac {c}{b}}+{\frac {a}{c}}\right)+3.

^[2]^:p.250,#82

abc\geq (a+b-c)(a-b+c)(-a+b+c).\quad

^[1]^{:p. 260}

{\frac {1}{3}}\leq {\frac {a^{2}+b^{2}+c^{2}}{(a+b+c)^{2}}}\leq {\frac {1}{2}}.\quad

^[1]^{:p. 261}

\sqrt{a+b-c} + \sqrt{a-b+c} + \sqrt{-a+b+c} \leq \sqrt{a}+\sqrt{b} + \sqrt{c}.

^[1]^{:p. 261}

a^{2}b(a-b)+b^{2}c(b-c)+c^{2}a(c-a)\geq 0.

^[1]^{:p. 261}

If angle C is obtuse (greater than 90°) then

a^{2}+b^{2}<c^{2};

if C is acute (less than 90°) then

a^{2}+b^{2}>c^{2}.

The in-between case of equality when C is a right angle is the Pythagorean theorem.

In general,^[2]^:p.1,#74

a^{2}+b^{2}>{\frac {c^{2}}{2}},

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^[3]^{:p. 153}

a^{2}<4bc,\quad b^{2}<4ac,\quad c^{2}<4ab.

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:^[1]^:p.267

{\frac {3abc}{ab+bc+ca}}\leq {\sqrt[ {3}]{abc}}\leq {\frac {a+b+c}{3}},

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

\cos A + \cos B + \cos C \leq \frac{3}{2}.

^[1]^{:p. 286}

(1-\cos A)(1-\cos B)(1-\cos C)\geq \cos A\cdot \cos B\cdot \cos C.

^[2]^:p.21,#836

\cos ^{4}{\frac {A}{2}}+\cos ^{4}{\frac {B}{2}}+\cos ^{4}{\frac {C}{2}}\leq {\frac {s^{3}}{2abc}}

for semi-perimeter s, with equality only in the equilateral case.^[2]^:p.13,#608

a+b+c\geq 2{\sqrt {bc}}\cos A+2{\sqrt {ca}}\cos B+2{\sqrt {ab}}\cos C.

^[4]^:Thm.1

\sin A+\sin B+\sin C\leq {\frac {3{\sqrt {3}}}{2}}.

^[1]^:p.286

\sin ^{2}A+\sin ^{2}B+\sin ^{2}C\leq {\frac {9}{4}}.

^[1]^{:p. 286}

\sin A\cdot \sin B\cdot \sin C\leq \left({\frac {\sin A+\sin B+\sin C}{3}}\right)^{3}\leq \left(\sin {\frac {A+B+C}{3}}\right)^{3}=\sin ^{3}\left({\frac {\pi }{3}}\right)={\frac {3{\sqrt {3}}}{8}}.

^[5]^{:p. 203}

\sin A+\sin B\cdot \sin C\leq \varphi

^[2]^:p.149,#3297

where $\varphi ={\frac {1+{\sqrt {5}}}{2}},$ the golden ratio.

\sin {\frac {A}{2}}\cdot \sin {\frac {B}{2}}\cdot \sin {\frac {C}{2}}\leq {\frac {1}{8}}.

^[1]^{:p. 286}

\tan ^{2}{\frac {A}{2}}+\tan ^{2}{\frac {B}{2}}+\tan ^{2}{\frac {C}{2}}\geq 1.

^[1]^{:p. 286}

\cot A+\cot B+\cot C\geq {\sqrt {3}}.

^[6]

\sin A\cdot \cos B+\sin B\cdot \cos C+\sin C\cdot \cos A\leq {\frac {3{\sqrt {3}}}{4}}.

^[2]^{:p.187,#309.2}

For circumradius R and inradius r we have

\max \left(\sin {\frac {A}{2}},\sin {\frac {B}{2}},\sin {\frac {C}{2}}\right)\leq {\frac {1}{2}}\left(1+{\sqrt {1-{\frac {2r}{R}}}}\right),

with equality if and only if the triangle is isosceles with apex angle greater than or equal to 60°;^[7]^{:Cor. 3} and

\min \left(\sin {\frac {A}{2}},\sin {\frac {B}{2}},\sin {\frac {C}{2}}\right)\geq {\frac {1}{2}}\left(1-{\sqrt {1-{\frac {2r}{R}}}}\right),

with equality if and only if the triangle is isosceles with apex angle less than or equal to 60°.^[7]^{:Cor. 3}

We also have

{\frac {r}{R}}-{\sqrt {1-{\frac {2r}{R}}}}\leq \cos A\leq {\frac {r}{R}}+{\sqrt {1-{\frac {2r}{R}}}}

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°.^[7]^{:Prop. 5}

Further, any two angle measures A and B opposite sides a and b respectively are related according to^[1]^{:p. 264}

A>B\quad {\text{if and only if}}\quad a>b,

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:^[1]^{:p. 261}

180{\text{°}}-A>\max(B,C).

If a point D is in the interior of triangle ABC, then

\angle BDC>\angle A.

^[1]^{:p. 263}

For an acute triangle we have^[2]^:p.26,#954

\cos^2A+\cos^2B+\cos^2C < 1,

with the reverse inequality holding for an obtuse triangle.

Area

Weitzenböck's inequality is, in terms of area T,^[1]^{:p. 290}

a^{2}+b^{2}+c^{2}\geq 4{\sqrt {3}}\cdot T,

with equality only in the equilateral case. This is a corollary of the Hadwiger–Finsler inequality, which is

a^{{2}}+b^{{2}}+c^{{2}}\geq (a-b)^{{2}}+(b-c)^{{2}}+(c-a)^{{2}}+4{\sqrt {3}}\cdot T.

Also,

ab+bc+ca\geq 4{\sqrt {3}}\cdot T

^[8]^{:p. 138}

and^[2]^{:p.192,#340.3}^[5]^{:p. 204}

T\leq {\frac {abc}{2}}{\sqrt {\frac {a+b+c}{a^{3}+b^{3}+c^{3}+abc}}}\leq {\frac {1}{4}}{\sqrt[{6}]{\frac {3(a+b+c)^{3}(abc)^{4}}{a^{3}+b^{3}+c^{3}}}}\leq {\frac {\sqrt {3}}{4}}(abc)^{2/3}.

From the last upper bound on T, using the arithmetic-geometric mean inequality, is obtained the isoperimetric inequality for triangles:

T\leq {\frac {\sqrt {3}}{36}}(a+b+c)^{2}={\frac {\sqrt {3}}{9}}s^{2}

^[5]^{:p. 203}

for semiperimeter s. This is sometimes stated in terms of perimeter p as

p^{2}\geq 12{\sqrt {3}}\cdot T,

with equality for the equilateral triangle.^[9]

We also have

{\frac {9abc}{a+b+c}}\geq 4{\sqrt {3}}\cdot T

^[1]^{:p. 290}^[8]^{:p. 138}

with equality only in the equilateral case;

38T^{2}\leq 2s^{4}-a^{4}-b^{4}-c^{4}

^[2]^:p.111,#2807

for semiperimeter s; and

{\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}<{\frac {s}{T}}.

^[2]^:p.88,#2188

Ono's inequality for acute triangles (those with all angles less than 90°) is

27(b^{2}+c^{2}-a^{2})^{2}(c^{2}+a^{2}-b^{2})^{2}(a^{2}+b^{2}-c^{2})^{2}\leq (4T)^{6}.

The area of the triangle can be compared to the area of the incircle:

{\frac {{\text{Area of incircle}}}{{\text{Area of triangle}}}}\leq {\frac {\pi }{3{\sqrt {3}}}}

with equality only for the equilateral triangle.^[10]

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^[8]^{:p. 138}

{\frac {{\text{Area of inscribed triangle}}}{{\text{Area of reference triangle}}}}\leq {\frac {1}{4}}.

Let the interior angle bisectors of A, B, and C meet the opposite sides at D, E, and F. Then^[2]^:p.18,#762

{\frac {3abc}{4(a^{3}+b^{3}+c^{3})}}\leq {\frac {{\text{Area of triangle}}\,DEF}{{\text{Area of triangle}}\,ABC}}\leq {\frac {1}{4}}.

Medians and centroid

The three medians $m_{a},\,m_{b},\,m_{c}$ of a triangle each connect a vertex with the midpoint of the opposite side, and the sum of their lengths satisfies^[1]^{:p. 271}

{\frac {3}{4}}(a+b+c)<m_{a}+m_{b}+m_{c}<a+b+c.

Moreover,^[2]^:p.12,#589

\left({\frac {m_{a}}{a}}\right)^{2}+\left({\frac {m_{b}}{b}}\right)^{2}+\left({\frac {m_{c}}{c}}\right)^{2}\geq {\frac {9}{4}},

with equality only in the equilateral case, and for inradius r,^[2]^:p.22,#846

{\frac {m_{a}m_{b}m_{c}}{m_{a}^{2}+m_{b}^{2}+m_{c}^{2}}}\geq r.

If we further denote the lengths of the medians extended to their intersections with the circumcircle as M_a , M_b , and M_c , then^[2]^:p.16,#689

{\frac {M_{a}}{m_{a}}}+{\frac {M_{b}}{m_{b}}}+{\frac {M_{c}}{m_{c}}}\geq 4.

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^[2]^:p.17#723

GU+GV+GW\geq AG+BG+CG

and

GU\cdot GV\cdot GW\geq AG\cdot BG\cdot CG;

in addition,^[2]^:p.156,#S56

\sin GBC+\sin GCA+\sin GAB\leq {\frac {3}{2}}.

For an acute triangle we have^[2]^:p.26,#954

m_a^2+m_b^2+m_c^2 > 6R^2

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:^[2]^{:p.192,#339.3}

{\frac {IA^{2}}{m_{a}^{2}}}+{\frac {IB^{2}}{m_{b}^{2}}}+{\frac {IC^{2}}{m_{c}^{2}}}\leq {\frac {3}{4}}.

The three medians of any triangle can form the sides of another triangle:^[11]^{:p. 592}

m_{a}<m_{b}+m_{c},\quad m_{b}<m_{c}+m_{a},\quad m_{c}<m_{a}+m_{b}.

Altitudes

The altitudes h_a , etc. each connect a vertex to the opposite side and are perpendicular to that side. They satisfy both^[1]^{:p. 274}

h_{a}+h_{b}+h_{c}\leq {\frac {{\sqrt {3}}}{2}}(a+b+c)

and

h_{a}^{2}+h_{b}^{2}+h_{c}^{2}\leq {\frac {3}{4}}(a^{2}+b^{2}+c^{2}).

In addition, if $a\geq b\geq c,$ then^[2]^:222,#67

a+h_{a}\geq b+h_{b}\geq c+h_{c}.

We also have^[2]^:p.140,#3150

{\frac {h_{a}^{2}}{(b^{2}+c^{2})}}\cdot {\frac {h_{b}^{2}}{(c^{2}+a^{2})}}\cdot {\frac {h_{c}^{2}}{(a^{2}+b^{2})}}\leq \left({\frac {3}{8}}\right)^{3}.

For internal angle bisectors t_a, t_b, t_c from vertices A, B, C and circumcenter R and incenter r, we have^[2]^:p.125,#3005

{\frac {h_{a}}{t_{a}}}+{\frac {h_{b}}{t_{b}}}+{\frac {h_{c}}{t_{c}}}\geq {\frac {R+4r}{R}}.

The reciprocals of the altitudes of any triangle can themselves form a triangle:^[12]

{\frac {1}{h_{a}}}<{\frac {1}{h_{b}}}+{\frac {1}{h_{c}}},\quad {\frac {1}{h_{b}}}<{\frac {1}{h_{c}}}+{\frac {1}{h_{a}}},\quad {\frac {1}{h_{c}}}<{\frac {1}{h_{a}}}+{\frac {1}{h_{b}}}.

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 t_a etc. satisfy

t_{a}+t_{b}+t_{c}\leq {\frac {3}{2}}(a+b+c)

in terms of the sides, and

h_{a}\leq t_{a}\leq m_{a}

in terms of the altitudes and medians, and likewise for t_b and t_c .^[1]^{:pp. 271–3} Further,^[2]^:p.224,#132

{\sqrt {m_{a}}}+{\sqrt {m_{b}}}+{\sqrt {m_{c}}}\geq {\sqrt {t_{a}}}+{\sqrt {t_{b}}}+{\sqrt {t_{c}}}

in terms of the medians.

Let T_a , T_b , and T_c be the lengths of the angle bisectors extended to the circumcircle. Then^[2]^:p.11,#535

T_{a}T_{b}T_{c}\geq {\frac {8{\sqrt {3}}}{9}}abc,

with equality only in the equilateral case, and^[2]^:p.14,#628

T_{a}+T_{b}+T_{c}\leq 5R+2r

for circumradius R and inradius r, again with equality only in the equilateral case. In addition,.^[2]^:p.20,#795

T_{a}+T_{b}+T_{c}\geq {\frac {4}{3}}(t_{a}+t_{b}+t_{c}).

For incenter I (the intersection of the internal angle bisectors),^[2]^:p.127,#3033

6r\leq AI+BI+CI\leq {\sqrt {12(R^{2}-Rr+r^{2})}}.

For midpoints L, M, N of the sides,^[2]^:p.152,#J53

IL^{2}+IM^{2}+IN^{2}\geq r(R+r).

For incenter I, centroid G, circumcenter O, nine-point center N, and orthocenter H, we have for non-equilateral triangles the distance inequalities^[13]^:p.232

IG<HG,

IH<HG,

IG<IO,

and

IN<{\frac {1}{2}}IO;

and we have the angle inequality^[13]^:p.233

\angle IOH<{\frac {\pi }{6}}.

In addition,^[13]^{:p.233,Lemma 3}

IG<{\frac {1}{3}}v,

where v is the longest median.

Three triangles with vertex at the incenter, OIH, GIH, and OGI, are obtuse:^[13]^:p.232

\angle OIH

\angle GIH

> 90° ,

\angle OGI

> 90°.

Since these triangles have the indicated obtuse angles, we have

OI^{2}+IH^{2}<OH^{2},\quad GI^{2}+IH^{2}<GH^{2},\quad OG^{2}+GI^{2}<OI^{2},

and in fact the second of these is equivalent to a result stronger than the first, shown by Euler:^[14]^[15]

OI^{2}<OH^{2}-2\cdot IH^{2}<2\cdot OI^{2}.

The larger of two angles of a triangle has the shorter internal angle bisector:^[16]^:p.72,#114

{\text{If}}\quad A>B\quad {\text{then}}\quad t_{a}<t_{b}.

Perpendicular bisectors of sides

These inequalities deal with the lengths p_a etc. of the triangle-interior portions of the perpendicular bisectors of sides of the triangle. Denoting the sides so that $a\geq b\geq c,$ we have^[17]

p_{a}\geq p_{b}

and

p_{c}\geq p_{b}.

Segments from an arbitrary 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^[1]^{:pp. 275–7}

2(PA+PB+PC)>AB+BC+CA>PA+PB+PC

and more strongly^[1]^{:p. 278}

PA+PB+PC\leq AC+BC,\quad PA+PB+PC\leq AB+BC,\quad PA+PB+PC\leq AB+AC.

We also have Ptolemy's inequality^[2]^:p.19,#770

PA\cdot BC+PB\cdot CA>PC\cdot AB

and likewise for cyclic permutations of the vertices.

If we draw perpendiculars from P to the sides of the triangle, intersecting the sides at D, E, and F, we have^[1]^{:p. 278}

PA\cdot PB\cdot PC\geq (PD+PE)(PE+PF)(PF+PD).

Further, the Erdős–Mordell inequality states that^[18] ^[19]

{\frac {PA+PB+PC}{PD+PE+PF}}\geq 2

with equality in the equilateral case. More strongly, Barrow's inequality states that if the interior bisectors of the angles at P (namely, of ∠APB, ∠BPC, and ∠CPA) intersect the triangle's sides at U, V, and W, then^[20]

{\frac {PA+PB+PC}{PU+PV+PW}}\geq 2.

Again with distances PD, PE, PF of the interior point P from the sides we have these three inequalities:^[2]^:p.29,#1045

{\frac {PA^{2}}{PE\cdot PF}}+{\frac {PB^{2}}{PF\cdot PD}}+{\frac {PC^{2}}{PD\cdot PE}}\geq 12;

{\frac {PA}{{\sqrt {PE\cdot PF}}}}+{\frac {PB}{{\sqrt {PF\cdot PD}}}}+{\frac {PC}{{\sqrt {PD\cdot PE}}}}\geq 6;

{\frac {PA}{PE+PF}}+{\frac {PB}{PF+PD}}+{\frac {PC}{PD+PE}}\geq 3.

For interior point P with distances PA, PB, PC from the vertices and with triangle area T,^[2]^:p.37,#1159

(b+c)PA+(c+a)PB+(a+b)PC\geq 8T

and^[2]^:p.26,#965

{\frac {PA}{a}}+{\frac {PB}{b}}+{\frac {PC}{c}}\geq {\sqrt {3}}.

For an interior point P, centroid G, midpoints L, M, N of the sides, and semiperimeter s,^[2]^:p.140,#3164^[2]^:p.130,#3052

2(PL+PM+PN)\leq 3PG+PA+PB+PC\leq s+2(PL+PM+PN).

Moreover, for positive numbers k₁, k₂, k₃, and t with t less than or equal to 1:^[21]^:Thm.1

k_{1}\cdot (PA)^{t}+k_{2}\cdot (PB)^{t}+k_{3}\cdot (PC)^{t}\geq 2^{t}{\sqrt {k_{1}k_{2}k_{3}}}\left({\frac {(PD)^{t}}{{\sqrt {k_{1}}}}}+{\frac {(PE)^{t}}{{\sqrt {k_{2}}}}}+{\frac {(PF)^{t}}{{\sqrt {k_{3}}}}}\right),

while for t > 1 we have^[21]^:Thm.2

k_{1}\cdot (PA)^{t}+k_{2}\cdot (PB)^{t}+k_{3}\cdot (PC)^{t}\geq 2{\sqrt {k_{1}k_{2}k_{3}}}\left({\frac {(PD)^{t}}{{\sqrt {k_{1}}}}}+{\frac {(PE)^{t}}{{\sqrt {k_{2}}}}}+{\frac {(PF)^{t}}{{\sqrt {k_{3}}}}}\right).

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,^[22]^{:p. 109}

PA+PB+PC\geq 6r.

Others include:^[23]^{:pp. 180–1}

PA^{3}+PB^{3}+PC^{3}+k\cdot (PA\cdot PB\cdot PC)\geq 8(k+3)r^{3}

for k = 0, 1, ..., 6;

PA^{2}+PB^{2}+PC^{2}+(PA\cdot PB\cdot PC)^{{2/3}}\geq 16r^{2};

PA^{2}+PB^{2}+PC^{2}+2(PA\cdot PB\cdot PC)^{{2/3}}\geq 20r^{2};

and

PA^{4}+PB^{4}+PC^{4}+k(PA\cdot PB\cdot PC)^{{4/3}}\geq 16(k+3)r^{4}

for k = 0, 1, ..., 9.

Furthermore, for circumradius R,

(PA\cdot PB)^{{3/2}}+(PB\cdot PC)^{{3/2}}+(PC\cdot PA)^{{3/2}}\geq 12Rr^{2};

^[24]^{:p. 227}

(PA\cdot PB)^{{2}}+(PB\cdot PC)^{{2}}+(PC\cdot PA)^{{2}}\geq 8(R+r)Rr^{2};

^[24]^{:p. 233}

(PA\cdot PB)^{{2}}+(PB\cdot PC)^{{2}}+(PC\cdot PA)^{{2}}\geq 48r^{4};

^[24]^{:p. 233}

(PA\cdot PB)^{{2}}+(PB\cdot PC)^{{2}}+(PC\cdot PA)^{{2}}\geq 6(7R-6r)r^{3}.

^[24]^{:p. 233}

Inradius, exradii, and circumradius

Inradius and circumradius

The Euler inequality for the circumradius R and the inradius r states that

{\frac {R}{r}}\geq 2,

with equality only in the equilateral case.^[25]^{:p. 198}

A stronger version^[5]^{:p. 198} is

{\frac {R}{r}}\geq {\frac {abc+a^{3}+b^{3}+c^{3}}{2abc}}\geq {\frac {a}{b}}+{\frac {b}{c}}+{\frac {c}{a}}-1\geq {\frac {2}{3}}\left({\frac {a}{b}}+{\frac {b}{c}}+{\frac {c}{a}}\right)\geq 2.

By comparison,^[2]^{:p.183,#276.2}

{\frac {r}{R}}\geq {\frac {4abc-a^{3}-b^{3}-c^{3}}{2abc}},

where the right side could be positive or negative.

Two other refinements of Euler's inequality are^[2]^:p.134,#3087

{\frac {R}{r}}\geq {\frac {(b+c)}{3a}}+{\frac {(c+a)}{3b}}+{\frac {(a+b)}{3c}}\geq 2

and

\left({\frac {R}{r}}\right)^{3}\geq \left({\frac {a}{b}}+{\frac {b}{a}}\right)\left({\frac {b}{c}}+{\frac {c}{b}}\right)\left({\frac {c}{a}}+{\frac {a}{c}}\right)\geq 8.

Moreover,

{\frac {R}{r}}\geq {\frac {2(a^{2}+b^{2}+c^{2})}{ab+bc+ca}};

^[1]^:288

a^{3}+b^{3}+c^{3}\leq 8s(R^{2}-r^{2})

in terms of the semiperimeter s;^[2]^:p.20,#816

r(r+4R)\geq {\sqrt {3}}\cdot T

in terms of the area T;^[5]^{:p. 201}

s{\sqrt {3}}\leq r+4R

^[5]^{:p. 201}

and

s^{2}\geq 16Rr-5r^{2}

^[2]^:p.17#708

in terms of the semiperimeter s; and

2R^{2}+10Rr-r^{2}-2(R-2r){\sqrt {R^{2}-2Rr}}\leq s^{2}

\leq 2R^{2}+10Rr-r^{2}+2(R-2r){\sqrt {R^{2}-2Rr}}

also in terms of the semiperimeter.^[5]^{:p. 206}^[7]^{:p. 99} Here the expression ${\sqrt {R^{2}-2Rr}}=d$ 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.^[7]^{:Thm. 1}

We also have for any side a^[26]

(R-d)^{2}-r^{2}\leq 4R^{2}r^{2}\left({\frac {(R+d)^{2}-r^{2}}{(R+d)^{4}}}\right)\leq {\frac {a^{2}}{4}}\leq Q\leq (R+d)^{2}-r^{2},

where $Q=R^{2}$ if the circumcenter is on or outside of the incircle and $Q=4R^{2}r^{2}\left({\frac {(R-d)^{2}-r^{2}}{(R-d)^{4}}}\right)$ if the circumcenter is inside the incircle. The circumcenter is inside the incircle if and only if^[26]

{\frac {R}{r}}<{\sqrt {2}}+1.

Further,

{\frac {9r}{2T}}\leq {\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}\leq {\frac {9R}{4T}}.

^[1]^{:p. 291}

Blundon's inequality states that^[5]^{:p. 206;}^[27]^[28]

s\leq (3{\sqrt {3}}-4)r+2R.

For incircle center I, let AI, BI, and CI extend beyond I to intersect the circumcircle at D, E, and F respectively. Then^[2]^:p.14,#644

{\frac {AI}{ID}}+{\frac {BI}{IE}}+{\frac {CI}{IF}}\geq 3.

In terms of the vertex angles we have ^[2]^{:p.193,#342.6}

\cos A\cdot \cos B\cdot \cos C\leq \left({\frac {r}{R{\sqrt {2}}}}\right)^{2}.

Circumradius and other lengths

For the circumradius R we have^[2]^:p.101,#2625

18R^{3}\geq (a^{2}+b^{2}+c^{2})R+abc{\sqrt {3}}

and^[2] ^:p.35,#1130

a^{{2/3}}+b^{{2/3}}+c^{{2/3}}\leq 3^{{7/4}}R^{{3/2}}.

We also have^[1]^{:pp. 287–90}

a+b+c\leq 3{\sqrt {3}}\cdot R,

9R^{2}\geq a^{2}+b^{2}+c^{2},

h_{a}+h_{b}+h_{c}\leq 3{\sqrt {3}}\cdot R

in terms of the altitudes,

m_{a}^{2}+m_{b}^{2}+m_{c}^{2}\leq {\frac {27}{4}}R^{2}

in terms of the medians, and^[2]^:p.26,#957

{\frac {ab}{a+b}}+{\frac {bc}{b+c}}+{\frac {ca}{c+a}}\geq {\frac {2T}{R}}

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^[2]^:p.17,#718

OU+OV+OW\geq {\frac {3}{2}}R.

For an acute triangle the distance between the circumcenter O and the orthocenter H satisfies^[2]^:p.26,#954

OH < R,

with the opposite inequality holding for an obtuse triangle.

The circumradius is at least twice the distance between the first and second Brocard points B₁ and B₂:^[29]

R\geq 2B_{1}B_{2}.

Inradius, exradii, and other lengths

For the inradius r we have^[1]^{:pp. 289–90}

{\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}\leq {\frac {{\sqrt {3}}}{2r}},

9r\leq h_{a}+h_{b}+h_{c}

in terms of the altitudes, and

{\sqrt {r_{a}^{2}+r_{b}^{2}+r_{c}^{2}}}\geq 6r

in terms of the radii of the excircles. We additionally have

{\sqrt {s}}({\sqrt {a}}+{\sqrt {b}}+{\sqrt {c}})\leq {\sqrt {2}}(r_{a}+r_{b}+r_{c})

^[2]^:p.66,#1678

and

{\frac {abc}{r}}\geq {\frac {a^{3}}{r_{a}}}+{\frac {b^{3}}{r_{b}}}+{\frac {c^{3}}{r_{c}}}.

^[2]^{:p.183,#281.2}

The exradii and medians are related by^[2]^:p.66,#1680

{\frac {r_{a}r_{b}}{m_{a}m_{b}}}+{\frac {r_{b}r_{c}}{m_{b}m_{c}}}+{\frac {r_{c}r_{a}}{m_{c}m_{a}}}\geq 3.

In addition, for an acute triangle the distance between the incircle center I and orthocenter H satisfies^[2]^:p.26,#954

IH < r\sqrt{2},

with the reverse inequality for an obtuse triangle.

Also, an acute triangle satisfies^[2]^:p.26,#954

r^2+r_a^2+r_b^2+r_c^2 < 8R^2,

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^[2]^{:p.215,32nd IMO,#1}

{\frac {1}{4}}<{\frac {AI\cdot BI\cdot CI}{AU\cdot BV\cdot CW}}\leq {\frac {8}{27}}.

If the internal angle bisectors through incenter I extend to meet the circumcircle at X, Y and Z then ^[2]^{:p.181,#264.4}

{\frac {1}{IX}}+{\frac {1}{IY}}+{\frac {1}{IZ}}\geq {\frac {3}{R}}

for circumradius R, and^[2]^{:p.181,#264.4}^[2]^:p.45,#1282

0\leq (IX-IA)+(IY-IB)+(IZ-IC)\leq 2(R-2r).

If the incircle is tangent to the sides at D, E, F, then^[2]^:p.115,#2875

EF^{2}+FD^{2}+DE^{2}\leq {\frac {s^{2}}{3}}

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^[2]^:p.42,#1245

{\text{Perimeter of hexagon}}\leq {\frac {2}{3}}({\text{Perimeter of triangle}}).

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 (in which case the inscribed triangle is the medial triangle and all four interior triangles have equal areas):^[8]^:p.137

{\text{Area(DEF)}}\geq {\text{min(Area(BED), Area(CFE), Area(ADF))}}.

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. (A right triangle has only two distinct inscribed squares.) If one of these squares has side length x_a and another has side length x_b with x_a < x_b, then^[30]^{:p. 115}

1 \geq \frac{x_a}{x_b} \geq \frac{2\sqrt{2}}{3} \approx 0.94.

Moreover, for any square inscribed in any triangle we have^[2]^:p.18,#729^[30]

{\frac {{\text{Area of triangle}}}{{\text{Area of inscribed square}}}}\geq 2.

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.^[13]^:p.231 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:^[13]^{:p. 234,Propos.5}

{\frac {d}{s}}<{\frac {d}{u}}<{\frac {d}{v}}<{\frac {1}{3}}.

For all of these ratios, the upper bound of 1/3 is the tightest possible.^[13]^:p.235,Thm.6

Right triangle

In right triangles the legs a and b and the hypotenuse c obey the following, with equality only in the isosceles case:^[1]^{:p. 280}

a+b\leq c{\sqrt {2}}.

In terms of the inradius, the hypotenuse obeys^[1]^{:p. 281}

2r\leq c({\sqrt {2}}-1),

and in terms of the altitude from the hypotenuse the legs obey^[1]^{:p. 282}

h_{c}\leq {\frac {{\sqrt {2}}}{4}}(a+b).

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^[2]^{:p.169,# $\eta$ 44}

{\frac {2ac}{a+c}}>t>{\frac {ac{\sqrt {2}}}{a+c}}.

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:^[1]^{:p. 279}

PA+PB>PC,\quad PB+PC>PA,\quad PC+PA>PB.

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,^[2]^{:p.178,#235.4}

4(PD^{2}+PE^{2}+PF^{2})\geq PA^{2}+PB^{2}+PC^{2}.

Two triangles

Pedoe's inequality 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

d^{2}(b^{2}+c^{2}-a^{2})+e^{2}(a^{2}+c^{2}-b^{2})+f^{2}(a^{2}+b^{2}-c^{2})\geq 16TS,\,

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 (with a opposite A etc.), if a = d and b = e and angle C > angle F, then

c>f.

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^[6]

\cot A(\cot E+\cot F)+\cot B(\cot F+\cot D)+\cot C(\cot D+\cot E)\geq 2.

Non-Euclidean triangles

In a triangle on the surface of a sphere, as well as in elliptic geometry,

\angle A+\angle B+\angle C >180\text{°}.

This inequality is reversed for hyperbolic triangles.

References

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 Posamentier, Alfred S. and Lehmann, Ingmar. The Secrets of Triangles, Prometheus Books, 2012.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 Inequalities proposed in “Crux Mathematicorum” and elsewhere", .
↑ Nyugen, Minh Ha, and Dergiades, Nikolaos. "Garfunkel's Inequality", Forum Geometricorum 4, 2004, 153–156. http://forumgeom.fau.edu/FG2004volume4/FG200419index.html
↑ Lu, Zhiqin. "An optimal inequality", Mathematical Gazette 91, November 2007, 521–523.
1 2 3 4 5 6 7 8 Svrtan, Dragutin and Veljan, Darko. "Non-Euclidean versions of some classical triangle inequalities", Forum Geometricorum 12, 2012, 197–209. http://forumgeom.fau.edu/FG2012volume12/FG201217index.html
1 2 Scott, J. A., "A cotangent inequality for two triangles", Mathematical Gazette 89, November 2005, 473–474.
1 2 3 4 5 Birsan, Temistocle (2015). "Bounds for elements of a triangle expressed by R, r, and s" (PDF). Forum Geometricorum. 15: 99–103.
1 2 3 4 Torrejon, Ricardo M. "On an Erdos inscribed triangle inequality", Forum Geometricorum 5, 2005, 137–141. http://forumgeom.fau.edu/FG2005volume5/FG200519index.html
↑ Chakerian, G. D. "A Distorted View of Geometry." Ch. 7 in Mathematical Plums (R. Honsberger, editor). Washington, DC: Mathematical Association of America, 1979: 147.
↑ Minda, D., and Phelps, S., "Triangles, ellipses, and cubic polynomials", American Mathematical Monthly 115, October 2008, 679–689: Theorem 4.1.
↑ Benyi, A ́rpad, and C ́́urgus, Branko. "Ceva's triangle inequalities", Mathematical Inequalities & Applications 17 (2), 2014, 591-609.
↑ Mitchell, Douglas W., "A Heron-type formula for the reciprocal area of a triangle", Mathematical Gazette 89 (November 2005), 494.
1 2 3 4 5 6 7 Franzsen, William N.. "The distance from the incenter to the Euler line", Forum Geometricorum 11 (2011): 231–236.
↑ L. Euler, "Solutio facilis problematum quorundam geometricorum difficillimorum", Novi Comm. Acad. Scie. Petropolitanae 11 (1765); reprinted in Opera Omnia, serie prima, vol. 26 (A. Speiser, ed.), n. 325, 139–157.
↑ Stern, Joseph (2007). "Euler's triangle determination problem". Forum Geometricorum. 7: 1–9.
↑ Altshiller-Court, Nathan. College Geometry. Dover Publications, 2007.
↑ Mitchell, Douglas W. "Perpendicular bisectors of triangle sides", Forum Geometricorum 13, 2013, 53–59: Theorem 4. http://forumgeom.fau.edu/FG2013volume13/FG201307index.html
↑ Alsina, Claudi; Nelsen, Roger B. (2007), "A visual proof of the Erdős–Mordell inequality", Forum Geometricorum, 7: 99–102 . http://forumgeom.fau.edu/FG2007volume7/FG200711index.html
↑ Bankoff, Leon (1958), "An elementary proof of the Erdős–Mordell theorem", American Mathematical Monthly, 65 (7): 521, doi:10.2307/2308580, JSTOR 2308580 .
↑ Mordell, L. J. (1962), "On geometric problems of Erdös and Oppenheim", Mathematical Gazette, 46 (357): 213–215, JSTOR 3614019 .
1 2 Janous, Walther. "Further inequalities of Erdos–Mordell type", Forum Geometricorum 4, 2004, 203–206. http://forumgeom.fau.edu/FG2004volume4/FG200423index.html
↑ Sandor, Jozsef. "On the geometry of equilateral triangles", Forum Geometricorum 5, 2005, 107–117. http://forumgeom.fau.edu/FG2005volume5/FG200514index.html
↑ Mansour, Toufik, and Shattuck, Mark. "On a certain cubic geometric inequality", Forum Geometricorum 11, 2011, 175–181. http://forumgeom.fau.edu/FG2011volume11/FG201118index.html
1 2 3 4 Mansour, Toufik and Shattuck, Mark. "Improving upon a geometric inequality of third order", Forum Geometricorum 12, 2012, 227–235. http://forumgeom.fau.edu/FG2012volume12/FG201221index.html
↑ Dragutin Svrtan and Darko Veljan, "Non-Euclidean versions of some classical triangle inequalities", Forum Geometricorum 12 (2012), 197–209. http://forumgeom.fau.edu/FG2012volume12/FG201217index.html
1 2 Yurii, N. Maltsev and Anna S. Kuzmina, "An improvement of Birsan's inequalities for the sides of a triangle", Forum Geometricorum 16, 2016, pp. 81−84.
↑ Blundon, W. J. (1965). "Inequalities associated with the triangle". Canad. Math. Bull. 8: 615–626. doi:10.4153/cmb-1965-044-9.
↑ Dorin Andrica, Cătălin Barbu. "A Geometric Proof of Blundon’s Inequalities", Mathematical Inequalities & Applications, Volume 15, Number 2 (2012), 361–370. http://mia.ele-math.com/15-30/A-geometric-proof-of-Blundon-s-inequalities
↑ Scott, J. A. "Some examples of the use of areal coordinates in triangle geometry", Mathematical Gazette 83, November 1999, 472–477.
1 2 Oxman, Victor, and Stupel, Moshe. "Why are the side lengths of the squares inscribed in a triangle so close to each other?" Forum Geometricorum 13, 2013, 113–115. http://forumgeom.fau.edu/FG2013volume13/FG201311index.html

This article is issued from Wikipedia - version of the 8/28/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

List of triangle inequalities

Main parameters and notation

Side lengths

Angles

Area

Medians and centroid

Altitudes

Internal angle bisectors and incenter

Perpendicular bisectors of sides

Segments from an arbitrary point

Inradius, exradii, and circumradius

Inradius and circumradius

Circumradius and other lengths

Inradius, exradii, and other lengths

Inscribed figures

Inscribed hexagon

Inscribed triangle

Inscribed squares

Euler line

Right triangle

Isosceles triangle

Equilateral triangle

Two triangles

Non-Euclidean triangles

See also

References