A journey round the triangle Lester’s circle, Kiepert’s hyperbola and a configuration from Morley

Extract

In a recent article [1], Ron Shail has given a Cartesian proof of an interesting theorem due to J. A. Lester. This states that, for any triangle, the circumcentre O, the nine-point centre O9 and the two Fermat points F and Fʹ, (which are the points of concurrence of the joins of its vertices to the vertices of equilateral triangles drawn outwards/inwards on the opposite sides), are concyclic. He refers to Lester's own treatment as needing complex coordinates with computer-assisted algebra; his own proof uses an unpromising method, and results in similar problems. Contemplation of the configuration would suggest that the location of the point of intersection of FFʹ with the Euler line OO9 might lead to a simple proof. The theorem is in fact a corollary from the properties of a remarkable configuration originating with Morley [2, p. 209], and shown in Figure 1. He did not deduce Lester’s result, nor label the crucial point J in the diagram, which was drawn without that particular intersection. Also involved in this figure is a rectangular hyperbola known by the name of its describer Kiepert [3]. It is helpful to discuss all three together. What follows is a journey through country nowadays rather unfamiliar, avoiding the computerised motorway and using older tracks via complex numbers, trilinear coordinates and Euclidean methods which reveal much more than is apparent from a Cartesian treatment.