Feuerbach Point-Euler Line
Feuerbach Point-Euler Line
Forum Geometricorum
Volume 6 (2006) 191–197. b b
FORUM GEOM
ISSN 1534-1178
1. A M ONTHLY problem
Consider a triangle ABC with incenter I, the incircle touching the sides BC,
CA, AB at D, E, F respectively. Let Y (respectively Z) be the intersection of
DF (respectively DE) and the line through A parallel to BC. If E and F are
the midpoints of DZ and DY , then the six points A, E, F , I, E , F are on the
same circle. This is Problem 10710 of the American Mathematical Monthly with
slightly different notations. See [3].
Y A Z
Ha
F E
E
F
B D C
is the foot of the altitude on DY , and these two points are on the same nine-point
circle. The intersection Ha = EY ∩ F Z is the orthocenter of triangle DY Z. Since
∠HaED = ∠Ha F D are right angles, Ha lies on the circle containing D, E, F ,
which is the incircle of triangle ABC, and has DHa as a diameter. It follows that
I, being the midpoint of the segment DHa , is also on the nine-point circle. At the
same time, note that Ha is the antipodal point of the D on the incircle of triangle
ABC.
O
Z A Y
N
Ha
E
M
F H
E
F I
O I
H N
A D
C
B D
Ia
Z A Y
N
Ha E
Fe
F E
F I
C
B D A
Remark. Since DHa is a diameter of the incircle, the Feuerbach point Fe is indeed
the pedal of D on the Euler line of triangle DY Z.
194 B. Suceavă and P. Yiu
Corollary 2. The Feuerbach point is the common point of the Euler lines of the
three triangles Ta , Tb , and Tc .
Z A Y
N
F
N Sc O E
A
C
B D
Fa E
Ma
F
Ia
Ha
(1) The nine-point circle of Ta contains the excenter Ia and the points E , F ;
its center is the midpoint Ma of the segment AIa .
(2) The orthocenter Ha of Ta is the antipode of D on the excircle (Ia ).
(3) The Euler line a of Ta contains the point N .
See Figure 4. Therefore, a also contains the internal center of similitude of the
nine-point circle (N ) and the excircle (Ia ), which is the point of tangency Fa of
these two circles. K. L. Nguyen [2] has recently studied the line containing Fa and
Ma , and shown that it is the image of the Euler line of triangle IBC under the
homothety h := h G, − 12 . The same is true for the two analogous triangles Tb
and Tc . Their Euler lines are the images of the Euler lines of ICA and IAB under
the same homothety. Recall that the Euler lines of triangles IBC, ICA, and IAB
intersect at a point on the Euler line, the Schiffler point Sc , which is the triangle
center X21 in [1]. From this we conclude that the Euler lines of Ta , Tb , Tc concur
at the image of Sc under the homothety h. This, again, is a point on the Euler line
of triangle ABC. It appears in [1] as the triangle center X442 .
4. A generalization
The concurrency of the Euler lines of Ta , Tb , Tc , can be paraphrased as the
perspectivity of the “midway triangle” of I with the triangle Ha Hb Hc . Here, Ha ,
Hb , Hc are the orthocenters of Ta , Tb , Tc respectively. They are the antipodes of
D, E, F on the incircle. More generally, every homothetic image of ABC in I is
perspective with Ha Hb Hc . This is clearly equivalent to the following theorem.
Theorem 3. Every homothetic image of ABC in I is perspective with the intouch
triangle DEF .
Proof. We work with homogeneous barycentric coordinates.
The image of ABC under the homothety h(I, t) has vertices
At =(a + t(b + c) : (1 − t)b : (1 − t)c),
Bt =((1 − t)a : b + t(c + a) : (1 − t)c),
Ct =((1 − t)a : (1 − t)b : c + t(a + b)).
On the other hand, the vertices of the intouch triangle are
D = (0 : s − c : s − b), E = (s − c : 0 : s − a), F = (s − b : s − a : 0).
The lines At D, Bt E, and Ct F have equations
Remark. More generally, for an arbitrary point P , every homothetic image of ABC
in P = (u : v : w) is perspective with the cevian triangle of the isotomic
conjugate
1 1 1
of the superior of P , namely, the point v+w−u : w+u−v : u+v−w . With P = I,
we get the cevian triangle of the Gergonne point which is the intouch triangle.
Proposition 4. The perspector of At Bt Ct and Ha Hb Hc is the reflection of P−t in
the incenter.
It is clear that the perspector Pt traverses a conic Γ as t varies, since its coordi-
nates are quadratic functions of t. The conic Γ clearly contains I and the Gergonne
point, corresponding respectively to t = 0 and t = 1. Note also that D = Pt
a
for t = − b+c or − s−a
a . Therefore, Γ contains D, and similarly, E and F . It is a
cirumconic of the intouch triangle DEF . Now, as t = ∞, the line At D is parallel
to the bisector of angle A, and is therefore perpendicular to EF . Simiarly, Bt E
and Ct F are perpendicular to F D and DE respectively. The perspector P∞ is
therefore the orthocenter of triangle DEF , which is the triangle center X65 in [1].
It follows that Γ is a rectangular hyperbola. Since it contains also the circumcenter
I of DEF , Γ is indeed the Jerabek hyperbola of the intouch triangle. Its center is
the point
a(a2 (b + c) − 2a(b2 + c2 ) + (b3 + c3 ))
Q= : ··· : ··· .
b+c−a
E
Ct Fe
Bt
I
F
Ge
Q
Pt
At
C
B D
The reflection of Γ in the incenter is the conic Γ which is the locus of the
perspectors of Ha Hb Hc and homothetic images of ABC in I.
Note that the fourth intersection of Γ with the incircle is the isogonal conjugate,
with respect to the intouch triangle, of the infinite point of its Euler line. Its an-
tipode on the incircle is therefore the Euler reflection point of the intouch triangle.
The Feuerbach point and Euler lines 197
This must also be the perspector of Ha Hb Hc (the antipode of DEF in the incircle)
and a homothetic image of ABC. It must be the Feuerbach point on Γ .
Theorem 5. The Feuerbach point is the Euler reflection point of the intouch trian-
gle. This means that the reflections of OI (the Euler line of the intouch triangle)
concur at F .
E
Fe
I
F O
C
B D
Remarks. (1) The fourth intersection of Γ with the incircle, being the antipode of
the Feuerbach point, is the triangle cente X1317 . The conic Γ also contains Xn for
the following values of n: 145, 224, and 1537. (Note: X145 is the reflection of the
Nagel point in the incenter). These are the perspectors for the homothetic images
R r
of ABC with ratios t = −1, − R+r , and − 2(R−r) respectively.
(2) The hyperbola Γ contains the following triangle centers apart from I and Fe :
X8 and X390 (which is the reflection of the Gergonne point in the incenter). These
are the perspector for the homothetic images with ratio +1 and −1 respectively.
References
[1] C. Kimberling, Encyclopedia of Triangle Centers, available at
http://faculty.evansville.edu/ck6/encyclopedia/ETC.html.
[2] K. L. Nguyen, On the complement of the Schiffler point, Forum Geom. 5 (2005) 149–164.
[3] B. Suceavă and A. Sinefakopoulos, Problem 19710, Amer. Math. Monthly, 106 (1999) 68; solu-
tion, 107 (2000) 572–573.
Paul Yiu: Department of Mathematical Sciences, Florida Atlantic University, Boca Raton, Florida
33431-0991, USA
E-mail address: [email protected]