JOVANA
Explore Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

The Side-Splitter Theorem and the Geometric Mean

Slice a triangle with a line parallel to one side and the two pieces it cuts off keep the same ratio — that is the side-splitter. Drop the altitude to a right triangle's hypotenuse and a single length becomes the geometric mean of two others. Both are similarity wearing a working-clothes disguise.

A line that respects the ratio

In the last two guides you earned a powerful shortcut: by the AA criterion, two triangles with two matching angles are similar, and similar triangles hand you equal ratios of corresponding sides for free. The side-splitter theorem is what happens when you point that shortcut at a single triangle and slice it. Take triangle ABC, and draw a line across it that meets side AB at a point D and side AC at a point E, with DE parallel to the third side BC. The claim is clean: that parallel line cuts the two sides it crosses into the same ratio, |AD|/|DB| = |AE|/|EC|.

Picture it concretely. A triangular flag has a horizontal seam sewn across it, parallel to the bottom edge. The side-splitter says: if that seam sits one-third of the way up the left edge, it sits one-third of the way up the right edge too. Not the same distance up — the edges may have different lengths — but the same fraction of the way. The parallel line refuses to play favourites; whatever proportion it carves on one side, it copies on the other.

Why it is true — and a familiar special case

The proof is two lines long once you see the right pair of triangles. Because DE is parallel to BC, the transversal AB makes corresponding angles equal: m(angle ADE) = m(angle ABC). The two triangles ADE and ABC also share angle A. Two pairs of equal angles is exactly the AA criterion, so triangle ADE is similar to triangle ABC. Similarity gives |AD|/|AB| = |AE|/|AC|. A line of proportion algebra turns that part-to-whole equality into the part-to-part form, and the side-splitter is proved.

There is a special case you already know under a different name. Suppose the parallel line cuts each side exactly in half, so D and E are the midpoints. Then |AD|/|DB| = 1, and DE is the midsegment. The side-splitter (run in its converse direction) confirms DE must be parallel to BC, and the similarity ratio of 1/2 forces |DE| = |BC|/2. The midsegment theorem is not a separate fact to memorise — it is the side-splitter caught at the symmetric, halfway moment.

Running it backwards, and the angle-bisector twist

Like every good theorem in this rung, the side-splitter has a useful converse. If a line crosses two sides of a triangle and splits them in the same ratio — |AD|/|DB| = |AE|/|EC| — then that line must be parallel to the third side. This is what lets the theorem build things rather than only describe them: it is the engine behind dividing a segment into n equal parts with straightedge and compass, where you lay off equal steps on a helper ray and let parallels copy the equal spacing back onto your target segment.

A close cousin deserves a warning so you do not over-generalise. The angle-bisector of a triangle — the line from a vertex that splits that vertex's angle in two — also divides the opposite side in a ratio, but not the 1:1 you might guess and not by being parallel to anything. The angle-bisector length theorem says the bisector from A splits side BC in the ratio of the other two sides: |BD|/|DC| = |AB|/|AC|. It is a genuinely different mechanism from the side-splitter; do not let the family resemblance fool you into expecting equal halves.

The geometric mean: a length that is a multiplication in disguise

Now meet the second star of this guide. The geometric mean of two positive numbers p and q is the number g with g/p = q/g — that is, g^2 = p q, so g = sqrt(p q). Compare it with the ordinary (arithmetic) mean (p + q)/2, which sits halfway additively; the geometric mean sits halfway multiplicatively. In the language of means and extremes from the proportions guide, g is the value that makes p : g = g : q a true proportion — the single number that can stand as both means at once.

Why does geometry care? Because there is a beautiful place where this exact relationship is built out of lines. Take a right triangle with the right angle at C, and drop the altitude from C straight down to the hypotenuse, meeting it at a foot H. That altitude splits the hypotenuse into two pieces. The altitude-on-hypotenuse relations say three geometric means are sitting right there: the altitude |CH| is the geometric mean of the two hypotenuse pieces, and each leg is the geometric mean of the whole hypotenuse and the piece adjacent to it.

          C
         /|\
        / | \        right angle at C
     b /  |h \ a      h = altitude CH
      /   |   \
     /____|____\
    A  m  H  n  B     hypotenuse split: |AH|=m, |HB|=n

   h = sqrt(m * n)        (altitude is the mean of m, n)
   b = sqrt((m+n) * m)    (leg = mean of whole & near piece)
   a = sqrt((m+n) * n)
The altitude to the hypotenuse manufactures three geometric means at once.

The reason is pure similarity again, and it is worth seeing once. The altitude carves the big right triangle into two smaller right triangles, and all three — the original and the two pieces — are similar to one another by AA (each small one shares an acute angle with the big one, and each has its own right angle). Reading equal ratios off those similar triangles is exactly what produces g^2 = p q in each of the three forms. So the geometric mean is not a numerical curiosity bolted onto geometry; it is what similar right triangles say when you write their side ratios down.

A worked example, and where it points

Let us make it numerical. A right triangle has its right angle at C, and the altitude from C meets the hypotenuse so that the two pieces measure |AH| = 4 and |HB| = 9. Find the altitude h and the two legs.

  1. The altitude is the geometric mean of the two pieces: h = sqrt(4 * 9) = sqrt(36) = 6.
  2. The whole hypotenuse is 4 + 9 = 13. The leg near the piece of length 4 is b = sqrt(13 * 4) = sqrt(52) = 2 sqrt(13).
  3. The leg near the piece of length 9 is a = sqrt(13 * 9) = sqrt(117) = 3 sqrt(13).
  4. Sanity check with the legs: a^2 + b^2 = 117 + 52 = 169 = 13^2 = hypotenuse^2 — it agrees with the relation you will meet head-on in the next guide.

That last check is not a coincidence, and it is the doorway out of this guide. The altitude-on-hypotenuse picture, with its three nested similar triangles, is one of the cleanest routes to the most famous statement in all of geometry — the Pythagorean theorem, a^2 + b^2 = c^2. Add the two leg relations b^2 = (m+n)m and a^2 = (m+n)n and the right side collapses to (m+n)^2, the hypotenuse squared. We will not lean on that derivation as the only one — the next guide shows Pythagoras has a hundred proofs — but it is satisfying that the geometric mean you just met is already, quietly, one of them.