Triangle inequalities

Pick any three lengths you like — say 5 cm5\text{ cm}, 9 cm9\text{ cm}, 3 cm3\text{ cm} — and try to build a triangle out of them. Sometimes it works. Sometimes the two shorter sides simply cannot reach across to meet the third, and no triangle exists at all, no matter how you tilt the sticks. Triangles are not free-for-all shapes: the lengths of their sides and the sizes of their opposite angles are locked together by a small set of strict rules called triangle inequalities. These rules let you answer geometry questions without a ruler or protractor — which side is longest, whether a triangle can even be drawn, what range an unknown side must fall in, and why the perpendicular from a point to a line is always the shortest path to it. This article builds up the core inequality from a simple picture, applies it to worked ICSE-style problems, and flags the traps that turn a one-mark question into a mistake.

The core insight

In any triangle, sides and their opposite angles rise and fall together — the greater side sits opposite the greater angle — and the sum of any two sides must strictly exceed the third, a+b>ca+b>c, or no triangle exists.

The core idea

There are four linked results here, all about inequality, not equality — none of them apply if the triangle is equilateral or the two things being compared are equal.

1. Equal sides pair with equal angles. In △ABC\triangle ABC, AB=ACAB = AC if and only if ∠B=∠C\angle B = \angle C. This is the familiar isosceles-triangle fact, and it is the equality case that the next result generalizes.

2. Bigger side pairs with bigger opposite angle. If two sides of a triangle are unequal, the angle opposite the longer side is the larger angle, and conversely the side opposite the larger angle is the longer side. For △ABC\triangle ABC:

AB>AC  ⟺  ∠C>∠BAB > AC \iff \angle C > \angle B

where: angle CC is the angle that does not touch side ABAB (so it is "opposite" ABAB), and angle BB is opposite ACAC. Side and angle move together — you never get a triangle where the longest side faces the smallest angle.

3. Sum of two sides beats the third. For any triangle with sides aa, bb, cc:

a+b>c,b+c>a,c+a>ba + b > c, \qquad b + c > a, \qquad c + a > b

where: aa, bb, cc are the three side lengths of the triangle, in any consistent unit. Equivalently, packing all three into one statement, each side is bounded between the sum and the difference of the other two:

∣b−c∣<a<b+c|b - c| < a < b + c

where: ∣b−c∣|b-c| is the absolute difference of the two known sides and b+cb+c is their sum, so this single inequality gives both the lower and upper bound on the third side aa at once.

4. Perpendicular is shortest. Of all line segments drawn from a point outside a line to that line, the perpendicular segment is the shortest. Any other segment forms the hypotenuse of a right triangle with the perpendicular as one leg, and a hypotenuse is always longer than either leg.

Figure
Two triangles side by side, one with two sides that reach to close the third side and one where two short sides fail to reach across a longer base, illustrating when the triangle inequality does and does not hold
Sum of two sides must beat the third — or the triangle collapses valid: 5 + 9 greater than 9 (sides reach) 5 7 9 invalid: 5 + 3 less than 9 (gap remains) 5 3 9 gap
Derivation AWhy the perpendicular from a point to a line is the shortest segment to that line

We want to show that among every line segment drawn from an external point PP to a fixed line ℓ\ell, the one that meets ℓ\ell at a right angle has strictly the smallest length, so that any slanted segment from PP to ℓ\ell is always longer than the perpendicular and never equal or shorter to it, using only the fact that a right triangle's hypotenuse exceeds either of its legs.

Step 1. Drop the perpendicular from PP to ℓ\ell, meeting ℓ\ell at foot MM, so PM⊥ℓPM \perp \ell and PMPM is the candidate shortest segment. Let NN be any other point on ℓ\ell, N≠MN \neq M, so PNPN is a "slanted" segment we want to compare with PMPM.

Step 2. The points PP, MM, NN form a triangle △PMN\triangle PMN, and because PM⊥ℓPM \perp \ell and MNMN lies along ℓ\ell, the angle at MM inside this triangle is ∠PMN=90∘\angle PMN = 90^\circ. So △PMN\triangle PMN is a right triangle with the right angle at MM.

Step 3. In a right triangle, the side opposite the right angle is the hypotenuse, and by result 2 above (bigger angle opposite bigger side), the side opposite the largest angle is the longest side of the triangle. Since 90∘90^\circ is the largest possible angle sum contribution here (the other two angles of △PMN\triangle PMN must sum to 90∘90^\circ, so each is less than 90∘90^\circ), the hypotenuse PNPN is strictly longer than either leg, in particular strictly longer than leg PMPM.

Step 4. Therefore PN>PMPN > PM for every point NN on ℓ\ell other than MM. Since NN was an arbitrary point on the line other than the foot of the perpendicular, this holds for every slanted segment, so PMPM — the perpendicular — is shorter than all of them, proving it is the unique shortest distance from PP to ℓ\ell.

Worked example

In △PQR\triangle PQR, ∠Q=70∘\angle Q = 70^\circ and ∠R=55∘\angle R = 55^\circ, with PQ=6 cmPQ = 6\text{ cm}. Find ∠P\angle P, decide which side of the triangle is longest, and find QRQR — all without Pythagoras or the sine rule. Then check whether PQ=6 cmPQ = 6\text{ cm}, QR=6 cmQR = 6\text{ cm}, and a third side PRPR of length 13 cm13\text{ cm} could all belong to the same triangle.

