Forum Geometricorum Volume 10 (2010) 175209.

FORUM GEOM ISSN 1534-1178

The Circles of Lester, Evans, Parry, and Their Generalizations

Paul Yiu

Abstract. Beginning with the famous Lester circle containing the circumcenter, nine-point center and the two Fermat points of a triangle, we survey a number of interesting circles in triangle geometry.

1. Introduction This paper treats a number of interesting circles discovered by June Lester, Lawrence Evans, and Cyril Parry. We prove their existence and establish their equations. Lester [12] has discovered that the Fermat points, the circumcenter, and the nine-point center are concyclic. We call this the rst Lester circle, and study it in 3 6. Lester also conjectured in [12] the existence of a circle through the symmedian point, the Feuerbach point, the Clawson point, and the homothetic center of the orthic and the intangent triangles. This conjecture is validated in 15. Evans, during the preparation of his papers in Forum Geometricorum, has communicated two conjectures on circles through two perspectors V which has since borne his name. In 9 we study in detail the rst Evans circle in relation to the excentral circle. The second one is established in 14. In [9], a great number of circles have been reported relating to the Parry point, a point on the circumcircle. These circles are studied in 10 12.
C ONTENTS 1. Introduction 2. Preliminaries 2.1. Intersection of a circle with the circumcircle 2.2. Construction of circle equation 2.3. Some common triangle center functions 3. The rst Lester circle 4. Giberts generalization of the rst Lester circle 5. Center of the rst Lester circle 175 176 176 177 177 178 182 183

Publication Date: December 21, 2010. Communicating Editor: Nikolaos Dergiades. This paper is an extended version of a presentation with the same title at the Invited Paper Session: Classical Euclidean Geometry in MathFest, July 31August 2, 2008 Madison, Wisconsin, USA. Thanks are due to Nikolaos Dergiades for many improvements of the paper, especially on the proof of Theorem 29.

176

P. Yiu

6. Equations of circles 6.1. The circle F + F G 6.2. The circle F + F H 6.3. The rst Lester circle 7. The Brocard axis and the Brocard circle 7.1. The Brocard axis 7.2. The Brocard circle 7.3. The isodynamic points 8. The excentral triangle 8.1. Change of coordinates 9. The rst Evans circle 9.1. The Evans perspector W 9.2. Perspectivity of the excentral triangle and Kiepert triangles 9.3. The rst Evans circle 10. The Parry circle and the Parry point 10.1. The center of the Parry circle 11. The generalized Parry circles 12. Circles containing the Parry point 12.1. The circle F + F G 12.2. The circle GOK 13. Some special circles 13.1. The circle HOK 13.2. The circle N OK 14. The second Evans circle 15. The second Lester circle References

184 184 185 186 186 186 186 187 189 189 190 190 191 194 196 198 198 199 199 200 201 201 202 203 204 209

2. Preliminaries We refer to [15] for the standard notations of triangle geometry. Given a triangle ABC , with sidelengths a, b, c, the circumcircle is represented in homogeneous barycentric coordinates by the equation a2 yz + b2 zx + c2 xy = 0. The equation of a general circle C is of the form a2 yz + b2 zx + c2 xy + (x + y + z ) L(x, y, z ) = 0 (1) where L(x, y, z ) is a linear form, and the line L(x, y, z ) = 0 is the radical axis of the circle C and the circumcircle. 2.1. Intersection of a circle with the circumcircle . The intersections of the circle C with the circumcircle can certainly be determined by solving the equations a2 yz + b2 zx + c2 xy = 0, L(x, y, z ) = 0

The circles of Lester, Evans, Parry, and their generalizations

177

simultaneously. Here is an interesting special case where these intersections can be easily identied. We say that a triangle center function f (a, b, c) represents an innite point if f (a, b, c) + f (b, c, a) + f (c, a, b) = 0. (2) Proposition 1. If a circle C is represented by an equation (1) in which L(x, y, z ) = F (a, b, c)
cyclic

b2 c2 f (a, b, c) g(a, b, c)x,

(3)

where F (a, b, c) is symmetric in a, b, c, and f (a, b, c), g(a, b, c) are triangle center functions representing innite points, then the circle intersects the circumcircle at the points b2 c2 a2 : : Qf := f (a, b, c) f (b, c, a) f (c, a, b) and b2 c2 a2 : : . Qg := g(a, b, c) g(b, c, a) g(c, a, b) Proof. The line L(x, y, z ) = 0 clearly contains the point Qf , which by (2) is the isogonal conjugate of an innite point, and so lies on the circumcircle. It is therefore a common point of the circumcircle and C . The same reasoning applies to the point Qg . For an application, see Remark after Proposition 11. 2.2. Construction of circle equation. Suppose we know the equation of a circle through two points Q1 and Q2 , in the form of (1), and the equation of the line Q1 Q2 , in the form L (x, y, z ) = 0. To determine the equation of the circle through Q1 , Q2 and a third point Q = (x0 , y0 , z0 ) not on the line Q1 Q2 , it is enough to nd t such that a2 y0 z0 + b2 z0 x0 + c2 x0 y0 + (x0 + y0 + z0 )(L(x0 , y0 , z0 ) + t L (x0 , y0 , z0 )) = 0. With this value of t, the equation a2 yz + b2 zx + c2 xy + (x + y + z )(L(x, y, z ) + t L (x, y, z )) = 0 represents the circle Q1 Q2 Q. For an application of this method, see 6.3 (11) and Proposition 11. 2.3. Some common triangle center functions. We list some frequently occurring homogeneous functions associated with the coordinates of triangle centers or coefcients in equations of lines and circles. An asterisk indicates that the function represents an innite point.

178

P. Yiu

Quartic forms
f4,1 f4,2 f4,3 f4,4 * f4,5 f4,6 * f4,7 := a2 (b2 + c2 ) (b2 c2 )2 := a2 (b2 + c2 ) (b4 + c4 ) := a4 (b4 b2 c2 + c4 ) := (b2 + c2 a2 )2 b2 c2 := 2a4 a2 (b2 + c2 ) (b2 c2 )2 := 2a4 3a2 (b2 + c2 ) + (b2 c2 )2 := 2a4 2a2 (b2 + c2 ) (b4 4b2 c2 + c4 )

Sextic forms
f6,1 := a6 3a4 (b2 + c2 ) + a2 (3b4 b2 c2 + 3c4 ) (b2 + c2 )(b2 c2 )2 * f6,2 := 2a6 2a4 (b2 + c2 ) + a2 (b4 + c4 ) (b2 + c2 )(b2 c2 )2 * f6,3 := 2a6 6a4 (b2 + c2 ) + 9a2 (b4 + c4 ) (b2 + c2 )3

