topic badge

Investigation: Proof of the triangle inequality

Lesson

We will now present a complete paragraph proof of the triangle inequality theorem.

Tips for reading mathematical proofs

Reading proofs takes much longer than reading text written in everyday language, and that's okay! Follow these tips for understanding and reading proofs:

  • Always stop reading if you don't understand something.  It's okay to go back and re-read a statement several times.
  • If a writer draws something in a proof, try drawing it on your own with pencil and paper.
  • After reading a few sentences, see if you can state back the meaning in your own words.

Consider a general triangle, \Delta PQR:

What we want to prove now is that PQ+QR>PR, PQ+PR>QR, and QR+PR>PQ.

It seems daunting to prove three things! But we begin by assuming that \overline{PQ} is the longest side (as it is in the diagram above). Even if two or more of the sides have the same length as \overline{PQ}, we are only assuming PQ\geq QR and PQ\geq PR.

This gives us two of the inequalities essentially for free. PQ\geq PR becomes PQ+QR\geq PR+QR by the addition property of (in)equality, and since QR is a nonzero amount, we can be sure that PQ+QR>PR on its own. A similar calculation establishes the second inequality.

So now we are left with the third inequality, which is going to take the most work. We are going to describe a construction and use it on a particular diagram, but we need to make sure it will work for any triangle and be careful as we proceed.

We perform the following steps:

  1. Draw a circle of radius QR centered at R.
  2. Extend \overline{PR} to \overrightarrow{PR}.
  3. The ray from step 2 intersects the circle from step 1 at a point - we mark it and call X.

Here is the results of the process with our triangle:

As indicated on the diagram, the radii \overline{RX} and \overline{QR} are congruent, since they're radii of the same circle, so they have the same measure. By substitution, QR+PR>PQ is equivalent to PR+RX>PQ, and proving this second statement is the same as finishing the proof altogether.

Remove the ray and the circle and create \overline{XQ} to form the triangle \Delta RQX:

As we noted before, two of the sides of this triangle are congruent, and so this triangle is isosceles. Since base angles of an isosceles triangle are equal, we can write \angle RXQ\cong\angle RQX.

Now we consider the other triangle we formed, \Delta PQX:

The angle addition postulate tells us that m\angle PQR + m\angle RQX = m\angle PQX. If we subtract m\angle PQR from the left-hand side only, we break equality, and have the inequality m\angle RQX < m\angle PQX.

Using the established congruence \angle RXQ\cong\angle RQX, we can substitute the measure of \angle RXQ for the measure of \angle RQX and produce m\angle RXQ < m\angle PQX. Now \angle PXQ=\angle RXQ since P, R, and X all lie on the ray \overrightarrow{XR}, and so by substitution again we can write m\angle PXQ < m\angle PQX. We can then conclude that PQ < PX, as an angle of smaller measure is opposite the shorter side.

By the segment addition postulate we know that PX = PR + RX, and by substituting this into the last inequality we found in the previous paragraph we know that PQ < PR + RX. We once again use the fact that RX=QR and by substitution we have PQ < PR + QR. We can then rearrange this inequality to produce QR+PR>PQ, QED.

 

Extra Challenge

Now that you've read the paragraph proof of the triangle inequality theorem, how can you be sure you really understand it?

Try re-creating the proof in a new medium.  For example, by explaining it in a video, cartoon strip, or as a two-column proof.

Outcomes

II.G.CO.10

Prove theorems about triangles. Theorems include: measures of interior angles of a triangle sum to 180°; base angles of isosceles triangles are congruent; the segment joining midpoints of two sides of a triangle is parallel to the third side and half the length; the medians of a triangle meet at a point.

What is Mathspace

About Mathspace