Generalization Lester Circle Theorem

Forum Geometricorum
Volume 14 (2014) 123–125.

FORUM GEOM
ISSN 1534-1178
A Simple Proof of Gibert’s Generalization of

the Lester Circle Theorem
Dao Thanh Oai
Abstract. We give a simple proof of Gibert’s generalization of the Lester circle

theorem.
The famous Lester circle theorem states that for a triangle, the two Fermat
points, the nine point center and the circumcenter lie on a circle, the Lester circle
of the triangle. Here is Gibert’s generalization of the Lester circle theorem, given
in [2] and [4, Theorem 6]: Every circle whose diameter is a chord of the Kiepert
hyperbola perpendicular to the Euler line passes through the Fermat points. In this
note we show that this follows from a property of rectangular hyperbolas.
Lemma 1. Let F+ and F− be two antipodal points on a rectangular hyperbola.
For every point H on the hyperbola, the tangent to the circle (F+ F− H) at H is
parallel to the tangents of the hyperbola at F+ and F− .
F+
O
F−
Figure 1
Proof. In a Cartesian coordinate

system,
let the rectangular
hyperbola be repre-
a −a
sented by xy = a, and F+ x0 , x0 and F− −x0 , x0 two antipodal points. The

slope of the tangents at F± is − xa2 . Let H xH , xaH be a point on the hyperbola.
0
Consider the circle through F± and H. Writing its equation in the form
x2 + y 2 + Ax + By + C = 0,
Publication Date: March 24, 2014. Communicating Editor: Paul Yiu.
124 T. O. Dao
and substituting the coordinates of F± and H above, we obtain

x20 + y02 + Ax0 + By0 + C = 0,
x20 + y02 − Ax0 − By0 + C = 0,
x2H + yH
2
+ AxH + ByH + C = 0.
Solving these equations we have
a Ax20
A = −xH + yH · , B=− , C = −(x20 + y02 ).
x20 a
The tangent of the circle at H is the line
2xH x + 2yH y + A(x + xH ) + B(y + yH ) + 2C = 0.
It has slope
a a a a2
2xH + A x H + yH · x20
xH + xH · x20
x2H + x20 a
− =− =− =− =− .
2yH + B yH + x H ·
x20 a
+ xH ·
x20
a + x2H ·
x20 x20
a xH a a
This tangent is parallel to the tangents of the hyperbola at F± .
K+
F+
G+
O
F−
G
K−
M
D
E
G−
Figure 2
Theorem 2 ([1]). Let H and G lie on one branch of a rectangular hyperbola, and
(i) F+ and F− antipodal points on the hyperbola the tangents at which are parallel
to the line HG,
(ii) K+ and K− two points on the hyperbola the tangents at which intersect at a
point E on the line HG.
If the line K+ K− intersects HG at D, and the perpendicular bisector of DE
intersects the hyperbola at G+ and G− , then the six points F+ , F− , D, E, G+ ,
G− lie on a circle.
A simple proof of Gibert’s generalization of the Lester circle theorem 125
Proof. By Lemma 1, the circle (F+ F− H) is tangent to HG at H. Similarly, the

circle (F+ F− G) is tangent to the same line HG at G.
Let M be the intersection of F+ F− and HG. It lies on the radical axis of the
circles (F+ F− H) and (F+ F− G), and satisfies M G2 = M F+ · M F− = M H 2 .
Therefore, M is the midpoint of HG.
Since the tangents of the hyperbola at K+ and K− intersect at E, the line K+ K−
is the polar of E. If it intersects the line HG at D, then (G, D; H, E) is a harmonic
range. Since M is the midpoint of HG, by a famous property of harmonic range,
we have M G2 = M D · M E. Therefore, M F+ · M F− = M D · M E, and the four
points F+ , F− , D, E lie on a circle.
Now let the circle (F+ F− DE) intersect the rectangular hyperbola at two points
G+ and G− . By Lemma 1, the tangents of the circle at G+ , G− are parallel to
those of the hyperbola at F+ and F− , and therefore also to HG. It follows that
G+ G− is a diameter of the circle perpendicular to HG, and G+ , G− lie on the
perpendicular bisector of the chord DE of the circle. The proof of the theorem is
complete.
References
[1] T. O. Dao, Advanced Plane Geometry, message 942, December 7, 2013.
[2] B. Gibert, Hyacinthos message 1270, August 22, 2000.
[3] P. Yiu, Introduction to the Geometry of the Triangle, Florida Atlantic University Lecture Notes,
2001; with corrections, 2013, available at
http://math.fau.edu/Yiu/Geometry.html.
[4] P. Yiu, The circles of Lester, Evans, Parry, and their generalizations, Forum Geom., 10 (2010)
175–209.
Dao Thanh Oai: Cao Mai Doai, Quang Trung, Kien Xuong, Thai Binh, Viet Nam
E-mail address: [email protected]

Generalization Lester Circle Theorem

Uploaded by

Copyright:

Available Formats

Generalization Lester Circle Theorem

Uploaded by

Document Information

Original Description:

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Generalization Lester Circle Theorem

Uploaded by

Copyright:

Available Formats

Forum Geometricorum

Volume 14 (2014) 123–125.

A Simple Proof of Gibert’s Generalization of

Dao Thanh Oai

Abstract. We give a simple proof of Gibert’s generalization of the Lester circle

Proof. In a Cartesian coordinate

and substituting the coordinates of F± and H above, we obtain

Proof. By Lemma 1, the circle (F+ F− H) is tangent to HG at H. Similarly, the

You might also like