Octic forms
f8,1 := * f8,2 := * f8,3 := f8,4 := a8 2a6 (b2 + c2 ) + a4 b2 c2 + a2 (b2 + c2 )(2b4 b2 c2 + 2c4 ) (b8 2b6 c2 + 6b4 c4 2b2 c6 + c8 ) 2a8 2a6 (b2 + c2 ) a4 (3b4 8b2 c2 + 3c4 ) +4a2 (b2 + c2 )(b2 c2 )2 (b2 c2 )2 (b4 + 4b2 c2 + c4 ) 2a8 5a6 (b2 + c2 ) + a4 (3b4 + 8b2 c2 + 3c4 ) +a2 (b2 + c2 )(b4 5b2 c2 + c4 ) (b2 c2 )4 3a8 8a6 (b2 + c2 ) + a4 (8b4 + 7b2 c2 + 8c4 ) a2 (b2 + c2 )(4b4 3b2 c2 + 4c4 ) + (b4 c4 )2

3. The rst Lester circle Theorem 2 (Lester). The Fermat points, the circumcenter, and the nine-point center of a triangle are concyclic.

F+ N H B

Figure 1. The rst Lester circle through O, N and the Fermat points

Our starting point is a simple observation that the line joining the Fermat points intersects the Euler line at the midpoint of the orthocenter H and the centroid G.

The circles of Lester, Evans, Parry, and their generalizations

179

Clearing denominators in the homogeneous barycentric coordinates of the Fermat point 1 1 1 , , , F+ = 3SA + S 3SB + S 3SC + S we rewrite it in the form F+ = (3SBC + S 2 , 3SCA + S 2 , 3SAB + S 2 )+ 3S (SB + SC , SC + SA , SA + SB ). This expression shows that F+ is a point of the line joining the symmedian point K = (SB + SC , SC + SA , SA + SB ) to the point M = (3SBC + S 2 , 3SCA + S 2 , 3SAB + S 2 ) = 3(SBC , SCA , SAB ) + S 2 (1, 1, 1). Note that M is the midpoint of the segment HG, where H = (SBC , SCA , SAB ) is the orthocenter and G = (1, 1, 1) is the centroid. It is the center of the orthocentroidal circle with HG as diameter. Indeed, F+ divides M K in the ratio M F+ : F+ K = 2 3S (SA + SB + SC ) : 6S 2 = (SA + SB + SC ) : 3S. With an obvious change in sign, we also have the negative Fermat point F dividing M K in the ratio M F : F K = (SA + SB + SC ) : 3S. We have therefore established Proposition 3. The Fermat points divide M K harmonically.
A F

F+ H M

K G

Figure 2. Intersection of Fermat line and Euler line

This simple observation suggests a proof of Lesters circle theorem by the intersection chords theorem.

180

P. Yiu

Proposition 4. The following statements are equivalent. (A) M F+ M F = M O M N . (B) The circle F+ F G is tangent to the Euler line at G, i.e., M F+ M F = M G2 . (C) The circle F+ F H is tangent to the Euler line at H , i.e., M F+ M F = M H 2 . (D) The Fermat points are inverse in the orthocentroidal circle.

2d
H M

d
N

d
G

2d
O

Figure 3. The Euler line

Proof. Since M is the midpoint of HG, the statements (B), (C), (D) are clearly equivalent. On the other hand, putting OH = 6d, we have M O M N = (M H )2 = (M G)2 = 4d2 , see Figure 3. This shows that (A), (B), (C) are equivalent. Note that (A) is Lesters circle theorem (Theorem 2). To complete its proof, it is enough to prove (D). We do this by a routine calculation. Theorem 5. The Fermat points are inverse in the orthocentroidal circle.
A F

O F+ M H G

Figure 4. F+ on the polar of F in the orthocentroidal circle

Proof. The equation of the orthocentroidal circle is 3(a2 yz + b2 zx + c2 xy ) 2(x + y + z )(SA x + SB y + SC z ) = 0,

The circles of Lester, Evans, Parry, and their generalizations

181

equivalently, 1 2(SA x2 + SB y 2 + SC z 2 ) + ((SB + SC )yz + (SC + SA )zx + (SA + SB )xy ) = 0. This is represented by the matrix 4SA SA + SB SA + SC 4SB SB + SC . M = SA + SB SA + SC SB + SC 4SC The coordinates of the Fermat points can be written as F+ = X + Y with X = 3SBC + S 2 3SCA + S 2 3SAB + S 2 , Y = 3S SB + SC SC + SA SA + SB . With these, we have X MX t = Y MY t = 6S 2 (SA (SB SC )2 + SB (SC SA )2 + SC (SA SB )2 ), and
t = (X + Y )M(X Y )t = X MX t Y MY t = 0. F+ MF This shows that the Fermat points are inverse in the orthocentroidal circle.

and

F = X Y,

The proof of Theorem 2 is now complete, along with tangency of the Euler line with the two circles F+ F G and F+ F H (see Figure 5). We call the circle through O, N , and F the rst Lester circle.

Z1

Z0

Ki

F+ M N

Figure 5. The circles F+ F G and F+ F H

1It is easy to see that this circle contains H and G. The center of the circle (see [15, 10.7.2]) is

the point M = (SA (SB + SC ) + 4SBC : SB (SC + SA ) + 4SCA : SC (SA + SB ) + 4SAB ) on the Euler line, which is necessarily the midpoint of HG.

182

P. Yiu

Remarks. (1) The tangency of the circle F+ F G and the Euler line was noted in [9, pp.229230]. (2) The symmedian point K and the Kiepert center Ki (which is the midpoint of F+ F ) are inverse in the orthocentroidal circle. 4. Giberts generalization of the rst Lester circle Bernard Gibert [7] has found an interesting generalization of the rst Lester circle, which we explain as a natural outgrowth of an attempt to compute the equations of the circles F+ F G and F+ F H . Theorem 6 (Gibert). Every circle whose diameter is a chord of the Kiepert hyperbola perpendicular to the Euler line passes through the Fermat points.

Y1 A Y0 F

Z1

Z0 Ki F+ H M N G

Figure 6. Giberts generalization of the rst Lester circle

Proof. Since F and G are on the Kiepert hyperbola, and the center of the circle F+ F G is on the perpendicular to the Euler line at G, this line intersects the Kiepert hyperbola at a fourth point Y0 (see Figure 6), and the circle is a member of the pencil of conics through F+ , F , G and Y0 . Let L(x, y, z ) = 0 and L0 (x, y, z ) = 0 represent the lines F+ F and GY0 respectively. We may assume the circle given by k0 ((b2 c2 )yz + (c2 a2 )zx + (a2 b2 )xy ) L(x, y, z ) L0 (x, y, z ) = 0 for an appropriately chosen constant k0 .

The circles of Lester, Evans, Parry, and their generalizations

183

