Maths Olympiad Prep

Library / /16 of 16

, 2024

Geometry Difficulty 7.4 National olympiad, round 2 Prove it Saudi Arabia

Let ABCABC be an acute non-isosceles triangle and inscribed in circle (O)(O) with the median line AA intersecting (O)(O) at DD. Let GG be a point symmetrical to AA through BCBC. Suppose GB,GCGB, GC intersect (O)(O) respectively at E,FE, F. The inscribed circle of triangle AEFAEF touches EFEF at JJ.
1. Prove that GO,GDGO, GD are symmedians of triangles GADGAD and GEFGEF.
2. Prove that the two rays AJ,ADAJ, AD are symmetric respect to AGAG.

Solution

1) Let TT be the intersection of the tangent at AA of (O)(O) with BCBC. Then, because ABDCABDC is a harmonic quadrilateral, TDTD is also tangent to (O)(O). It follows that A,D,GA, D, G both belong to the circle of center TT, which is also the Apollonius circle at vertex AA of triangle ABCABC. On the other hand, (T)(T) and (O)(O) are orthogonal so OA,ODOA, OD are tangent to (T)(T), then it is easy to check that GOGO is the symmedian of triangle ADGADG. Let KK be the second intersection of AGAG and (O)(O). Then,
BEK=BAK=BGK    KE=KG. \angle BEK = \angle BAK = \angle BGK \implies KE = KG.
Similarly, KF=KGKF = KG so KE=KFKE = KF implies that KK is the midpoint of the minor arc EFEF of (O)(O). It follows that AGAG is the angle bisector of EAF\angle EAF.

Let MM be the midpoint of BCBC and take A(O)A' \in (O) such that AABCAA' \parallel BC then since MA=MA=MGMA' = MA = MG implies that G,M,AG, M, A' are collinear. On the other hand, since
A(AD,BC)=1 and AABC, A'(AD, BC) = -1 \text{ and } AA' \parallel BC,
we have A,M,DA', M, D are collinear. From there, it can be deduced that GDGD passes through AA'. Since K,O,AK, O, A' are also collinear, AA' is the midpoint of the major arc EFEF of the circle (O)(O). Then, KK is the center of the circumcircle of GEFGEF and AEKEA'E \perp KE, AFKFA'F \perp KF so AA' is the intersection point of two tangent lines of (K)(K) at E,FE, F. Therefore, GDGD is the symmedian of triangle GEFGEF.

2) We will prove that DD is the tangent point of the external Mixlinear circle with respect to vertex AA in triangle AEFAEF. Indeed, let D,U,VD', U, V be the tangent points of the external Mixtilinear circle (ω)(\omega) of triangle AEFAEF with (O)(O), AE,AFAE, AF respectively. Then, GG is the midpoint of UVUV, and DU,DVD'U, D'V respectively pass through the midpoints of the arc AEAE (contains FF) and AFAF (contains FF) of (O)(O). Note that
ACB=GCB=BCF=BAF \angle ACB = \angle GCB = \angle BCF = \angle BAF
so BB is the midpoint of the arc AEAE (contains FF) of (O)(O) so B,D,VB, D', V are collinear. Similarly, C,D,UC, D', U are collinear. Hence, we have UVBCUV \parallel BC. Since (ω)(\omega) and (O)(O) are tangent, so we have
FDV=FCD+DUV=FCD+DCB=BCF=FGV \angle FD'V = \angle FCD' + \angle D'UV = \angle FCD' + \angle D'CB = \angle BCF = \angle FGV
implies that DFVGD'FVG is cyclic. Similarly DEUGD'EUG is also cyclic. Let DD' be the opposite ray of DGD'G then
FDx=FVG=AVU=AUV=EDx \angle FD'x = \angle FVG = \angle AVU = \angle AUV = \angle EDx
so DD' passes through the midpoint of the major arc EFEF of (O)(O), which is AA'. From here, DDD \equiv D'. Finally, let II be the incenter of triangle AEFAEF and consider Ω\Omega to be the inversion of center AA and power AEAFAE \cdot AF, union to the reflection about AGAG. Then, according to the properties of this transformation which preserve the tangency and the isogonal properties, one can get:
Ω:(I)(ω) and Ω:BC(O)    Ω:JD. \begin{gathered} \Omega : (I) \to (\omega) \text{ and } \Omega : BC \leftrightarrow (O) \\ \implies \Omega : J \leftrightarrow D. \end{gathered}

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 and solution reproduced as published; topic and difficulty added by this site.