Maths Olympiad Prep

Library / /118 of 155

Geometry Difficulty 6.7 National olympiad Prove it Saudi Arabia

Let ABCDABCD be a quadrilateral inscribed a circle (OO). Assume that ABAB and CDCD intersect at EE, ACAC and BDBD intersect at KK, and OO does not belong to the line KEKE. Let GG and HH be the midpoints of ABAB and CDCD respectively. Let (II) be the circumcircle of the triangle GKHGKH. Let (II) and (O)(O) intersect at M,NM, N such that MGHNMGHN is convex quadrilateral. Let PP be the intersection of MGMG and HNHN, QQ be the intersection of MNMN and GHGH.
1. Prove that IKIK and OEOE are parallel.
2. Prove that PKPK is perpendicular to IQIQ.

Solution

Denote FF as the intersection of ADAD, BCBC. Suppose that FKFK intersects ABAB, CDCD at SS, TT respectively. Since the harmonic points of complete quadrilateral, we have (E,T,D,C)=1(E, T, D, C) = -1. Then ETEH=EDECET \cdot EH = ED \cdot EC. Similarly, ESEG=EAEBES \cdot EG = EA \cdot EB. But EAEB=EDECEA \cdot EB = ED \cdot EC then ESEG=ETEHES \cdot EG = ET \cdot EH which implies that G,H,T,SG, H, T, S are concyclic.

Figure 1

Denote QQ' as the midpoint of FKFK then QQ', GG, HH belong to the Gauss line of the complete quadrilateral AFBKCDAFBKCD. We shall prove that QQ' belongs to the radical axis of (O),(I)(O), (I).
It is easy to see that EKEK is the antipole of FF then denote EK(O)={X,Y}EK \cap (O) = \{X, Y\} then FXFX, FYFY are the tangent lines of (O)(O). Let U,VU, V be midpoints of FXFX, FYFY.
We consider the power of point to circle (O)(O) and degenerate circle FF.
PU/(O)=UX2,PU/(F)=UF2 \mathscr{P}_{U/(O)} = UX^2, \quad \mathscr{P}_{U/(F)} = UF^2
but UX=UFUX = UF then PU/(O)=PU/(F)\mathscr{P}_{U/(O)} = \mathscr{P}_{U/(F)}. This implies that UU belongs to the radical axis of (O),(F)(O), (F). Similarly with the point VV then UVUV is the radical axis of (O),(F)(O), (F). But QUVQ' \in UV which is the midline of triangle FXYFXY, then
PQ/(F)=PQ/(O)PQ/(O)=QF2=QK2=QSQT=QGQH=PQ/(I). \mathscr{P}_{Q'/(F)} = \mathscr{P}_{Q'/(O)} \Leftrightarrow \mathscr{P}_{Q'/(O)} = Q'F^2 = Q'K^2 = Q'S \cdot Q'T = Q'G \cdot Q'H = \mathscr{P}_{Q'/(I)}.
Then QQ' belongs to the radical axis of (I),(O)(I), (O) which means QMNQ' \in MN or QQQ' \equiv Q.
Thus QK2=PQ/(I)QK^2 = \mathscr{P}_{Q/(I)} implies that QKQK is the tangent line of (I)(I). Hence, QKKIQK \perp KI.
Using the Brocard's theorem, we have KK is the orthocenter of triangle OEFOEF then EOFKEO \perp FK. Combining all these results, we get EOIKEO \parallel IK.

2) Two lines pass through QQ and intersect (I)(I) at M,NM, N and G,HG, H then PP is the intersection of MGMG, NHNH which means PP belongs to the antipole of QQ.
Note that QKQK is tangent to (I)(I) which means KK also belong to the antipole of the pole QQ respect to circle (I)(I).
Then PKPK is the antipole of QQ respect to the circle (I)(I). This implies that PKIQPK \perp IQ.

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.