Replacing G by H and Y0 by another point Y1 , the intersection of the Kiepert hyperbola with the perpendicular to the Euler line at H , we write the equation of the circle F+ F H in the form k1 ((b2 c2 )yz + (c2 a2 )zx + (a2 b2 )xy ) L(x, y, z ) L1 (x, y, z ) = 0, where L1 (x, y, z ) = 0 is the equation of the line HY1 . The midpoints of the two chords GY0 and HY1 are the centers of the two circles F+ F G and F+ F H . The line joining them is therefore the perpendicular bisector of F+ F . Every line perpendicular to the Euler line is represented by an equation Lt (x, y, z ) := tL0 (x, y, z ) + (1 t)L1 (x, y, z ) = 0 for some real number t. Let kt := tk0 + (1 t)k1 correspondingly. Then the equation kt ((b2 c2 )yz + (c2 a2 )zx + (a2 b2 )xy ) L(x, y, z ) Lt (x, y, z ) = 0 represents a circle Ct through the Fermat points and the intersections of the line Lt (x, y, z ) = 0 and the Kiepert hyperbola. The perpendicular bisector of F+ F is the diameter of the family of parallel lines Lt (x, y, z ) = 0. Therefore the center of the circle is the midpoint of the chord cut out by Lt (x, y, z ) = 0. Remark. If the perpendicular to the Euler line intersects it outside the segment HG, then the circle intersects the Euler line at two points dividing the segment HG harmonically, say in the ratio : 1 for < 0 or > 1. In this case, the line divides HG in the ratio 2 : (1 )2 . 5. Center of the rst Lester circle Since the circumcenter O and the nine-point center N divides the segment HG in the ratio 3 : 1, the diameter of the rst Lester circle perpendicular to the Euler line intersects the latter at the point L dividing HG in the ratio 9 : 1. This is the midpoint of ON (see Figure 7), and has coordinates (f4,6 (a, b, c) : f4,6 (b, c, a) : f4,6 (c, a, b)). As such it is the nine-point center of the medial triangle, and appears as X 140 in [10]. 6
H N

2
G

1
L

3
O

Figure 7. The Euler line

Proposition 7. (a) Lines perpendicular to the Euler line have innite point X523 = (b2 c2 , c2 a2 , a2 b2 ).

184

P. Yiu

(b) The diameter of the rst Lester circle perpendicular to the Euler line is along the line f6,1 (a, b, c)x = 0. (4)
cyclic

Proposition 8. (a) The equation of the line F+ F is (b2 c2 )f4,4 (a, b, c)x = 0.
cyclic

(5)

(b) The perpendicular bisector of F+ F is the line y z x + + = 0. b2 c2 c2 a2 a2 b2 Ki = ((b2 c2 )2 , (c2 a2 )2 , (a2 b2 )2 ).

(6)

Proof. (a) The line F+ F contains the symmedian point K and the Kiepert center (b) The perpendicular bisector of F+ F is the perpendicular at Ki to the line KKi , which has innite point
X690 = ((b2 c2 )(b2 + c2 2a2 ), (c2 a2 )(c2 + a2 2b2 ), (a2 b2 )(a2 + b2 2c2 )).

Proposition 9. The center of the rst Lester circle has homogeneous barycentric coordinates ((b2 c2 )f8,3 (a, b, c) : (c2 a2 )f8,3 (b, c, a) : (a2 b2 )f8,3 (c, a, b)). Proof. This is the intersection of the lines (4) and (6). Remarks. (1) The center of the rst Lester circle appears as X1116 in [10]. (2) The perpendicular bisector of F+ F also contains the Jerabek center Je = ((b2 c2 )2 (b2 + c2 a2 ), (c2 a2 )2 (c2 + a2 b2 ), (a2 b2 )2 (a2 + b2 c2 )), which is the center of the Jerabek hyperbola, the isogonal conjugate of the Euler line. It follows that Je is equidistant from the Fermat points. The points Ki and Je are the common points of the nine-point circle and the pedal circle of the centroid. 6. Equations of circles 6.1. The circle F+ F G. In the proof of Theorem 6, we take L(x, y, z ) = L0 (x, y, z ) = (b2 c2 )f4,4 (a, b, c)x,
cyclic

(7) (8)

(b2 + c2 2a2 )x
cyclic

for the equation of the line F+ F (Proposition 8(a)) and the perpendicular to the Euler line at G. Now, we seek a quantity k0 such that the member k0 ((b2 c2 )yz + (c2 a2 )zx + (a2 b2 )xy ) L(x, y, z ) L0 (x, y, z ) = 0

The circles of Lester, Evans, Parry, and their generalizations

185

of the pencil of conic through the four points F , G, Y0 is a circle. For this, k0 = 3(a2 (c2 a2 )(a2 b2 ) + b2 (a2 b2 )(b2 c2 ) + c2 (b2 c2 )(c2 a2 )), and the equation can be reorganized as 9(b2 c2 )(c2 a2 )(a2 b2 )(a2 yz + b2 zx + c2 xy ) + (x + y + z )
cyclic

(9)

(b2 c2 )(b2 + c2 2a2 )f4,4 (a, b, c)x = 0.

The center of the circle F+ F G is the point Z0 := ((b2 c2 )f4,7 (a, b, c) : (c2 a2 )f4,7 (b, c, a) : (a2 b2 )f4,7 (c, a, b)). The point Y0 has coordinates
b2 c2 b2 +c2 2a2

: : .

6.2. The circle F+ F H . With the line L1 (x, y, z ) =

cyclic

(b2 + c2 a2 )(2a4 a2 (b2 + c2 ) (b2 c2 )2 )x = 0

perpendicular to the Euler line at H , we seek a number k1 such that k1 ((b2 c2 )yz + (c2 a2 )zx + (a2 b2 )xy ) L(x, y, z ) L1 (x, y, z ) = 0 of the pencil of conic through the four points F , H , Y1 is a circle. For this, k1 = 162 (a4 (b2 + c2 a2 ) + b4 (c2 + a2 b2 ) + c4 (a2 + b2 c2 ) 3a2 b2 c2 ), and the equation can be reorganized as 48(b2 c2 )(c2 a2 )(a2 b2 )2 (a2 yz + b2 zx + c2 xy ) (x + y + z )
cyclic

(b2 c2 )(b2 + c2 a2 )f4,4 (a, b, c)f4,5 (a, b, c)x = 0. (10)

This is the equation of the circle F+ F H . The center is the point Z1 := ((b2 c2 )f8,2 (a, b, c) : (c2 a2 )f8,2 (b, c, a) : (a2 b2 )f8,2 (c, a, b)). The triangle center Y1 = is X2394 . c2 a2 a2 b2 b2 c2 : : f4,5 (a, b, c) f4,5 (b, c, a) f4,5 (c, a, b)

186

P. Yiu

6.3. The rst Lester circle. Since the line joining the Fermat points has equation L(x, y, z ) = 0 with L given by (7), every circle through the Fermat points is represented by 9(b2 c2 )(c2 a2 )(a2 b2 )(a2 yz + b2 zx + c2 xy ) + (x + y + z )
cyclic

(11)

(b2 c2 )(b2 + c2 2a2 + t)f4,4 (a, b, c)x = 0

for an appropriate choice of t. The value of t for which this circle passes through the circumcenter is a2 (c2 a2 )(a2 b2 ) + b2 (a2 b2 )(b2 c2 ) + c2 (b2 c2 )(c2 a2 ) . 322 The equation of the circle is t= 962 (b2 c2 )(c2 a2 )(a2 b2 )(a2 yz + b2 zx + c2 xy ) + (x + y + z )
cyclic

(b2 c2 )f4,4 (a, b, c)f6,1 (a, b, c)x = 0.

7. The Brocard axis and the Brocard circle 7.1. The Brocard axis . The isogonal conjugate of the Kiepert perspector K ( ) is the point K ( ) = (a2 (SA + S ), b2 (SB + S ), c2 (SC + S )), which lies on the line joining the circumcenter O and the symmedian point K . The line OK is called the Brocard axis. It is represented by the equation b2 c2 (b2 c2 )x = 0.
cyclic

