Maths Olympiad Prep

Track / Stage 7 / 110 of 300 #2150 of 2604

Problem 2150

National Olympiad second round; IMO P1/P4
Geometry Difficulty 7.2 Prove it Saudi Arabia booklet · Saudi Arabia · 2024

Given a non-isosceles triangle ABCABC, inscribed in circle (O)(O) with X,Y,ZX, Y, Z are midpoints of the major arcs BC,CA,ABBC, CA, AB of (O)(O). Let D,E,FD, E, F be the tangent points of the incircle (I)(I) of ABCABC on BC,CA,ABBC, CA, AB respectively. Suppose that line XEXE intersects (O)(O) again at MM and cuts YDYD at PP; line XFXF intersects (O)(O) again at NN and intersects ZDZD at QQ. Let TT be the intersection of QE,PFQE, PF and XTXT cuts (O)(O) again at KK. Prove that the circumcircle of triangle AOKAOK bisects the segment MNMN.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Let Ia,Ib,IcI_a, I_b, I_c be the ex-center of angle A,B,CA, B, C in triangle ABCABC respectively. Then, it is clear that A,B,CA, B, C are the feet of the altitude in triangle IaIbIcI_a I_b I_c, and X,Y,ZX, Y, Z are the midpoints of the three sides of triangle IaIbIcI_a I_b I_c. Thus AX∥YZAX \parallel YZ. On the other hand, AX⊥AIAX \perp AI and AI⊥EFAI \perp EF imply that EF∥YZEF \parallel YZ. Similarly, we get two triangles DEFDEF and XYZXYZ have three corresponding sides parallel.
Figure 1

According to Thales theorem then
PDPY=DEXY and QDQZ=DFXZ, \frac{PD}{PY} = \frac{DE}{XY} \text{ and } \frac{QD}{QZ} = \frac{DF}{XZ},
but two triangles DEFDEF, XYZXYZ are similar so
DEXY=DFXZ  ⟹  PDPY=QDQZ. \frac{DE}{XY} = \frac{DF}{XZ} \implies \frac{PD}{PY} = \frac{QD}{QZ}.
This shows that YZ∥PQYZ \parallel PQ according to Thales theorem, hence PQ∥EFPQ \parallel EF. Using the trapezoidal lemma, XTXT will bisect the segments EF,PQEF, PQ. On the other hand XA∥EFXA \parallel EF leads to X(AT,EF)=−1X(AT, EF) = -1. Projected onto (O)(O) then one can get the harmonic quadrilateral AMKNAMKN. If the tangent line of (O)(O) at A,KA, K intersects at LL, it is clear that L∈MNL \in MN. Points A,O,K,LA, O, K, L belong to the circle of diameter LOLO, so if (LO)(LO) intersects MNMN at HH, we get ∠OHL=90∘\angle OHL = 90^\circ and HH is the midpoint of MNMN. □\square

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