Professional Documents
Culture Documents
FG201322
FG201322
Forum Geometricorum
Volume 13 (2013) 209–218. b b
FORUM GEOM
ISSN 1534-1178
Abstract. Given a triangle with the reflections of its vertices in the opposite
sides, we prove that the pedal circles of these reflections are the images of nine-
point circle under specific homoteties, and that their centers form the anticevian
triangle of the nine-point center. We also construct two concentric circles asso-
ciated with the pedals of these reflections on the sidelines, and study the triangle
bounded by the radical axes of these pedal circles with the nine-point circle.
H O
B Ha C
′
Ba
Ca
A′ Oa
Figure 1
Proof. Clearly the lines AOa and AH are isogonal with respect to angle A, since
O and H are isogonal conjugates. Also,
∠A′ BCa = 2∠A′ ACa = 2∠HAB = 2∠OAC = ∠Oa OC = ∠Oa BC.
Publication Date: November 12, 2013. Communicating Editor: Paul Yiu.
210 M. E. Akengin, Z. K. Köroğlu and Y. Yargiç
Therefore, the lines A′ B and Oa B are symmetric in the external bisector of an-
gle B, and so are isogonal with respect to angle B. Similarly, A′ C and Oa B are
isogonal with respect to angle C. This shows that A′ and Oa are isogonal conju-
gates.
The points A′ and Oa have a common pedal circle, with center at the midpoint
Na of A′ Oa .
Proposition 2. Oa A′ is parallel to OH.
Mc Hb
Hc Mb
N O
H
Ha Xa
B C
Ba
Ca′ ′
Ba
Ca
A′
Na
Oa
Figure 2
Proof. Let Xa , Ba′ , Ca′ be the pedals of Oa on BC, CA, AB respectively. From
AMb AO AMc
= = ,
ABa′ AOa ACa′
we have Ba′ Ca′ //Mb Mc //BC. Therefore the cyclic quadrilateral Ba′ Ca′ Ha Xa ,
having a pair of parallel sides, must be a symmetric trapezoid. Now,
∠Ca′ Xa Oa = ∠Ca′ BOa = ∠CBA′ = β = ∠Ca′ Oa Xa .
The second equality is valid because Oa B and A′ B are isogonal with respect
to B, and the last one because B, Xa , Oa , Ca′ are concyclic. It follows that
Ca′ Oa = Ca′ Xa = Ba′ Ha . Similarly, Ba′ Oa = Ca′ Ha . Therefore, Ca′ Oa Ba′ Ha
is a parallelogram, and Ba′ Ha is parallel to Oa Ca′ , and also to CH, being all per-
pendicular to AB.
Since Mb and Mc are the midpoints of AC and AB, we have
AO AMb AC AH AH
= = = = .
AOa ABa′ 2 · ABa′ 2 · AHa AA′
Therefore, Oa A′ is parallel to OH.
Three natural homoteties of the nine-point circle 211
Theorem 3. The pedal circle of A′ (and Oa ) is the image of the nine-point circle
of ABC under the homothety h(A, ta ), where ta = 2 sincosβ αsin γ .
Proof. The circle Ba Ba′ Ca′ is homothetic to the nine-point circle Hb Mb Mc at A
since
ABa AA′ AOa ABa′ ACa′
= = = = .
AHb AH AO AMb AMc
The ratio of homothety is
AA′ 2 · AHa 2R sin β sin γ sin β sin γ
ta = = = = .
AH 2 · OMa 2R cos α cos α
.
Since the center N a of the pedal circle of A′ and Oa is the midpoint of Oa A′ ,
the line AN a intersects OH at its midpoint N , the nine-point center of ABC.
Analogously let Ob , Oc be the second intersections of the circles OCA, OAB
with the lines BO, CO respectively. The common pedal circle of B ′ and Ob has
center N b the midpoint of Ob B ′ and that of C ′ and Oc has center N c the midpoint
of Oc C ′ . These pedal circles are images of the nine-point circle under the homoth-
eties h(B, tb ) and h(C, tc ) with tb = sincos
γ sin α
β and tc = sincos
α sin β
γ respectively.
Theorem 4. N a N b N c is the anticevian triangle of the nine-point N .
B′
′
C Nb
A
Nc Ob
Oc
H N
O
B C
A′
Na
Oa
Figure 3
Proof. Since N a is the midpoint of Oa A′ and the nine-point center N is the mid-
point of OH, by Proposition 2, A, N , Na are collinear. Similarly, N b and N c are
on the cevians BN and CN respectively. We show that the line N b N c , N c N a ,
212 M. E. Akengin, Z. K. Köroğlu and Y. Yargiç
A′′
Bc Cb
C′
A
B′
Pc
Pb
Ua
Hc
O Hb
N
H
Ho
Ac
B Ha Ab
C
B ′′
Ca
Pa
Oa Ba
Na
A′ C ′′
Figure 4.
Three natural homoteties of the nine-point circle 213
Proof. (1) Since AAc Ab and ABc Cb are isosceles triangles, Bc Cb and Ac Ab are
parallel, and the triangles ACb Bc and ABC are homothetic (see Figure 5). Now,
∠A′′ Bc Cb = ∠A′′ Ac Ab = ∠Hb Ha C = α = ∠Bc ACb .
Similarly, ∠A′′ Cb Bc = ∠Bc ACb . Therefore, A′′ Bc and A′′ Cb are tangents from
A′′ to the circumcircle of triangle ACb Bc . The line A′′ A is a symmedian of triangle
ACb Bc . Since ABC and ACb Bc are homothetic at A, the same line A′′ A is a
214 M. E. Akengin, Z. K. Köroğlu and Y. Yargiç
A′′
Bc
Cb
B′
C′
A
Pc
Hb Pb
Hc
H K
O
Ac
B Ha Ab
C
C ′′
Ba
Pa
Ca
B ′′
A′
Figure 5.
Nb
B′
Qa
A
Nc Hb
C′
H′
Hc Qc
O
N
H
B Ha C
Qb
A′ Na
Figure 6
Ja
P O
N
H
B Ma C
Figure 7.
Proposition 10. Given triangle ABC with incentral triangle DEF , extend AB
and AC to P and Q such that BP = BC = CQ. Let T be the midpoint P Q, and
M the midpoint of the arc BAC of the circumcircle.
(a) The line T M is perpendicular EF .
(b) BT and CT are parallel to DF and DE respectively.
P
M
B
O F T
D
I
A E C Q E′ Y
Figure 8.
bc bc
Proof. (a) By the angle bisector theorem, AE = a+b , AF = a+c . Therefore,
AE a+c AQ
AF = a+b = AP , showing that P Q is parallel to EF (see Figure 8). On the other
hand, the circumcircles of ABC and AP Q intersect at A and M , which is the
center of the rotation taking the oriented segments BP and CQ into each other (see
[4, p.5]). Since M B = M C, M is the center of this rotation. Hence, M T is the
perpendicular bisector of P Q. We conclude that M T and EF are perpendicular to
each other.
(b) We show that BT is parallel to DF .
Let Y be the intersection of the lines BT and AC. Applying Menelaus’ theorem
to triangle AP Q with transversal BT Y , we have
AY QT P B AY AB c AY c
· · = −1 =⇒ =− = − =⇒ = .
Y Q T P BA YQ BP a AQ c−a
Therefore, AY = c(a+b) ′ ′
c−a . Now, DF intersects AC at E such that BE is the
AE ′ c ′
external bisector of angle E. E ′C = − a =⇒ AE c
AC = c−a . It follows that
c ′
AE ′ = c−a · b. From these, AE b AF
AY = a+b = AB . Therefore, BT is parallel to DF .
The same reasoning shows that CT is parallel to DE.
Remark. Proposition 10 remains valid if P and Q are chosen on the rays BA and
CA instead, and BE, BF are external bisectors.
Three natural homoteties of the nine-point circle 217
Qa
Hb
Mc
Mb
Da
H′
Hc O
Dc N
H Qc
Db
B Ha Ma C
Qb
Figure 9
References
[1] http://www.artofproblemsolving.com/Forum/viewtopic.php?f=46&t=384694
[2] R. Honsberger, Episodes in Nineteenth and Twentieth Century Euclidean Geometry, Math. As-
soc. America, 1995.
[3] C. Kimberling, Encyclopedia of Triangle Centers, available at
http://faculty.evansville.edu/ck6/encyclopedia/ETC.html.
[4] Y. Zhao, Three Lemmas in Geometry, available at:
web.mit.edu/yufeiz/www/olympiad/three geometry lemmas.pdf.
Mehmet Efe Akengin: Istanbul Lisesi (Istanbul High School), Türkocaği Caddesi, No:4, Fatih
34440 Istanbul, Turkey
E-mail address: mehmetefeakengin@hotmail.com
Zeyd Yusuf Köroğlu: Istanbul Lisesi (Istanbul High School), Türkocaği Caddesi, No:4, Fatih
34440 Istanbul, Turkey
E-mail address: zeyd.yusuf@gmail.com