(12)

7.2. The Brocard circle. The Brocard circle is the circle with OK as diameter. It is represented by the equation (a2 + b2 + c2 )(a2 yz + b2 zx + c2 xy ) (x + y + z )(b2 c2 x + c2 a2 y + a2 b2 z ) = 0. (13) It is clear from K ( ) = (a2 SA , b2 SB , c2 SC ) + S (a2 , b2 , c2 ), K ( ) = (a2 SA , b2 SB , c2 SC ) S (a2 , b2 , c2 ) that K ( ) and K ( ) divide O and K harmonically, and so are inverse in the Brocard circle. The points K 3 are called the isodynamic points, and are more simply denoted by J . Proposition 10. K ( ) are inverse in the circumcircle if and only if they are the isodynamic points.

The circles of Lester, Evans, Parry, and their generalizations

187

7.3. The isodynamic points. The isodynamic points J are also the common points of the three Apollonian circles, each orthogonal to the circumcircle at a vertex (see Figure 8). Thus, the A-Apollonian circle has diameter the endpoints of the bisectors of angle A on the sidelines BC . These are the points (b, c). The center of the circle is the midpoint of these, namely, (b2 , c2 ). The circle has equation (b2 c2 )(a2 yz + b2 zx + c2 xy ) + a2 (x + y + z )(c2 y b2 z ) = 0. Similarly, the B - and C -Apollonian circles have equations (c2 a2 )(a2 yz + b2 zx + c2 xy ) + b2 (x + y + z )(a2 z c2 x) = 0, (a2 b2 )(a2 yz + b2 zx + c2 xy ) + c2 (x + y + z )(b2 x a2 y ) = 0. These three circles are coaxial. Their centers lie on the Lemoine axis y z x + 2 + 2 = 0, 2 a b c which is the perpendicular bisector of the segment J+ J . (14)

J+ K B J

Figure 8. The Apollonian circles and the isodynamic points

188

P. Yiu

Proposition 11. Every circle through the isodynamic points can be represented by an equation 3(b2 c2 )(c2 a2 )(a2 b2 )(a2 yz + b2 zx + c2 xy ) + (x + y + z )
cyclic

(15)

b2 c2 (b2 c2 )(b2 + c2 2a2 + t)x = 0

for some choice of t. Proof. Combining the above equations for the three Apollonian circles, we obtain 3(b2 c2 )(c2 a2 )(a2 b2 )(a2 yz + b2 zx + c2 xy ) + (x + y + z )
cyclic

a2 (c2 a2 )(a2 b2 )(c2 y b2 z ) = 0.

A simple rearrangement of the terms brings the radical axis into the form 3(b2 c2 )(c2 a2 )(a2 b2 )(a2 yz + b2 zx + c2 xy ) + (x + y + z )
cyclic

b2 c2 (b2 c2 )(b2 + c2 2a2 )x = 0.

(16)

Now, the line containing the isodynamic points is the Brocard axis given by (12). It follows that every circle through J is represented by (15) above for some choice of t (see 2.2). Remark. As is easily seen, equation (16) is satised by x = y = z = 1, and so represents the circle through J and G. Since the factors b2 c2 and b2 + c2 2a2 yield innite points, applying Proposition 1, we conclude that this circle intersects 2 the circumcircle at the Euler reection point E = b2a c2 : : and the Parry point b2 +ca 2 2a2 : : . This is the Parry circle we consider in 10 below. Proposition 12. The circle through the isodynamic points and the orthocenter has equation 162 (b2 c2 )(c2 a2 )(a2 b2 )(a2 yz + b2 zx + c2 xy ) + (x + y + z )
cyclic
2

b2 c2 (b2 c2 )(b2 + c2 a2 )f4,1 (a, b, c)x = 0.

Its center is the point Z3 := (a2 (b2 c2 )(b2 + c2 a2 )f4,1 (a, b, c) : : ).

The circles of Lester, Evans, Parry, and their generalizations

189

8. The excentral triangle The excentral triangle Ia Ib Ic has as vertices the excenters of triangle ABC . It has circumradius 2R and circumcenter I , the reection of I in O (see Figure 9). 1 1 Since the angles of the excentral triangle are 1 2 (B + C ), 2 (C + A), and 2 (A + B ), its sidelengths a = Ib Ic , b = Ic Ia , c = Ia Ib satisfy a 2 : b 2 : c 2 = cos2 A B C : cos2 : cos2 2 2 2 = a(b + c a) : b(c + a b) : c(a + b c).

Ib

A Ic O I C I

Ia

Figure 9. The excentral triangle and its circumcircle

8.1. Change of coordinates. A point with homogeneous barycentric coordinates (x, y, z ) with reference to ABC has coordinates (x , y , z ) = (a(b + c a)(cy + bz ), b(c + a b)(az + cx), c(a + b c)(bx + ay )) with reference to the excentral triangle. Consider, for example, the Lemoine axis of the excentral triangle, with equation y z x + 2 + 2 = 0. 2 a b c With reference to triangle ABC , the same line is represented by the equation a(b + c a)(cy + bz ) b(c + a b)(az + cx) c(a + b c)(bx + ay ) + + = 0, a(b + c a) b(c + a b) c(a + b c) which simplies into (b + c)x + (c + a)y + (a + b)z = 0. (17)

190

P. Yiu

On the other hand, the circumcircle of the excentral triangle, with equation a2 b2 c2 + + = 0, x y z is represented by 1 1 1 + + =0 cy + bz az + cx bx + ay with reference to triangle ABC . This can be rearranged as a2 yz + b2 zx + c2 ay + (x + y + z )(bcx + cay + abz ) = 0. 9. The rst Evans circle 9.1. The Evans perspector W . Let A , B , C be respectively the reections of A in BC , B in CA, C in AB . The triangle A B C is called the triangle of reections of ABC . Larry Evans has discovered the perspectivity of the excentral triangle and A B C . Theorem 13. The excentral triangle and the triangle of reections are perspective at a point which is the inverse image of the incenter in the circumcircle of the excentral triangle.
W

(18)

A Y

X B

I O I C Y

A I

Ia

Figure 10. The Evans perspector W

The circles of Lester, Evans, Parry, and their generalizations

191

Proof. We show that the lines Ia A , Ib B , and Ic C intersect the line OI at the same point. Let X be the intersection of the lines AA and OI (see Figure 10). If ha is the A-altitude of triangle ABC , and the parallel from I to AA meets Ia A at I , then since YY II Ia I a II = = = = , 2ha AA Ia A AY s 2aha WI I Ia 2R we have II = s = 4r and W I = II = 4r . Therefore, W divides II in the ratio I W : W I = R : 2r. Since this ratio is a symmetric function of the sidelengths, we conclude that the R same point W lies on the lines Ib B and Ic C . Moreover, since I W = R 2r I I , 2 by the famous Euler formula OI = R(R 2r ), we have R 4R 4R I W I I = I I2 = OI 2 = R(R 2r ) = (2R)2 . R 2r R 2r R 2r This shows that W and I are inverse in the circumcircle of the excentral triangle. The point W is called the Evans perspector; it has homogeneous barycentric coordinates, W =(a(a3 + a2 (b + c) a(b2 + bc + c2 ) (b + c)(b c)2 ) : : ) = (a((a + b + c)(c + a b)(a + b c) 3abc) : : ). It appears as X484 in [10]. 9.2. Perspectivity of the excentral triangle and Kiepert triangles. Lemma 14. Let XBC and X Ib Ic be oppositely oriented similar isosceles triangles with bases BC and Ib Ic respectively. The lines Ia X and Ia X are isogonal with respect to angle Ia the excentral triangle (see Figure 11).
Ib A Ic X

