Professional Documents
Culture Documents
Y2
Fe Y0
Z1 Y1
Z0
H O
Z2 I
Oa T
B X2 X0 U X1 C
Ja
Figure 1
Proof. (a) It is enough to prove the direct similarity of triangles Fe X0 X1 and AOI.
We work with the notion of directed angles (see [2, §§16–19]). Assume that AB <
AC. Let U and Ja be the intersections of the line AI with BC and the circumcircle
(O) respectively. Draw a tangent U T to the incircle (I) (see Figure 1). The points
Fe , T , X1 are collinear (see [1, Theorem 215]). Hence, modulo π,
π
(X0 X1 , X0 T ) ≡ − (X0 T, X0 I) ≡ (IX0 , IJa )
2
≡ (Ja O, Ja A) ≡ (AJa , AO) ≡ (AI, AO) ≡ −(AO, AI).
On the other hand,
X0 T 2r sin X0 IJa 2r sin B−C
2 r AI
= b−c
= · = A
= .
X0 X1 2
R sin B − sin C R sin 2 AO
Therefore, triangles X0 T X1 and AIO are inversely similar.
Since (Fe X0 , Fe X1 ) ≡ −(X0 T, X0 X1 ) (mod π), and (X1 Fe , X1 X0 ) ≡
−(X1 X0 , X1 T ) (mod π), triangles Fe X0 X1 and X0 T X1 are oppositely similar.
It follows that Fe X0 X1 and AIO are directly similar.
(b) Triangle AIOa is oppositely similar to triangle Fe X0 X1 . Since AOa ⊥
X0 X1 , it follows that IOa ⊥ Fe X1 . Similarly, IOb ⊥ Fe Y1 and IOc ⊥ Fe Z1 .
The Feuerbach point Fe is also the Poncelet point of the quadrilateral ABCI.
This means that Fe is the common point of the nine-point circles of the four trian-
gles IBC, ICA, IAB, and ABC. The circles (Fe X0 X1 ), (Fe Y0 Y1 ), (Fe Z0 Z1 )
are therefore the nine-point circles of triangles IBC, ICA, IAB respectively.
Each of them passes through the midpoints of two of the segments AI, BI, CI.
Denote by Na , Nb , Nc the nine-point centers of the triangles IBC, ICA, IAB
respectively. We shall prove in Theorem 5 below that Na , Nb , Nc are equidistant
from N , the nine-point center of ABC.
A
Fe
A1
Y0
Z1 Y1
Nc
Z0 Na
I
N
C1
B1
Nb
B X0 X1 C
Figure 2
The Feuerbach point and the Fuhrmann triangle 301
A Jb
Fe
Z1 Jc Y0
Jc
O Y1
Nc
Z0 Ja
I Na
N
H Fu
Nb
B X0 X1 C
Jb
Ja
Figure 3
Basic results about the Feuerbach point and the Fuhrmann triangle can be found
in [1, §§215–216] and [2, §§320–324, 367–372]. A proof of the Feuerbach theorem
is given in [4].
The Fuhrmann circle is the circumcircle of the Fuhrmann triangle. It contains
HNa as a diameter ([2, Theorem 369]). The center of the Fuhrmann circle is the
midpoint Fu of HNa . Here is an alternative description.
Proposition 2. The center of the Fuhrmann circle is the reflection of I in N .
1If ABC is a triangle with centroid G and circumcenter O, its nine-point center is N = 3G−O
2
=
A+((B+C)−O)
A+O B+C
2
= 2
, where O = B + C − O = 2 · 2
− O is the reflection of O in (the
midpoint of) BC.
2Throughout this paper, h denotes this specific homothety. For every point P , h(P ) = 1 (I + P ),
2
the midpoint of IP .
302 T. D. Nguyen
I O
G
N
H Fu Na
Figure 4
Proof.
H + Na H + (3G − 2I) H + (H + 2 · O) − 2I
Fu = = = = H +O −I = 2N −I.
2 2 2
Proposition 3. The Fuhrmann triangle Ja Jb Jc and the circumcevian triangle of I
are oppositely similar.
Proof. Since the circumcircle of Ja Jb Jc contains H, and HJa Jc Jb etc. (see
Figure 3),
(Ja Jb , Ja Jc ) ≡ (HJb , HJc ) ≡ (Jc Ja , Jb Ja ) ≡ −(Ja Jb , Ja Jc ) (mod π).
Similarly, (Jb Jc , Jb Ja ) ≡ −(Jb Jc , Jb Ja ) (mod π). The two triangles Ja Jb Jc
and Ja Jb Jc are oppositely similar.
Since the vertices of Ja Jb Jc are on the angle bisectors of ABC and the sides
are perpendicular to these bisectors, the triangle Ja Jb Jc has orthocenter I. This is
also true for the Fuhrmann triangle.
Proof. We begin with the excentral triangle Ia Ib Ic , where Ia , Ib , Ic are the excen-
ters of triangle AC. It is well known that it has orthocenter I and circumcenter
I = 2 · O − I, the reflection of I in O. Therefore, the centroid of the excentral
triangle is
Ia + Ib + Ic 2I + I 4·O−I
= = .
3 3 3
From this we have
Ia + Ib + Ic = 4 · O − I.
Since Ja is the center of the circle (IBC), which also passes through Ia , Ja =
I+Ia
2 . Now, for the Fuhrmann triangle, we have
B+C 2(B + C) − (I + Ia )
Ja = 2 · − Ja = .
2 2
The Feuerbach point and the Fuhrmann triangle 303
and analogous expressions for Jb and Jc . The centroid of the Fuhrmann triangle is
therefore
J + Jb + Jc 4(A + B + C) − 3I − (Ia + Ib + Ic )
G = a =
3 6
12G − 3I − (4 · O − I) 6G − 2 · O − I
= =
6 3
3G + (3G − 2 · O) − I 3G + H − I
= = .
3 3
Its orthocenter is
H = 3G − 2Fu = (3G + H − I) − (H + Na ) = 3G − Na − I = 2I − I = I.
OI
Theorem 5. The triangle Na Nb Nc has circumcenter N , circumradius 2 , and
orthocenter I.
Proof. The triangle Na Nb Nc is the image of the Fuhrmann triangle under h. It has
circumcenter h(2N − I) = I+(2N 2
−I)
= N and orthocenter h(I) = I+I 2 = I.
Since the Fuhrmann circle has diameter HNa , which is parallel to and equal to
twice OI (see Figure 4), its circumradius is OI. It follows that the circumradius of
Na Nb Nc is OI
2 .
Corollary 6. The circumcircle of Na Nb Nc is the nine-point circle of the Fuhrmann
triangle.
Proof. Since the Fuhrmann triangle has orthocenter I, the point Na , being the
midpoint of IJa , lies on its nine-point circle. Similarly, Nb and Nc are on the same
nine-point circle. Therefore, the circumcircle of Na Nb Nc is the nine-point circle
of the Fuhrmann triangle.
Consider the midpoints A1 , B1 , C1 of AI, BI, CI respectively.
Proposition 7. The orthocenter of triangle A1 B1 C1 lies on the circumcircle of
Na Nb Nc .
Proof. Triangle A1 B1 C1 is the image of ABC under the homothety h. Its or-
thocenter H is the midpoint of IH. Since I is the orthocenter of the Fuhrmann
triangle, and H lies on the Fuhrmann circle, it follows that H lies on the nine-point
circle of the Fuhrmann triangle, which is the circle (Na Nb Nc ).
Theorem 8. The Na X1 , Nb Y1 , Nc Z1 are concurrent at the Spieker center of tri-
angle ABC.
Proof. In triangle Ja IJa , Na and X1 are the midpoints of the sides Ja I and Ja Ja .
Therefore, Na X1 is parallel to Ja I, the bisector of angle A. In the medial triangle
X1 Y1 Z1 , the line Na X1 is the bisector of angle X1 . Similarly, Nb Y1 and Nc Z1
are the bisectors of angles Y1 and Z1 . The three lines Na X1 , Nb Y1 , Nc Z1 are
concurrent at the Spieker center, the incenter of the medial triangle X1 Y1 Z1 .
304 T. D. Nguyen
Fe
A1
Y0
Z1 Y1
O
Z0 Na
I
Ja
H
N
H
C1
B1
B X0 X1 C
Ja
Figure 5
Proof. Let the line AI intersect BC at A . Draw a line passing through A parallel
to Y2 Z2 , intersecting AC and AB at B and C respectively. Triangle AB C is
The Feuerbach point and the Fuhrmann triangle 305
F1
Fa Y2
X3
O
I B
Z3
H
Z2
Y3
F2 F3
C
B
X2 A
X
C
Figure 6
the reflection of ABC in AI, and is homothetic to triangle AY2 Z2 . Under this
homothety, F1 corresponds to the reflection Fa of Fe in AI. Also, X3 corresponds
to the midpoint X of B C . It follows that F1 X3 Fa X . By Lemma 1(ii),
Fa X ⊥ OI. Therefore, F1 X3 ⊥ OI. Similarly, F2 Y3 and F3 Z3 are also perpen-
dicular to OI.
Theorem 10. The lines O1 I1 , O2 I2 , O3 I3 are concurrent at the Feuerbach point
Fe .
I1 Y2
Fe
N1 Y0
Ob
Z1 Y1
Z0 O
I I3
Z2 H
Oc
N2 Oa N3
I2
B X2 X0 X1 C
Figure 7
Theorem 11. The line containing X, Y , Z is the tangent to the nine-point circle
at the Feuerbach point.
Jb
Y
X Q = Fe
Z
Jc
Jc Y1
Z1 O
N
I Ja
Fu
H
Jb
B X1 C
Ja
Figure 8
The Feuerbach point and the Fuhrmann triangle 307
Proof. Applying Menelaus’ theorem to triangle OJb Jc with transversal XJb Jc , we
have
Jb X Jc Jc OJb Jb X Jc O Jb Jb Jb Jb
· · = −1 =⇒ = − · = − .
XJc Jc O Jb Jb XJc Jc Jc OJb Jc Jc
Therefore,
2
B
XJb Jb Jb sin2 2 sin B2
= = C
=
XJc Jc Jc sin2 2 sin C2
On the other hand,
IJb sin B2
= .
IJc sin C2
XJb IJb 2
Therefore, XJc =IJc . This means that IX is tangent to the circle (IJb Jc ),
and IX 2 = XJb ·XJc . Thus, X lies on the radical axis of the Fuhrmann circle and
the point-circle I. The same is true for Y and Z. This shows that the perspectrix
XY Z is perpendicular to the line joining Fu and I, which is the same as the line
N I. If XY Z intersects N I at Q,
QFu2 −QI 2 = (QFu −QI)(QFu +QI) = IFu ·2QN = 4N I·QN = 2(R−2r)QN.
It follows that 2(R − 2r)QN = ρ2 = OI 2 = R(R − 2r), and QN = R2 . This
means that Q lies on the nine-point circle of triangle ABC, and is the Feuerbach
point Fe . The line XY Z is the tangent to the nine-point circle at Fe .
Theorem 12. The triangles Ja Jb Jc and Ja Jb Jc are orthologic.
(a) The perpendiculars from Ja to Jb Jc etc are concurrent at the Nagel point
Na .
(b) The perpendiculars from Ja to Jb Jc etc are concurrent at the superior of the
Feuerbach point.
Proof. (a) The perpendiculars from Ja to Jb Jc , Jb to Jc Ja , and Jc to Ja Jb are the
lines
(b − c)x+ by− cz = 0,
−ax+(c − a)y+ cz = 0,
ax− by+(a − b)z = 0.
These three lines are concurrent at the point (x : y : z), where
c − a c −a c −a c − a
x:y:z=
: − :
−b a − b a a − b a −b
= a(b + c − a) : a(c + a − b) : a(a + b − c)
= b + c − a : c + a − b : a + b − c.
This is the Nagel point.
308 T. D. Nguyen
A
Jb
Fe
Jc Jc
O
Na
I
Ja
Fu
H
B C
Jb
Ja
Figure 9
A
Jb
Fe
Jc Jc
O
Na
I G
Ja
Fu
H
B C
Jb
X(100) Ja
Figure 10
(b) The perpendiculars from Ja to Jb Jc , Jb to Jc Ja , and Jc to Ja Jb are the lines
−(b + c)(b − c)x+ a(c − a)y+ a(a − b)z =0,
b(b − c)x−(c + a)(c − a)y+ b(a − b)z =0,
c(b − c)x+ c(c − a)y−(a + b)(a − b)z =0.
The Feuerbach point and the Fuhrmann triangle 309
A Jb
Fe
Jc Jc
O
Ja
I Na
Fu
B C
Jb
X(109)
Ja
Figure 11
where
f (x, y, z) = c2 (c − a)(c + a − b)y − b2 (a − b)(a + b − c)z.
This contains the point
a2 a2 a2
X(109) = : :
(b − c)(b + c − a) (b − c)(b + c − a) (b − c)(b + c − a)
on the circumcircle since
a2 a2 a2
f , ,
(b − c)(b + c − a) (b − c)(b + c − a) (b − c)(b + c − a)
= c2 b2 − b2 c2 = 0.
Therefore, the circle AJb Jc contains X(109). Similarly, the circles BJc Ja and
CJa Jb also contain the same point.
A
Jb
Fe
Jc Jc
O
Ja
I
Na
Fu
H
B C
Jb
X(109)
Ja
Figure 12
This contains the point X(109) with coordinates given above since
a2 a2 a2
g , ,
(b − c)(b + c − a) (b − c)(b + c − a) (b − c)(b + c − a)
= a2 bc(b + c) − a2 b2 c − a2 bc2 = 0.
Similarly, the circles IJb Jb and IJc Jc contain the same point.
References
[1] N. A. Court, College Geometry, Dover reprint, 2007.
[2] R. A. Johnson, Advanced Euclidean Geometry, Dover reprint, 2007.
[3] C. Kimberling, Encyclopedia of Triangle Centers, available at
http://faculty.evansville.edu/ck6/encyclopedia/ETC.html.
[4] M. J. G. Scheer, A simple vector proof of Feuerbach’s theorem, Forum Geom., 11 (2011) 205–
210.
[5] J. Vonk, The Feuerbach point and reflections of the Euler line, Forum Geom., 9 (2009) 47–55.
Nguyen Thanh Dung: Chu Van An high school for Gifted students, 55 To Son street, Chi Lang
ward, Lang son province, Viet Nam
E-mail address: nguyenthanhdungcva@gmail.com