Carnot's Theorem

Carnot's theorem is a direct application of the theorem of Pythagoras. It's a nice little theorem that is unlikely to be rediscovered with dynamic geometry software. A penchant for doodling and imagination this is all that is probably needed to rediscover a theorem like that.

Let points A', B', and C' be located on the sides BC, AC, and respectively AB of ABC. The perpendiculars to the sides of the triangle at points A', B', and C' are concurrent iff

Proof

Assume the three perpendiculars meet in point P. The lines AP, BP, CP, A'P, B'P, C'P split the triangle into six right-angled triangles, three pairs of which share a hypotenuse, whilst three other pairs share a leg with a vertex at P. The situation begs for an application of the Pythagorean theorem:

Taking the first, third, and fifth equations with the sign "+", and the second, fourth, and sixth equations with the sign "-", and adding up all six leads, after obvious simplifications, to (1).

To proof the converse, assume (1) and let P be the point of intersection of, say, A'P and B'P. Drop a perpendicular DP from P to AB. By the already proven part:

so that

This is only possible if D = C'. Why so. Let BD = x, AB = c. Then AD = c - x, and

which is a linear function of x: f(x) = c² - 2cx. f therefore is 1-1. In other words, f(x) can't have the same value for two different x's. This means that (2) does imply D = C'.

We are naturally coming to a related problem: Given two points A and B. What is the locus of points M such that AM² - BM² is constant?

Let M be a point on the locus and H the foot of the perpendicular from M to AB. By the Pythagorean theorem:

i.e.,

which means that, if M lies on the locus in question, so does H. And vice versa. Since the same H serves as the foot of the perpendicular MH for all points M of the line perpendicular to AB at H, this line solves the problem.

If we place the origin of a Cartesian coordinates system at B with the x-axis along AB and the y-axis perpendicular to it, we may assign coordinates (x, y) to point M. Then

Thus, as above,

where f(x) is the function defined above. If x is fixed, so is f(x), and also AM² - BM², as expected. From this fact, or from the underlying proof, it is clear that, for (1) to hold, the points A', B' C' need not be necessarily located on the sides of ABC.

Corollary

1. Perpendicular bisectors of the sides of a triangle concur in a point (the circumcenter.)

   Indeed, AC' = BC', BA' = CA', and CB' = AB' imply (1).

2. The altitudes of a triangle concur in a point.

   Indeed, if AA', BB', and CC' are altitudes of ABC, then

   AB2 - BA'2 = AA'2 = AC2 - CA'2,

   so that

   AB2 - AC2 = BA'2 - CA'2,

   Similarly,

   AC2 - BC2 = AC'2 - BC'2 and BC2 - AB2 = CB'2 - AB'2, which,

   when added, give (1).

3. The perpendiculars to the sides of ABC at the points where the incircle meets the sides are concurrent (at the incenter.)

   Obvious.

4. The perpendiculars to the sides of ABC at the points where the excircles meet the sides are concurrent.

   Indeed [F. G.-M., p. 555], in this case we have

   CA' = AC', BA' = AB', and BC' = CB',

   which implies (1).

5. Existence of Orthopole

   

   To every line m in the plane of ABC there correspond a point - the orthopole of M with respect to ABC. To define the point, first drop perpendiculars AL, BM and CN from the vertices of ABC onto m. From the three points thus obtained drop perpendiculars on the "opposite" sides of the triangle: from L onto BC, from M onto AC, and from N onto AB. The latter three lines are concurrent, and the point where they meet is known as the orthopole of m with repsect to ABC.

   Darij Grinberg came up with an ingenious proof of this result based on Carnot's theorem (1). As we already know, the points A', B', C' need not be located on the sides of ABC. So let's take A' = L, B' = M, and C' = N. Applying the Pythagorean theorem several times, we obtain

   AM2 - LM2 = AL2 = AN2 - LN2,

   so that

   AM2 - AN2 = LM2 - LN2.

   Similarly,

   BN2 - BL2 = MN2 - LM2, and CL2 - CM2 = LN2 - MN2,

   which, when added, produce

   AM2 - AN2 + BN2 - BL2 + CL2 - CM2 = 0.

References

1. F. G.-M., Exercices de Géométrie, Éditions Jacques Gabay, sixiéme édition, 1991