Ia

Figure 11. Isogonal lines joining Ia to apices of similar isosceles on BC and Ib Ic

192

P. Yiu

Proof. The triangles Ia BC and Ia Ib Ic are oppositely similar since BC and Ib Ic are antiparallel. In this similarity X and X are homologous points. Hence, the lines Ia X and Ia X are isogonal in the excentral triangle. We shall denote Kiepert perspectors with reference to the excentral triangle by Ke (). Theorem 15. The excentral triangle and the Kiepert triangle K( ) are perspective at the isogonal conjugate of Ke ( ) in the excentral triangle. Proof. Let XY Z be a Kiepert triangle K( ). Construct X , Y , Z as in Lemma 14 (see Figure 11). (i) Ia X , Ib Y , Ic Z concur at the Kiepert perspector Ke ( ) of the excentral triangle. (ii) Since Ia X and Ia X are isogonal with respect to Ia , and similarly for the pairs Ib Y , Ib Y and Ic Z and Ic Z , the lines Ia X , Ib Y , Ic Z concur at the isogonal conjugate of Ke ( ) in the excentral triangle.

Ib

Ic

Ia

Figure 12. Evans perspector V of K and excentral triangle 3

We denote the perspector in Theorem 15 by V ( ), and call this a generalized Evans perspector. In particular, V 3 and V 3 are the isodynamic points of the excentral triangle, and are simply denoted by V+ and V respectively (see

The circles of Lester, Evans, Parry, and their generalizations

193

Figure 12 for V ). These are called the second and third Evans perspectors respectively. They are X1276 and X1277 of [10]. Proposition 16. The line V+ V has equation (b c)(b2 + c2 a2 )x = 0.
cyclic

(19)

Proof. The line V+ V is the Brocard axis of the excentral triangle, with equation b2 c2 x =0 a2

cyclic

with reference to the excentral triangle (see 7.1). Replacing these by parameter with reference to triangle ABC , we have cyclic (b c)(b + c a)(cy + bz ) = 0. Rearranging terms, we have the form (19) above. Proposition 17. The Kiepert triangle K( ) is perspective with the triangle of re ections A B C if and only if = 3 . The perspector is K ( ), the isogonal conjugate of K ( ). This means that for = 1, the Fermat triangle K 3 and the triangle of reections are perspective at the isodynamic point J (see Figure 13 for the case = 1).
B A A

J+ C

Figure 13. K and A B C perspective at J+ 3

194

P. Yiu

9.3. The rst Evans circle. Since V are the isodynamic points of the excentral triangle, they are inverse in the circumcircle of the excentral triangle. Since W and I are also inverse in the same circle, we conclude that V+ , V , I , and W are concyclic (see [1, Theorem 519]). We call this the rst Evans circle. A stronger result holds in view of Proposition 10. Theorem 18. The four points V ( ), V ( ), I , W are concyclic if and only if = 3.

Ib

A Ic B W A

B I

V+ C

Ia

Figure 14. The rst Evans circle

We determine the center of the rst Evans circle as the intersection of the perpendicular bisectors of the segments IW and V+ V . Lemma 19. The perpendicular bisector of the segment IW is the line bc(b + c)x + ca(c + a)y + ab(a + b)z = 0. (20)

Proof. If M is the midpoint of IW , then since O is the midpoint of II , from W R2 = OI . This shows that the the degenerate triangle II W we have OM = I 2

The circles of Lester, Evans, Parry, and their generalizations

195

midpoint of IW is the inverse of I in the circumcircle. Therefore, the perpendicular bisector of IW is the polar of I in the circumcircle. This is the line x 0 c2 b2 a b c c2 0 a2 y = 0, z b2 a2 0 which is the same as (20). Remark. M = (a2 (a2 b2 + bc c2 ) : b2 (b2 c2 + ca a2 ) : c2 (c2 a2 + ab b2 )) is the triangle center X36 in [10]. Lemma 20. The perpendicular bisector of the segment V+ V is the line (b + c)x + (c + a)y + (a + b)z = 0. (21)

Proof. Since V+ and V are the isodynamic points of the excentral triangle, the perpendicular bisector of V+ V is the polar of the symmedian point of the excentral triangle with respect to its own circumcircle. With reference to the excentral triangle, its Lemoine axis has equation y z x + + = 0. a2 b2 c2 Changing coordinates, we have, with reference to ABC , the same line represented by the equation a(b + c a)(cy + bz ) b(c + a b)(az + cx) c(a + b c)(bx + ay ) + + = 0, a(b + c a) b(c + a b) c(a + b c) which simplies into (21). Proposition 21. The center of the rst Evans circle is the point a(b c) b(c a) c(a b) : : b+c c+a a+b Proof. This is the intersection of the lines (20) and (21). Remark. The center of the rst Evans circle is the point X1019 in [10]. It is also the perspector of excentral triangle and the cevian triangle of the Steiner point. Proposition 22. The equation of the rst Evans circle is (a b)(b c)(c a)(a + b + c)(a2 yz + b2 zx + c2 xy ) (x + y + z )
cyclic

bc(b c)(c + a)(a + b)(b + c a)x = 0.

(22)

196
X23

P. Yiu

X351 X352 A E

K J+ X111 B O X353 G X187 C

Figure 15. The Parry circle

10. The Parry circle and the Parry point The Parry circle CP , according to [9, p.227], is the circle through a number of interesting triangle centers, including the isodynamic points and the centroid. We shall dene the Parry circle as the circle through these three points, and seek to explain the incidence of the other points. First of all, since the isodynamic points are inverse in each of the circumcircle and the Brocard circle, the Parry circle is orthogonal to each of these circles. In particular, it contains the inverse of G in the circumcircle. This is the triangle center X23 = (a2 (a4 b4 + b2 c2 c4 ), b2 (b4 c4 + c2 a2 a4 ), c2 (c4 a4 + a2 b2 b4 )). (23) The equation of the Parry circle has been computed in 7.3, and is given by (16). Applying Proposition 1, we see that this circle contains the Euler reection point E= b2 c2 a2 , , b2 c2 c2 a2 a2 b2 (24)

The circles of Lester, Evans, Parry, and their generalizations

197

and the point P = b2 c2 a2 , , b2 + c2 2a2 c2 + a2 2b2 a2 + b2 2c2 (25)

which we call the Parry point. Remark. The line EP also contains the symmedian point K . Lemma 23. The line EG is parallel to the Fermat line F+ F . Proof. The line F+ F is the same as the line KKi , with equation given by (5). The line EG has equation (b2 c2 )f4,2 (a, b, c)x = 0.
cyclic