Step 1. Use the angle-sum property of a triangle to find the missing angle:

∠P=180∘−70∘−55∘=55∘\angle P = 180^\circ - 70^\circ - 55^\circ = 55^\circ

So the three angles are ∠P=55∘\angle P = 55^\circ, ∠Q=70∘\angle Q = 70^\circ, ∠R=55∘\angle R = 55^\circ.

Step 2. Compare the angles: ∠Q=70∘\angle Q = 70^\circ is strictly the largest, while ∠P=∠R=55∘\angle P = \angle R = 55^\circ are equal to each other. By result 1 (equal angles pair with equal opposite sides), since ∠P=∠R\angle P = \angle R, the sides opposite them are equal. The side opposite ∠P\angle P is QRQR, and the side opposite ∠R\angle R is PQPQ, so

QR=PQ=6 cmQR = PQ = 6\text{ cm}

Step 3. By result 2 (bigger angle pairs with bigger opposite side), ∠Q\angle Q is the largest angle, and the side opposite it is PRPR. So PRPR is the longest side of △PQR\triangle PQR — longer than 6 cm6\text{ cm}, though its exact length needs more than angle comparison to pin down.

Step 4. Now check the proposed triple PQ=6PQ = 6, QR=6QR = 6, PR=13PR = 13 against result 3, a+b>ca + b > c for every pair. Take the two smaller sides: PQ+QR=6+6=12PQ + QR = 6 + 6 = 12, but 12<1312 < 13. Since the sum of the two shorter sides does not exceed the third, these three lengths cannot form a triangle — so PRPR cannot actually equal 13 cm13\text{ cm} here.

Step 5. To find the true allowed range for PRPR given PQ=QR=6 cmPQ = QR = 6\text{ cm}, apply ∣b−c∣<a<b+c|b-c| < a < b+c with b=c=6b = c = 6:

∣6−6∣<PR<6+6  ⟹  0<PR<12|6-6| < PR < 6+6 \implies 0 < PR < 12

Combined with Step 3 (that PRPR is the longest side, so PR>6PR > 6), the length of PRPR must satisfy 6 cm<PR<12 cm\boxed{6\text{ cm} < PR < 12\text{ cm}}.

Competitive stretch

If instead only PQ=5 cmPQ = 5\text{ cm} and QR=9 cmQR = 9\text{ cm} were known (dropping the equal-angle condition), the same bound ∣b−c∣<a<b+c|b-c| < a < b+c gives 9−5<PR<9+59 - 5 < PR < 9 + 5, i.e. 4 cm<PR<14 cm\boxed{4\text{ cm} < PR < 14\text{ cm}} — a wider window than the isosceles case above, since fixing two sides equal (via equal angles) also pins the third side into a tighter, symmetric range.

Common traps

  • Writing "≥\geq" instead of ">>". The inequality is strict: if a+b=ca + b = c exactly, the three "vertices" become collinear — a flattened, zero-area figure, not a genuine triangle.
  • Matching the wrong side to the wrong angle. The side opposite an angle is the one that does not touch that angle's vertex; swapping this pairing flips the inequality and gives the wrong "longest side."
  • Assuming any slanted segment beats the perpendicular. Only the perpendicular from an external point to a line is guaranteed shortest; every other segment to that line is strictly longer, never equal.
  • Skipping the consistency check. Before trusting three given lengths as a triangle, always test a+b>ca+b>c for the two smaller sides against the largest — this is the one check that instantly rules out impossible data.

Ask the tutor: Want to test whether a tricky set of three lengths can form a triangle, or practise ordering sides and angles in a labelled figure? Ask the AI tutor to work through a few more triangle inequality problems with you.

Why is the triangle inequality strict, not allowing a + b = c?

When a+b=ca + b = c exactly, imagine the two shorter sides swinging to meet — at that exact length they lie flat along the third side instead of rising to meet at a peak. The "triangle" has zero height and zero area: it is really just a straight line segment covered twice. Geometry only calls something a triangle if the three vertices are non-collinear, so the sum must be strictly greater, not equal.

Do I need to prove these results in ICSE exams, or just use them?

At Class 9 ICSE level, the syllabus explicitly treats angle-side inequalities and the sum-of-two-sides rule as results to apply, not to prove — proofs are reserved for later classes. You are expected to quote the rule, plug in the given angles or sides, and reach a numeric or comparative conclusion, as in the worked example above. The one exception worth knowing informally is the perpendicular-shortest-distance result, whose reasoning (hypotenuse beats a leg) is short enough to be asked as a "explain why" question.

How is |b - c| < a < b + c different from just writing three separate inequalities?

They say the same thing, just packaged differently. Writing a+b>ca+b>c, b+c>ab+c>a, c+a>bc+a>b as three separate statements is exact and works for any labelling. Writing ∣b−c∣<a<b+c|b-c| < a < b+c isolates one particular side, aa, and gives both its lower and upper bound in a single line — which is exactly the form you need when a question asks "what is the range of the third side," since you only care about bounding the unknown one, not re-deriving all three inequalities from scratch.

Before this

Where this leads