# The Taylor Circle

In 1976, Ross Honsberger proposed a problem (#192) in *Eureka*, a predecessor of Crux Mathematicorum of today (I am grateful to W.McWorter who copied the Eurika's page for me.)

From each of the feet H_{a} , H_{b} , H_{c} of the altitudes of ABC drop a pair of perpendiculars on the other two sides of the triangle. Prove that thus obtained 6 points - H_{ab} , H_{ba} , H_{ca} , H_{ac} , H_{bc} , H_{cb} - lie on a circle.

As the editor of *Eureka* commented, the circle was little known at the time (1976). It is still today, as I found it only mentioned once (and that in passing) in a discussion on Conway's circle.

26 February 2015, Created with GeoGebra

The circle is named after H.M.Taylor (1842-1927) who discussed it in 1882. The editor of *Eureka* remarked further that

In spite of its name, this circle did not originate with Taylor. It was discovered earlier, like so many other good things in life, by the French. It was mentioned by Catalan in 1879, and was apparently first proposed in 1877 by the French mathematician known as Eutaris.

Let H be the orthocenter of ABC. The diagram exhibits a great deal of similar triangles. We start with the following three:

_{a}H_{ab} ~ ΔCH_{b}H_{ba},_{c}H_{cb} ~ ΔCHH_{b},_{c}H_{ca} ~ ΔCHH_{a}.

From the similarities, we derive

_{ab}/CH_{ba} = CH_{a}/CH_{b},_{ca}/CH_{c} = CH_{b}/CH,_{ca}/CH_{c} = CH_{a}/CH.

Thus

CH_{ca}/CH_{ab} = CH_{a}/CH_{b} = CH_{ab}/CH_{ba}

and

(*)

CH_{ba}· CH_{ca} = CH_{ab}· CH_{cb}

The latter is the converse of Proposition III.35 from Euclid's *Elements*, namely

If in a circle two straight lines cut one another, then the rectangle contained by the segments of the one equals the rectangle contained by the segments of the other.

(The rectangle in the statement is in fact a rectangle's area, or the product of two segments. This product is the power of the point of intersection with respect to the circle.)

Euclid did not mention this, but the converse to Proposition III.35 is also true:

Let lines DE and FG intersect at a point P. Assume that PD·PE = PF·PG. Then the four points D, E, F, and G lie on a circle.

Assume, on the contrary, that the circle that passes through D, F, and G does not contain E. It then crosses line DE at some point E', for which, as Euclid tells us,

But then

Back to our original problem, (*) implies that the four points H_{ba}, H_{ca}, H_{ab}, and H_{cb} lie on a circle. Call it Circle_{c}. Similarly, the four points H_{ab}, H_{cb}, H_{bc}, and H_{ac} lie on a circle, say, Circle_{a}, while points H_{ba}, H_{ca}, H_{bc}, and H_{ac} lie on a circle Circle_{b}.

We would like to show that all three circles coincide. This will be true if any two of them coincide. Thus, let's assume that all three are different. Note that then AB serves as the radical axes of Circle_{a} and Circle_{b}, and the same is true with regard the sides BC and AC and circles Circle_{b} and Circle_{c} and Circle_{a} and Circle_{c}, respectively. As we know, the radical axes of three circles meet at a point, which is absurd unless ΔABC shrinks to a point. Therefore, we conclude that the three circles Circle_{a}, Circle_{b}, and Circle_{c} indeed coincide, so that all six points, H_{ab} , H_{ba} , H_{ca} , H_{ac} , H_{bc} , H_{cb}, do lie on a circle.

|Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

68960709