(26)

Both of these lines have the same innite point X542 = (f6,2 (a, b, c) : f6,2 (b, c, a) : f6,2 (c, a, b)). Proposition 24. The Euler reection point E and the centroid are inverse in the Brocard circle.

K F+ B M E H

Figure 16. E and G are inverse in the Brocard circle

Proof. Note that the line F+ F intersects the Euler line at the midpoint M of HG, and G is the midpoint of OM . Since EG is parallel to M K , it intersects OK at its midpoint, the center of the Brocard circle. Since the circle through E , G, J is orthogonal to the Brocard circle, E and G are inverse to each other with respect to this circle.

198

P. Yiu

The following two triangle centers on the Parry circle are also listed in [9]: (i) the second intersection with the line joining G to K , namely, X352 = (a2 (a4 4a2 (b2 + c2 ) + (b4 + 5b2 c2 + c4 )), , ), (ii) the second intersection with the line joining X23 to K , namely, X353 = (a2 (4a4 4a2 (b2 + c2 ) (2b4 + b2 c2 + 2c4 )), , ), which is the inverse of the Parry point P in the Brocard circle, and also the inverse of X352 in the circumcircle. 10.1. The center of the Parry circle. Proposition 25. The perpendicular bisector of the segment GE is the line y z x + 2 + 2 = 0. 2 2 2 2 2 b + c 2a c + a 2b a + b2 2c2 Proof. The midpoint of EG is the point

(27)

Z4 := ((b2 +c2 2a2 )f4,5 (a, b, c) : (c2 +a2 2b2 )f4,5 (b, c, a) : (a2 +b2 2c2 )f4,5 (c, a, b)).

By Lemma 23 and Proposition 8(b), the perpendicular bisector of EG has innite point X690 . The line through Z4 with this innite point is the perpendicular bisector of EG. Proposition 26. The center of the Parry circle CP is the point (a2 (b2 c2 )(b2 + c2 2a2 ), , ). Proof. This is the intersection of the line (27) above and the the Lemoine axis (14). Remark. The center of the Parry circle appears in [10] as X351 . 11. The generalized Parry circles We consider the generalized Parry circle CP ( ) passing through the centroid and the points K ( ) on the Brocard axis. Since K ( ) and K ( ) are inverse in the Brocard circle (see 7.2), the generalized Parry circle CP ( ) is orthogonal to the Brocard circle, and must also contain the Euler reection point E . Its equation is
3(b2 c2 )(c2 a2 )(a2 b2 )(162 sin2 (a2 + b2 + c2 )2 cos2 )(a2 yz + b2 zx + c2 xy ) + (x + y + z )
cyclic

b2 c2 (b2 c2 )(f6,2 (a, b, c) sin2 + f6,3 (a, b, c) cos2 )x = 0.

The second intersection with the circumcircle is the point Q( ) = a2 , , f6,2 (a, b, c) sin2 + f6,3 (a, b, c) cos 2 .

The Parry point P is Q( ) for = 3 . Here are two more examples. , we have the circle GEO tangent to the Brocard axis and with (i) With = 2 center Z5 := (a2 (b2 c2 )(b2 + c2 2a2 )f4,4 (a, b, c) : : ).

The circles of Lester, Evans, Parry, and their generalizations

199

It intersects the circumcircle again at the point b2 c2 a2 , , f6,2 (a, b, c) f6,2 (b, c, a) f6,2 (c, a, b) . (28)

This is the triangle center X842 . (ii) With = 0, we have the circle GEK tangent to the Brocard axis and with center Z6 := (a2 (b2 c2 )(b2 + c2 2a2 )((a2 + b2 + c2 )2 9b2 c2 ) : : ). It intersects the circumcircle again at the point Z7 := b2 c2 a2 : : f6,3 (a, b, c) f6,3 (b, c, a) f6,3 (c, a, b) . (29)

O K G X842

Z6 Z5 E Z7

Figure 17. The circles GEO and GEK

12. Circles containing the Parry point 12.1. The circle F+ F G. The equation of the circle F+ F G has been computed in 6.1, and is given by (9). Applying Proposition 1, we see that the circle F + F G contains the Parry point and the point Q= 1 (b2 c2 )f
4,4 (a, b, c)

1 (c2 a2 )f
4,4 (b, c, a)

1 (a2 b2 )f
4,4 (c, a, b)

200

P. Yiu

This is the triangle center X476 in [10]. It is the reection of the Euler reection point in the Euler line. 2

P F A

O J+ K X476 B E F+ C G

J X23

Figure 18. Intersections of F+ F G and the circumcircle

12.2. The circle GOK . Making use of the equations (13) of the Brocard circle and (12) of the Brocard axis, we nd equations of circles through O and K in the form (a2 +b2 +c2 )(a2 yz +b2 zx+c2 xy )(x+y +z )
cyclic

b2 c2 ((b2 c2 )t + 1)x = 0

(30) for suitably chosen t. 4 +b4 +c4 b2 c2 c2 a2 a2 b2 With t = a 3( b2 c2 )(c2 a2 )(a2 b2 ) , and clearing denominators, we obtain the equation of the circle GOK . 3(b2 c2 )(c2 a2 )(a2 b2 )(a2 + b2 + c2 )(a2 yz + b2 zx + c2 xy ) + (x + y + z )
cyclic 2To justify this, one may compute the innite point of the line EQ and see that it is X 523 = (b2 c2 : c2 a2 : a2 b2 ). This shows that EQ is perpendicular to the Euler line.

b2 c2 (b2 c2 )(b2 + c2 2a2 )2 x = 0.

The circles of Lester, Evans, Parry, and their generalizations

X691

201

A P

X112 X842 E

Figure 19. The circles GOK and HOK

This circle GOK contains the Parry point P and the point Q = a2 : : (b2 c2 )(b2 + c2 2a2 ) ,

which is the triangle center X691 . It is the reection of E in the Brocard axis. 3 Remark. The line joining P to X691 intersects (i) the Brocard axis at X187 , the inversive image of K in the circumcircle, (ii) the Euler line at X23 , the inversive image of the centroid in the circumcircle. 13. Some special circles 13.1. The circle HOK . By the same method, with t= a4 (c2 a2 )(a2 b2 ) + b4 (a2 b2 )(b2 c2 ) + c4 (b2 c2 )(c2 a2 ) 162 (b2 c2 )(c2 a2 )(a2 b2 )

