# Proving Stewart's theorem without trig

Stewart's theorem states that in the triangle shown below,

$$b^2 m + c^2 n = a (d^2 + mn).$$

Is there any good way to prove this without using any trigonometry? Every proof I can find uses the Law of Cosines.

-

You can do it using the Pythagorean theorem. I'll treat the case in which $\angle (a,b)$ and $\angle(a,c)$ are both acute and $m \gt n$ as in your figure.

Draw the height $h$ of the triangle $abc$ and denote the resulting middle segment on $a$ by $x$. Using the Pythagorean theorem one sees

\begin{align*} b^2 &= h^2 + (n+x)^2 \\ c^2 &= h^2 + (m-x)^2 \\ d^2 &= h^2 + x^2 \end{align*}

Therefore \begin{align*} b^2 m &= h^2m + n^2m + 2mnx+x^2m \\ c^2 n &= h^2n + m^2n - 2mnx + x^2n \\ b^2 m + c^2n &= (n+m)(h^2 + mn + x^2) = a(d^2 + mn) \end{align*} as we wanted.

If $\angle(a,c)$ is obtuse, the same idea works: Write $$b^2 = (m+n+x)^2 + h^2, \qquad c^2 = x^2 + h^2, \qquad d^2 = (m+x)^2 + h^2$$ and calculate similarly.

Symmetry and the consideration of some degenerate cases easily lead to a complete proof of Stewart's theorem from what I've written here.

It would be very nice to have a good pictorial proof that makes the identity similarly obvious as Pythagoras, but so far I couldn't come up with a nice figure that would achieve this.

Added: Matthew Stewart (1717–1785) published this theorem as Proposition II on page 2 in his 1746 book Some general theorems of considerable use in the higher parts of mathematics (arxive.org). Unfortunately, Google's scans don't seem to include the figures, but they are easy to reconstruct from the description in the text.

One case of Stewart's Proposition II reads in the above notation:

$$b^2 + c^2 \frac{n}{m} = an + d^2 \frac{a}{m}$$

and it has the following nice corollary:

$$a^2 + b^2 + c^2 = 2d^2 + m^2 + n^2.$$

Here's the title page and the relevant passage (not using trigonometry either). Since Proposition I is used in the proof, I'm including the entire beginning of the text:

-
Very nice, thanks! –  Ben Alpert Jun 21 '11 at 2:34
@Ben: you're welcome. Very nice problem! –  t.b. Jun 21 '11 at 2:37
@Ben: A complete proof needs to take care of the case when the vertex opposite to $a$ is to the right of $a$, of course, but I'm pretty sure that the elimination process should work in that case, too. It's late here, I leave that to you. –  t.b. Jun 21 '11 at 2:40
Thanks, your answer is definitely good enough for my purposes. Good night! –  Ben Alpert Jun 21 '11 at 2:42
@Ben: I added scans of Stewart's original proof –  t.b. Jun 21 '11 at 9:55

Geometric equivalents of the Law of Cosines are already present in Book II of Euclid, in Propositions $12$ and $13$ (the first is the obtuse angle case, the second is the acute angle case).

Here are links to Proposition $12$, Book II, and to Proposition $13$.

There is absolutely no trigonometry in Euclid's proofs.

These geometric equivalents of the Law of Cosines can be used in a mechanical way as "drop in" replacements for the Law of Cosines in "standard" proofs of Stewart's Theorem. What in trigonometric approaches we think of as $2ab\cos\theta$ is, in Euclid, the area of a rectangle that is added to or subtracted from the combined area of two squares.

-
What you describe is in fact very close to what Stewart did himself. I hope you like the scans I included in my answer. The book is a gem! –  t.b. Jun 21 '11 at 11:02
@Theo Buehler: Yes, Joyce's Euclid is beautiful, and the use of colour outstanding. Indeed I very much like the scans from Stewart. It is important that people be exposed to the real history of mathematics, not just to modern interpretations. Amazing how many people think that the Pythagorean Theorem is about the square of the hypotenuse, when it is actually square on the hypotenuse. –  André Nicolas Jun 21 '11 at 11:21
I can't express how much I agree with that! –  t.b. Jun 21 '11 at 11:34

If you can get your hands on M. S. R. Anjaneyulu, Elements of Modern Pure Geometry, Asia Publishing House, New York 1964 (MR0172146 (30 #2372)), it may have what you want. The review, by Coxeter, starts, "This is a nicely written text-book. The work begins with directed line segments, Stewart's theorem, and a metrical definition for the harmonic relation...." and the review never mentions trigonometry.

-