the circles of lester, evans, parry, and their generalizations mathfest...
TRANSCRIPT
![Page 1: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/1.jpg)
The Circles of Lester, Evans, Parry,and Their Generalizations
Paul YiuDepartment of Mathematical Sciences,
Florida Atlantic University,Boca Raton, Florida 33431
MathFest 2008Madison, Wisconsin
Abstract: Beginning with the famous Lester circle containingthe circumcenter, nine-point center and the two Fermat points ofa triangle, we survey a number of interesting circles in trianglegeometry.
1
![Page 2: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/2.jpg)
2
CONTENTS
1. Some common triangle centers 12. The first Lester circle 83. The symmedian and isodynamic points 224. The first Evans circle 295. The Parry circle and the Parry point 40
![Page 3: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/3.jpg)
1
1. Some common triangle centers
N
O
H
G
A
B C
Figure 1. The Euler line and the nine-point circle
HN : NG : GO = 3 : 1 : 2.
![Page 4: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/4.jpg)
2
N
O
HM
G
A
B C
Figure 2. The orthocentroidal circle
O andN are inverse in the orthocentroidal circle.
![Page 5: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/5.jpg)
3
O
H
A
B C
E
Figure 3. The Euler reflection pointE
The reflections of the Euler line in the three sidelinesintersect at a point on the circumcircle:
E =
(
a2
b2 − c2:
b2
c2 − a2:
c2
a2 − b2
)
.
![Page 6: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/6.jpg)
4
A
B C
F+
C′
A′
B′
Figure 4. The Fermat pointF+
Construct equilateral trianglesA′BC, AB′C, ABC ′ externallyon the sides of triangleABC.AA′, BB′, andCC ′ concur at theFermat point
F+ = K(π
3
)
=
(
1√3SA + S
:1√
3SB + S:
1√3SC − S
)
.
![Page 7: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/7.jpg)
5
A
B C
F−
C′′
A′′
B′′ Figure 5. The negative Fermat pointF−
If the equilateral trianglesA′′BC, AB′′C, ABC ′′ are constructed internally,AA′′, BB′′, andCC ′′ concur at thenegative Fermat point
F− = K(
−π
3
)
=
(
1√3SA − S
:1√
3SB − S:
1√3SC + S
)
.
![Page 8: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/8.jpg)
6
Z
X
Y
K(θ)
A
B Cθ θ
θ θ
θθ
Figure 6. Kiepert triangleK(θ) and Kiepert perspectorK(θ)
Kiepert triangleK(θ) := XY Z,
Kiepert perspectorK(θ) =
(
1
SA + Sθ
:1
SB + Sθ
:1
SC + Sθ
)
.
![Page 9: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/9.jpg)
7
H
K(θ)
A
B C
Kı
F−
F+
Figure 7. The Kiepert hyperbola
The locus of the Kiepert perspector is a rectangular hyperbolawhose center is the midpoint of the Fermat points.
(b2 − c2)yz + (c2 − a2)zx + (a2 − b2)xy = 0.
![Page 10: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/10.jpg)
8
2. The first Lester circle
Theorem 1(Lester). The Fermat points are concyclic with the circumcenterand the nine-point center.
A
B C
F−
F+
N
O
H
Figure 8. The first Lester circle throughO, N and the Fermat points
![Page 11: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/11.jpg)
9
Proof. (1) LetM be the intersection ofF+F− and the Euler line.By the intersection chords theorem, it is enough to show that
MF+ · MF− = MO · MN.
A
B C
F−
F+
N
O
H
M
Figure 9. Intersection of Fermat line and Euler line
![Page 12: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/12.jpg)
10
(2) Consider a Kiepert perspectorK(θ) with homogeneous barycentric co-ordinates
K(θ) =
(
1
SA + Sθ
:1
SB + Sθ
:1
SC + Sθ
)
.
These homogeneous coordinates can be rewritten as
K(θ) = ((SB + Sθ)(SC + Sθ), (SC + Sθ)(SA + Sθ), (SA + Sθ)(SB + Sθ))
= (SBC + Sθθ + (SB + SC)Sθ, · · · , · · · )=(SBC + Sθθ, SCA + Sθθ, SAB + Sθθ) + Sθ(SB + SC, SC + SA, SA + SB).
Similarly,
K(−θ) =(SBC + Sθθ, SCA + Sθθ, SAB + Sθθ) − Sθ(SB + SC, SC + SA, SA + SB).
From these,K(θ) andK(−θ) divideharmonicallythesymmedian pointK = (SB + SC , SC + SA, SA + SB) and
Q(θ) =(SBC + Sθθ, SCA + Sθθ, SAB + Sθθ)
=(SBC, SCA, SAB) + Sθθ(1, 1, 1)
which is a point on the Euler line, dividingtheorthocenter H = (SBC, SCA, SAB) andthecentroid G = (1, 1, 1) in the ratio
GQ(θ) : Q(θ)H = 3Sθθ : S2 = 3 cot2 θ : 1.
![Page 13: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/13.jpg)
11
GQ(θ) : Q(θ)H = 3Sθθ : S2 = 3 cot2 θ : 1.A
BC
K(θ)
K(−θ)
O
H
K
Q(θ)G
Figure 10. M’Cay’s theorem
![Page 14: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/14.jpg)
12
(3) Forθ = ±π3 , this ratio is1 : 1.
M = Q(
π3
)
is the midpoint ofGH.The Fermat lineF+F− intersects the Euler line at the midpoint ofH andG,which is the center of theorthocentroidal circle with HG as diameter.
A
B C
F−
F+
O
H
M
G
K
Figure 11. Fermat line and orthocentroidal circle
![Page 15: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/15.jpg)
13
(4) If we putOH = 6d, then
2d d d 2dH OGNM
Figure 12. The Euler line
MO · MN = 4d · d = (2d)2 = (MH)2 = (MG)2.
A
B C
F−
F+
N
O
HM
G
Figure 13. Fermat line and orthocentroidal circle
(5) Recall from (1)MF+ · MF− = MO · MN = (MH)2 = (MG)2.
![Page 16: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/16.jpg)
14
Therefore, the Lester circle theorem is equivalent to each of the following.(1) The Fermat points are inverse in the orthocentroidal circle.(2) The circleF+F−G is tangent to the Euler line atG.(3) The circleF+F−H is tangent to the Euler line atH.
�
A
B C
F−
F+
N
O
H
M
G
Figure 14. The circlesF+F−
G andF+F−
H
![Page 17: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/17.jpg)
15
Theorem 2. The Fermat points are inverse in the orthocentroidal circle.
O
H
M
G
F−
F+
A
B C
Figure 15. F+ on the polar ofF−
in the orthocentroidal circle
Proof. Let M be the matrix of the orthocentroidal circle.
M =
−4SA SA + SB SA + SC
SA + SB −4SB SB + SC
SA + SC SB + SC −4SC
.
WriteF+ = X + Y and F− = X − Y,
![Page 18: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/18.jpg)
16
with
X =(
SBC + 13S
2 SCA + 13S
2 SAB + 13S
2)
,
Y =S√3
(
SB + SC SC + SA SA + SB
)
.
XMXt = Y MY t =2
3(SA(SB −SC)2 +SB(SC −SA)2 +SC(SA−SB)2)S2,
we have
F+MF t− = (X + Y )M(X − Y )t = XMXt − Y MY t = 0.
This shows that the Fermat points are inverse in the orthocentroidal circle.�
Corollary 3. Every circle throughF+ and F− is orthogonal to the ortho-centroidal circle.
![Page 19: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/19.jpg)
17
Theorem 4 (Gibert). Every circle with diameter a chord of the Kiepert hy-perbola perpendicular to the Euler line passes through the Fermat points.
A
B C
F−
F+ O
H
G
Figure 16. Gibert’s generalization of Lester’s circle
![Page 20: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/20.jpg)
18
A
B C
F−
F+ O
H
G
Y0
Figure 17. The circleF+F−
H
Equation of lineF+F−: L = 0.Perpendicular to Euler line atH: L0 = 0,intersecting Kiepert hyperbola atY0.CircleF+F−H is one in the pencil of conics throughF+, F−, H andY0:
(b2 − c2)yz + (c2 − a2)zx + (a2 − b2)xy − L · L0 = 0
by suitably adjusting the linear formsL, L0 by constants.It center lies on the perpendicular bisector ofF+F−.
![Page 21: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/21.jpg)
19
A
B C
F−
F+ O
H
G
Y1
Figure 18. The circleF+F−
G
Equation of lineF+F−: L = 0.Perpendicular to Euler line atG: L1 = 0,intersecting Kiepert hyperbola atY1.CircleF+F−G is one in the pencil of conics throughF+, F−, G andY1:
(b2 − c2)yz + (c2 − a2)zx + (a2 − b2)xy − L · L1 = 0
by suitably adjusting the linear formsL, L1 by constants.It center lies on the perpendicular bisector ofF+F−.
![Page 22: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/22.jpg)
20
For arbitraryt, let Lt = (1 − t)L0 + t · L1.The lineLt = 0 is perpendicular to the Euler line.The equation
(b2 − c2)yz + (c2 − a2)zx + (a2 − b2)xy − L · Lt = 0
represents a circle through the Fermat points.
A
B C
F−
F+ O
H
G
Y0
Y1
Figure 19. Gibert’s generalization of Lester’s circle
![Page 23: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/23.jpg)
21
The line joining the midpoints ofHY0 andGY1
contains the midpoint of the every chord cut out byLt = 0.This line is also the perpendicular bisector ofF+F−.Therefore the center of the circle is the midpoint of the chord.
A
B C
F−
F+ O
H
G
Y0
Y1
Figure 20. Gibert’s generalization of Lester’s circle
![Page 24: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/24.jpg)
22
3. The symmedian and isodynamic points
C
XYO P Q
Figure 21
If P , Q divideX, Y harmonically,thenP andQ are inverse in the circle with diameterXY .
![Page 25: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/25.jpg)
23
C
XY
O P Q
Figure 22
If P andQ are inverse in a circleC,then every circle throughP andQ is orthogonal toC.
![Page 26: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/26.jpg)
24
O
A
B C
K
J+
J−
Figure 23.
![Page 27: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/27.jpg)
25
Consider three circles each orthogonal to the circumcircleand with centeron a sideline of triangleABC.Their centers are collinear, and are on the pole of thesymmedian point
K = (a2 : b2 : c2).
They have two common pointsJ+ andJ− called theisodynamic points,which are on the lineOK (Brocard axis), andare inverse in the circumcircle.Every circle throughJ+ andJ− is orthogonal to the circumcircle.
O
A
B C
K
J+
J−
![Page 28: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/28.jpg)
26
The isodynamic pointshave coordinates
J+ =(a2(√
3SA + S), b2(√
3SB + S), c2(√
3SC + S)),
=√
3(a2SA, b2SB, c2SC) + S(a2, b2, c2);
J− =√
3(a2SA, b2SB, c2SC) − S(a2, b2, c2).
They divideO andK harmonically.Therefore, every circle throughJ± is orthogonally to theBrocard circle(with diameterOK).
O
A
B C
K
J+
J−
Figure 24. The Brocard circle and the isodynamic points
![Page 29: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/29.jpg)
27
The isodynamic points are the only pointswhosepedal trianglesare equilateral.
A
B C
J+
Figure 25. The pedal triangle ofJ+ is equilateral
![Page 30: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/30.jpg)
28
The isodynamic points are theisogonal conjugatesof the Fermat points
A
B C
F+
C′
A′
B′
J+
Figure 26. J+ = isogonal conjugate ofF+
![Page 31: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/31.jpg)
29
4. The first Evans circle
Theexcentral triangle IaIbIc has circumradius2R andcircumcenterI ′ := reflection ofI in O.
O
I
Ia
Ib
Ic
I ′
M
A
BC
Figure 27. The excentral triangle and its circumcircle
![Page 32: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/32.jpg)
30
The triangle of reflections
A∗
B∗
C∗
A
B C
H
Figure 28. The triangle of reflections
![Page 33: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/33.jpg)
31
The Evans perspectorW of the excentral triangle and the triangle of re-flections
A
B
C
A∗
B∗
C∗
Ia
Ib
Ic
W
Figure 29. The Evans perspsectorW
![Page 34: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/34.jpg)
32
A
B
C
A∗
Ia
W
I
O
I ′
Figure 30. The Evans perspsectorW as a point onOI
Let IaA∗ intersectOI atW . A routine calculation shows that
I ′W : WI = R : −2r.
Similarly, IbB∗ andIcC
∗ intersectOI at points given by the same ratio.Therefore the linesIaA
∗, IbB∗ andIcC
∗ concur atW onOI.
![Page 35: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/35.jpg)
33
Theorem 5. The Evans perspectorW and the incenterI are inverse in thecircumcircle of the excentral triangle.
A
B
C
A∗
Ia
Ib
Ic
W
IO
I ′
Figure 31.W andI are inverse in the circumcircle of the excentral triangle
Proof. I ′W · I ′I = RR−2r
· I ′I2 = R2
R(R−2r) · (2 · OI)2 = (2R)2. �
![Page 36: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/36.jpg)
34
Evans also found that the excentral triangle is perspectivewitheach of the Kiepert trianglesK
(
π3
)
andK(
−π3
)
.He denoted these perspectors byV+ andV− andconjectured thatV+, V−, I andW are concyclic.
Ia
Ib
Ic
V−
A
B C
C′′
A′′
B′′
Figure 32. Evans’ perspectorV−
of K(
−π
3
)
and excentral triangle
![Page 37: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/37.jpg)
35
Proposition 6. LetXBC andX ′IbIc beoppositely orientedsimilar isosceles triangleswith basesBC andIbIc respectively.The linesIaX andIaX
′ are isogonal with respect to angleIa the excentraltriangle.
X
A
B C
Ia
Ib
Ic
X ′
θ
θ
Figure 33. Isogonal lines joiningIa to apices of similar isosceles onBC andIbIc
![Page 38: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/38.jpg)
36
X
A
B C
Ia
Ib
Ic
X ′
θ
θ
Figure 34. Isogonal lines joiningIa to apices of similar isosceles onBC andIbIc
Proof. TrianglesXBIa andX ′IbIa are similar since∠XBIa = ∠X ′IbIa = π
2 − B2 − θ, and
asBC andIbIc are antiparallel,
XB : X ′Ib = BC : IbIc = IaB : IaIb.
It follows that∠BIaX = ∠IbIaX′ and
the linesIaX, IaX′ are isogonal in the excentral triangle. �
![Page 39: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/39.jpg)
37
Theorem 7. LetXY Z be the Kiepert triangleK(θ) of ABC.The linesIaX, IbY , IcZ concur at a pointV (θ) which is the isogonal conjugate ofKe(−θ) in the excentral triangle.
Proof. (i) IaX′, IbY
′, IcZ′ concur at the Kiepert perspectorKe(−θ) of the
excentral triangle.(ii) SinceIaX andIaX
′ are isogonal with respect toIa, and similarly forthe pairsIbY , IbY
′ andIcZ andIcZ′, the linesIaX, IbY , IcZ concur at the
isogonal conjugate ofKe(−θ) in the excentral triangle. �
Corollary 8. V± are the isodynamic points of the excentral triangle.
Therefore, every circle throughV+ andV− is orthogonal to the circumcircleof the excentral triangle.
If such a circle contains the incenterI, it also contains the inverse ofIin the circumcircle of the excentral triangle.
This latter is the Evans perspectorW .
![Page 40: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/40.jpg)
38
Theorem 9(Evans). The pointsV± are concyclic withI andW .
A
B
C
A′
B′
C′
Ia
Ic
Ib
I
W
V−
V+
X1019
I ′
Figure 35. The first Evans circle
![Page 41: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/41.jpg)
39
Proposition 10.The center of the first Evans circle is the point
X1019 =
(
a(b − c)
b + c:
b(c − a)
c + a:
c(a − b)
a + b
)
.
A
BC
A′
B′
C′
Ia
Ic
Ib
I
W
V−
V+
X1019
I ′
Figure 36. The first Evans circle
![Page 42: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/42.jpg)
40
5. The Parry circle and the Parry point
TheParry circle is the one passing through theisodynamic pointsJ± andthecentroid G.
A
B C
O
K G
J+
J−
?
Figure 37. The Parry circle through the centroid and isodynamic points
SinceJ± are inverse in the Brocard circle,the Parry circle is orthogonal to the Brocard circle,and also contains the inverse ofG in the Brocard circle.
The same is true with the Brocard circle replaced by the circumcircle.
![Page 43: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/43.jpg)
41
Theorem 11.The inverse of the centroidG in the Brocard circle istheEuler reflection point E.
Proof. The equation of the Brocard circle is
(a2+b2+c2)(a2yz+b2zx+c2xy)−(x+y+z)(b2c2x+c2a2y+a2b2z) = 0.
The polar of the centroid is the line
(b2 − c2)2x + (c2 − a2)2y + (a2 − b2)2z = 0.
This clearly contains the Euler reflection point
E =
(
a2
b2 − c2:
b2
c2 − a2:
c2
a2 − b2
)
,
which also lies on the line∑
(b2 − c2)(SAA − SBC)x = 0
joining G to the midpoint ofOK. �
![Page 44: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/44.jpg)
42
The linesGE andF+F− are parallel.
A
B C
O
K G
E
F+
F−
H
M
Figure 38. GE andF+F−
are parallel
![Page 45: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/45.jpg)
43
Since the Parry circle is orthogonal to the circumcircle,the polarO is the radical axis of the circles.This line passes through the symmedian pointK.TheParry point P is the second intersection ofthe Parry circle and the circumcircle.It lies on a number of interesting circles.
A
B C
O
K G
E
J+
J−
P
Figure 39. The Parry circle and Parry point
![Page 46: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/46.jpg)
44
(1) The circle F+F−G contains the Parry pointP .
A
B C
O
K G
E
J+
J−
P
F+
F−
Figure 40. The circle throughF+F−
G contains the Parry point
![Page 47: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/47.jpg)
45
(2) The circle OGK contains the Parry pointP .
A
B C
O
KG
E
J+
J−
P
Figure 41. The circleOGK contains the Parry pointP
![Page 48: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/48.jpg)
46
Proposition 12.The circleF+F−G intersects the circumcircle atthe Parry point andthe reflection ofE in theEuler line.
A
B C
O
K G
E
J+
J−
P
F+
F−
X23
X476
Figure 42. Intersections ofF+F−
G and the circumcircle
![Page 49: The Circles of Lester, Evans, Parry, and Their Generalizations MathFest …math.fau.edu/yiu/MathFest2008.pdf · 2008. 8. 8. · The Circles of Lester, Evans, Parry, and Their Generalizations](https://reader034.vdocuments.mx/reader034/viewer/2022051810/6017abf7bb502a633d02dd1b/html5/thumbnails/49.jpg)
47
Proposition 13.The circleOKG intersects the circumcircle atthe Parry pointP andthe reflection ofE in theBrocard axis.
A
B C
O
KG
E
J+
J−
P
X691
Figure 43. Intersections ofOKG with the circumcircle