2 2 3This may be checked by computing the innite point of the line EQ as X 512 = (a (b c2 ), b2 (c2 a2 ), c2 (a2 b2 ), the one of lines perpendicular to OK .

202

P. Yiu

in (30), we nd the equation of the circle HOK as 162 (b2 c2 )(c2 a2 )(a2 b2 )(a2 yz + b2 zx + c2 xy ) +(x + y + z )
cyclic

b2 c2 (b2 c2 )(b2 + c2 a2 )f6,2 (a, b, c)x = 0.

Therefore, the circle HOK intersects the circumcircle at b2 c2 a2 , , (b2 c2 )(b2 + c2 a2 ) (c2 a2 )(c2 + a2 b2 ) (a2 b2 )(a2 + b2 c2 ) which is the triangle center X112 , and X842 given by (28). Remarks. (1) The circle HOK has center Z8 := (a2 (b2 c2 )f4,2 (a, b, c)f4,3 (a, b, c) : : ). (2) X112 is the second intersection of the circumcircle with the line joining X 74 with the symmedian point. (3) X842 is the second intersection of the circumcircle with the parallel to OK through E . It is also the antipode of X691 , which is the reection of E in the Brocard axis. (4) The radical axis with the circumcircle intersects the Euler line at X186 and the Brocard axis at X187 . These are the inverse images of H and K in the circumcircle. 13.2. The circle N OK . The circle N OK contains the Kiepert center because both O, N and K , Ki are inverse in the orthocentroidal circle. ,

Ki

F+

K M N

H B C

Figure 20. The circle N OK

The circles of Lester, Evans, Parry, and their generalizations

203

This circle has equation 32(a2 b2 )(b2 c2 )(c2 a2 )(a2 + b2 + c2 )2 (a2 yz + b2 zx + c2 xy ) +

cyclic

b2 c2 (b2 c2 )f8,4 (a, b, c)x = 0.

Its center is the point Z9 := (a2 (b2 c2 )f8,1 (a, b, c) : : ). 14. The second Evans circle Evans also conjectured that the perspectors V = V ( 3 ) and X74 , X399 are concyclic. Recall that X74 = b2 c2 a2 : : f4,5 (a, b, c) f4,5 (b, c, a) f4,5 (c, a, b)

is the antipode on the circumcircle of the Euler reection point E and X 339 , the Parry reection point, is the reection of O in E . We conrm Evans conjecture indirectly, by rst nding the circle through V and the point X101 = (a2 (c a)(a b) : b2 (a b)(b c) : c2 (b c)(c a)) on the circumcircle. Making use of the equation (22) of the rst Evans circle, and the equation (19) of the line V+ V , we seek a quantity t such that (a b)(b c)(c a)(a + b + c)(a2 yz + b2 zx + c2 xy ) (x + y + z )
cyclic

(bc(b c)(c + a)(a + b)(b + c a) + t(b c)(b2 + c2 a2 ))x = 0,

represents a circle through the point X101 . For this, we require t= abc(a2 (b + c a) + b2 (c + a b) + c2 (a + b c) + abc) , (b + c a)(c + a b)(a + b c)

and the equation of the circle through V and X101 is 162 (a b)(b c)(c a)(a2 yz + b2 zx + c2 xy ) (x + y + z )
cyclic

b2 c2 (b c)f4,5 (a, b, c)x = 0.

It is clear that this circle does also contain the point X74 . The center of the circle is the point Z10 = (a2 (b c)((b2 + c2 a2 )2 b2 c2 ), , ). Now, the perpendicular bisector of the segment OE is the line x = 0, 2 a f4,4 (a, b, c)

204

P. Yiu

which clearly contains the center of the circle. Therefore, the circle also contains the point which is the reection of X74 in the midpoint of OE . This is the same as the reection of O in E , the Parry reection point X399 . Theorem 27 (Evans). The four points V , the antipode of the Euler reection point E on the circumcircle, and the reection of O in E are concyclic (see Figure 21).

Ib

X74

I O A Ic B E Ia X399 V+

Figure 21. The second Evans circle

15. The second Lester circle In Kimberlings rst list of triangle centers [8], the point X19 , the homothetic center of the orthic triangle and the triangular hull of the three excircles, was called the crucial point. Kimberling explained that this name derives from the name of the publication [13] in which the point rst appeared. In the expanded list in [9], this point was renamed after J.W. Clawson. Kimberling gave the reference [2], and

The circles of Lester, Evans, Parry, and their generalizations

205

commented that this is possibly the earliest record of this point. 4 Cw = b2 a b c , 2 , 2 2 2 2 2 + c a c + a b a + b2 c2 . (31)

Proposition 28. The Clawson point Cw is the perspector of the triangle bounded by the radical axes of the circumcircle with the three excircles (see Figure 24).

A A

Cw B B

C C

Figure 22. The Clawson point

Proof. The equations of the excircles are given in [15, 6.1.1]. The radical axes with circumcircle are the lines La := s2 x + (s c)2 y + (s b)2 z = 0, Lb := (s c)2 x + s2 y + (s a)2 z = 0, Lc := (s b)2 x + (s a)2 y + s2 z = 0. These lines intersect at A = (0 : b(a2 + b2 c2 ) : c(c2 + a2 b2 )), B = (a(a2 + b2 c2 ) : 0 : c(b2 + c2 a2 )), C = (a(c2 + a2 b2 ) : b(b2 + c2 a2 ) : 0). It is clear that the triangles ABC and A B C are perspective at a point whose coordinates are given by (31).
4According to the current edition of [10], this point was studied earlier by E. Lemoine [11].

206

P. Yiu

Apart from the circle through the circumcenter, the nine-point center and the Fermat points, Lester has discovered another circle through the symmedian point, the Clawson point, the Feuerbach point and the homothetic center of the orthic and the intangents triangle. The intangents are the common separating tangents of the incircle and the excircles apart from the sidelines. These are the lines La := bcx + (b c)cy (b c)bz = 0, Lb := (c a)cx + cay + (c a)az = 0, Lc := (a b)bx (a b)ay + abz = 0. These lines are parallel to the sides of the orthic triangles, namely, (b2 + c2 a2 )x + (c2 + a2 b2 )y + (a2 + b2 c2 )z = 0, (b2 + c2 a2 )x (c2 + a2 b2 )y + (a2 + b2 c2 )z = 0, (b2 + c2 a2 )x + (c2 + a2 b2 )y (a2 + b2 c2 )z = 0. The two triangles are therefore homothetic. The homothetic center is To = a(b + c a) b(c + a b) c(a + b c) , , b2 + c2 a2 c2 + a2 b2 a2 + b2 c2 . (32)

To C B

Figure 23. The intangents triangle

Theorem 29 (Lester). The symmedian point, the Feuerbach point, the Clawson point, and the homothetic center of the orthic and the intangent triangles are concyclic.

The circles of Lester, Evans, Parry, and their generalizations

207

A A

To Cw

Fe

C B B Z11 C

Figure 24. The second Lester circle

There are a number of ways of proving this theorem, all very tedious. For example, it is possible to work out explicitly the equation of the circle containing these four points. Alternatively, one may compute distances and invoke the intersecting chords theorem. These proofs all involve polynomials of large degrees. We present here a proof given by Nikolaos Dergiades which invokes only polynomials of relatively small degrees. Lemma 30. The equation of the circle passing through three given points P 1 = (u1 : v1 : w1 ), P2 (u2 : v2 : w2 ) and P3 = (u3 : v3 : w3 ) is a2 yz + b2 zx + c2 xy (x + y + z )(px + qy + rz ) = 0 where p= with
s1 = u1 +v1 +w1 , s2 = u2 +v2 +w2 , s3 = u3 +v3 +w3 , u1 D(1, 2, 3) = u2 u3 v1 v2 v3 w1 w2 , w3

D(u1 , u2 , u3 ) , s1 s2 s3 D(1, 2, 3)

q=

D(v1 , v2 , v3 ) , s1 s2 s3 D(1, 2, 3)

r=

D(w1 , w2 , w3 ) , s1 s2 s3 D(1, 2, 3)

208

P. Yiu

and
a2 v1 w1 + b2 w1 u1 + c2 u1 v1 D(u1 , u2 , u3 ) = a2 v2 w2 + b2 w2 u2 + c2 u2 v2 a2 v3 w3 + b2 w3 u3 + c2 u3 v3 s1 u 1 D(v1 , v2 , v3 ) = s2 u2 s3 u 3 s1 u 1 D(w1 , w2 , w3 ) = s2 u2 s3 u 3 s1 v1 s2 v2 s3 v3 s1 w1 s2 w2 , s3 w3 s1 w1 s2 w2 , s3 w3

a2 v1 w1 + b2 w1 u1 + c2 u1 v1 a2 v2 w2 + b2 w2 u2 + c2 u2 v2 a2 v3 w3 + b2 w3 u3 + c2 u3 v3 s1 v1 s2 v2 s3 v3

a2 v1 w1 + b2 w1 u1 + c2 u1 v1 a2 v2 w2 + b2 w2 u2 + c2 u2 v2 . a2 v3 w3 + b2 w3 u3 + c2 u3 v3

Proof. This follows from applying Cramers rule to the system of linear equations a2 v1 w1 + b2 w1 u1 + c2 u1 v1 s1 (pu1 + qv1 + rw1 ) = 0, a2 v2 w2 + b2 w2 u2 + c2 u2 v2 s2 (pu2 + qv2 + rw2 ) = 0, a2 v3 w3 + b2 w3 u3 + c2 u3 v3 s3 (pu3 + qv3 + rw3 ) = 0. Lemma 31. Four points Pi = (ui : vi : wi ), i = 1, 2, 3, 4, are concyclic if and only if D(v1 , v2 , v4 ) D(w1 , w2 , w4 ) s4 D(1, 2, 4) D(u1 , u2 , u4 ) = = = . D(u1 , u2 , u3 ) D(v1 , v2 , v3 ) D(w1 , w2 , w3 ) s3 D(1, 2, 3) Proof. The circumcircles of triangles P1 P2 P3 and P1 P2 P4 have equations a2 yz + b2 zx + c2 xy (x + y + z )(px + qy + rz ) = 0, a2 yz + b2 zx + c2 xy (x + y + z )(p x + q y + r z ) = 0 where p, q , r are given in Lemma 30 above and p , q , r are calculated with u3 , v3 , w3 replaced by u4 , v4 , w4 respectively. These two circles are the same if and (u1 ,u2 ,u4 ) only if p = p , q = q , r = r . The condition p = p is equivalent to D D (u1 ,u2 ,u3 ) =
s4 D (1,2,4) s3 D (1,2,3) ;

similarly for the remaining two conditions.

Finally we complete the proof of the second Lester circle theorem. For P1 = K = (a2 : b2 : c2 ), P2 = Fe = ((b c)2 (b + c a) : (c a)2 (c + a b) : (a b)2 (a + b c), P3 = Cw = (aSBC : bSCA : cSAB ), P4 = To = (a(b + c a)SBC : b(c + a b)SCA : c(a + b c)SAB ), we have (b + c a)(c + a b)(a + b c) s4 D(1, 2, 4) D(u1 , u2 , u4 ) = = . D(u1 , u2 , u3 ) a+b+c s3 D(1, 2, 3) The cyclic symmetry also shows that D(w1 , w2 , w4 ) (b + c a)(c + a b)(a + b c) D(v1 , v2 , v4 ) = = . D(v1 , v2 , v3 ) D(w1 , w2 , w3 ) a+b+c

The circles of Lester, Evans, Parry, and their generalizations

209

It follows from Lemma 31 that the four points K , Fe , Cw , and To are concyclic. This completes the proof of Theorem 29. For completeness, we record the coordinates of the center of the second Lester circle, namely, Z11 := (a(b c)f5 (a, b, c)f12 (a, b, c) : : ), where
f5 (a, b, c) = a5 a4 (b + c) + 2a3 bc a(b4 + 2b3 c 2b2 c2 + 2bc3 + c4 ) + (b c)2 (b + c)3 , f12 (a, b, c) = a12 2a11 (b + c) + 9a10 bc + a9 (b + c)(2b2 13bc + 2c2 ) a8 (3b4 2b3 c 22b2 c2 2bc3 + 3c4 ) + 4a7 (b + c)((b2 c2 )2 b2 c2 ) 10a6 bc(b2 c2 )2 2a5 (b + c)(b c)2 (b2 4bc + c2 )(2b2 + 3bc + 2c2 ) + a4 (b c)2 (3b6 + 2b5 c 19b4 c2 32b3 c3 19b2 c4 + 2bc5 + 3c6 ) 2a3 (b + c)(b c)2 (b6 + 2b5 c 3b4 c2 2b3 c3 3b2 c4 + 2bc5 + c6 ) + a2 bc(b4 c4 )2 + a(b + c)(b c)4 (b2 + c2 )2 (2b2 + 3bc + 2c2 ) (b c)4 (b + c)2 (b2 + c2 )3 .

References
[1] N. Altshiller-Court, College Geometry, second edition, Barnes and Noble, 1952; Dover reprint, 2007. [2] J. W. Clawson and M. Goldberg, Problem 3132, Amer. Math. Monthly, 32 (1925) 204; solution, ibid., 33 (1926) 285. [3] L. S. Evans, A rapid construction of some triangle centers, Forum Geom., 2 (2002) 6770. [4] L. S. Evans, A conic through six triangle centers, Forum Geom., 2 (2002) 8992. [5] L. S. Evans, Some congurations of triangle centers, Forum Geom., 3 (2003) 4956. [6] L. S. Evans, A tetrahedral arrangement of triangle centers, Forum Geom., 3 (2003) 181186. [7] B. Gibert, Hyacinthos message 1270, August 22, 2000. [8] C. Kimberling, Central points and central lines in the plane of a triangle, Math. Magazine, 67 (1994) 163187. [9] C. Kimberling, Triangle centers and central triangles, Congressus Numerantium, 129 (1998) 1285. [10] C. Kimberling, Encyclopedia of Triangle Centers, available at http://faculty.evansville.edu/ck6/encyclopedia/ETC.html. [11] E. Lemoine, Quelques questions se rapportant a ` l etude des antiparall` eles des c ot es dun triangle, Bulletin de la Soci et e Math ematique de France, 14 (1886) 107128. [12] J. Lester, Triangles III: Complex triangle functions, Aequationes Math., 53 (1997) 435. [13] R. Lyness and G.R. Veldkamp, Problem 682 and solution, Crux Mathematicorum 9 (1983) 2324. [14] P. Yiu, Hyacinthos message 1726, November 3, 2000. [15] P. Yiu, Introduction to the Geometry of the Triangle, Florida Atlantic University Lecture Notes, 2001. Paul Yiu: Department of Mathematical Sciences, Florida Atlantic University, 777 Glades Road, Boca Raton, Florida 33431-0991, USA E-mail address: yiu@fau.edu