# Orthocenter and Three Equal Circles

The applet below illustrates the following problem [Altshiller-Court, Theorem 180]:

The circumcircle of a triangle formed by two vertices and the orthocenter of a given triangle is equal to the circumcircle of the given triangle.

18 June 2015, Created with GeoGebra

### References

- N. Altshiller-Court,
*College Geometry*, Dover, 1980

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

Copyright © 1996-2018 Alexander BogomolnyThe circumcircle of a triangle formed by two vertices and the orthocenter of a given triangle is equal to the circumcircle of the given triangle.

### Solution

One solution is based on a property of the orthocenter: its reflection in a side of the triangle falls on the circumcenter. In other words, the segment of an altitude extended between the orthocenter and the second intersection with the circumcircle is bisected by the corresponding side of the triangle.

Let ΔABC be given. H is the orthocenter and H_{a} the foot of the altitude from A (H_{b} and H_{c} are defined likewise.) Let AH_{a} cross the circumcircle the second time in, say, P. Then _{a} = PH_{a},

Douglas Rogers reports that the problem in a little different guise but with a superbly different solution has been posed in the *Mathematical Repository* (New Series) published by Thomas Leybourn (Question 377). Two solutions appeared in volume IV (1819), 91-92. Of these the second solution by the proposer (Mr. Cunliffe) was essentially as above. But the first one, by a mysterious Lady, was essentially different. The applet illustrates that solution. But first the problem as it appeared in the *Mathematical Repository*:

What is the relation of the diameters of the three circles, passing through the extremities of the sides, and point of intersection of the perpendiculars from the angles upon the sides of a plane triangle?

The answer is of course that all three are equal and, moreover, they are equal to the circumdiameter of the given plane triangle.

18 June 2015, Created with GeoGebra

Let HA', HB', HC' be diameters of the three circles. Since ∠HBA' is subtended by a diameter in circle BCH, ∠HBA' = 90°. Similarly ∠HBC' = 90°. It follows that A'BC' is a straight line. Similarly, C'AB' and B'CA' are straight.

Further

∠CB'H | = ∠CAH | (as subtended by the same chord CH) | ||

= ∠CAH_{a} | (by construction) | |||

= ∠CBH_{b} | (right triangles CAH_{a} and CBH_{b} share the angle at C) | |||

= ∠CBH | (by construction) | |||

= ∠CA'H | (as subtended by the same chord CH). |

Hence, ∠CB'H = ∠CA'H, making ΔA'B'H isosceles and

One may make an additional observation. HC the orthogonal bisector of side A'B', HB and HA are the orthogonal bisectors of sides A'C' and B'C'. So,

(The problem is obviously related to the one posed and solved by Roger A. Johnson a hundred years later.)

Douglas Rogers has informed me that the mysterious Lady in question was none other than Mary Fairfax Somerville (1780--1872), a translator of Laplace's *Mécanique Céleste*, among many other achievements.

### 3 Equal and Concurrent Circles

- Johnson Circles
- Three equal circles
- 3 circles having the same radius
- Inversionn in the Incircle
- Orthocenter and Three Equal Circles

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

Copyright © 1996-2018 Alexander Bogomolny63236169 |