Maths Olympiad Prep

Library / Saudi Arabia booklet /13 of 13

Saudi Arabia booklet, 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 AA′∥BCAA' \parallel BC then since MA′=MA=MGMA' = MA = MG implies that G,M,A′G, M, A' are collinear. On the other hand, since
A′(AD,BC)=−1 and AA′∥BC, 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 A′A'. Since K,O,A′K, O, A' are also collinear, A′A' is the midpoint of the major arc EFEF of the circle (O)(O). Then, KK is the center of the circumcircle of GEFGEF and A′E⊥KEA'E \perp KE, A′F⊥KFA'F \perp KF so A′A' 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 D′U,D′VD'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 UV∥BCUV \parallel BC. Since (ω)(\omega) and (O)(O) are tangent, so we have
∠FD′V=∠FCD′+∠D′UV=∠FCD′+∠D′CB=∠BCF=∠FGV \angle FD'V = \angle FCD' + \angle D'UV = \angle FCD' + \angle D'CB = \angle BCF = \angle FGV
implies that D′FVGD'FVG is cyclic. Similarly D′EUGD'EUG is also cyclic. Let D′D' be the opposite ray of D′GD'G then
∠FD′x=∠FVG=∠AVU=∠AUV=∠EDx \angle FD'x = \angle FVG = \angle AVU = \angle AUV = \angle EDx
so D′D' passes through the midpoint of the major arc EFEF of (O)(O), which is A′A'. From here, D≡D′D \equiv D'. Finally, let II be the incenter of triangle AEFAEF and consider Ω\Omega to be the inversion of center AA and power AE⋅AFAE \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)  ⟹  Ω:J↔D. \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.