Maths Olympiad Prep

Library / /16 of 30

Geometry Difficulty 8.3 Shortlist Prove it Germany

Problem:

Let ABCABC be a triangle. The excircle ω\omega opposite the point AA touches the segment BC\overline{BC} as well as the rays ACAC and ABAB at the points DD, EE and FF, respectively. The circumcircle of triangle AEFAEF intersects the line BCBC at the points PP and QQ. Finally, let MM be the midpoint of the segment AD\overline{AD}. Prove that ω\omega and the circumcircle of triangle MPQMPQ are tangent to each other.

Solution

Solution:

Let JJ be the center of the excircle ω\omega. Then JEAEJE \perp AE and JFAFJF \perp AF hold, so the Thales circle Ω\Omega of AJ\overline{AJ} passes through EE and FF, and hence also through PP and QQ. Let the ray ADAD meet Ω\Omega and ω\omega again at NN and TT, respectively.

Figure 1

Then JNJN is the perpendicular from JJ to DTDT, so NN is the midpoint of the segment DT\overline{DT}. Hence, by the power of a point theorem,
DMDT=12DADT=DADN=DPDQ, |DM| \cdot |DT| = \frac{1}{2} \cdot |DA| \cdot |DT| = |DA| \cdot |DN| = |DP| \cdot |DQ|,
so by the converse of the power of a point theorem, the point TT lies on the circumcircle of triangle MPQMPQ. We now consider the image of NN under inversion in the circle ω\omega, and denote it by ZZ. Since the Thales circles over JD\overline{JD} and JT\overline{JT} both pass through the point NN, ZZ lies on the images of these circles, namely the tangents to ω\omega through DD and TT. On the former line also lie BB, CC, PP and QQ. Furthermore, NN lies on the circle Ω\Omega, which under the inversion considered is mapped to the line EFEF, so ZZ also lies on the line EFEF. Hence, by the power of a point theorem (secant form),
ZT2=ZEZF=ZPZQ, |ZT|^2 = |ZE| \cdot |ZF| = |ZP| \cdot |ZQ|,
so by the converse of the power of a point theorem (secant form), ZTZT is also tangent to the circumcircle of triangle MPQMPQ. Thus we have proven that this circle and ω\omega are tangent to each other at the point TT.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from de; metadata (topic, difficulty) added by this project.