Olympiad Maths Prep

Track / Stage 9 / 73 of 80 #1953 of 2000

Problem 1953

IMO P2/P5; hard shortlist
Geometry Difficulty 9.2 Prove it IMO Team Selection Test · Vietnam

Let ABCDABCD be a parallelogram and ACAC intersects BDBD at II. Let GG be the point inside triangle IABIAB that satisfies
IAG=IBG45AIB4. \angle IAG = \angle IBG \neq 45^\circ - \frac{\angle AIB}{4}.
Let E,FE, F be projections of CC on AGAG and DD on BGBG. The median respect to vertex EE of triangle BEFBEF and the median respect to vertex FF of triangle AEFAEF intersects at HH.

a) Prove that AF,BEAF, BE and IHIH are concurrent, denote the concurrent point by LL.

b) Let KK be the intersection of CECE and DFDF. Let JJ be the circumcenter of triangle LABLAB and M,NM, N be the circumcenters of EIJ,FIJEIJ, FIJ, respectively. Prove that EM,FNEM, FN and the line passing through the circumcenters of GAB,KCDGAB, KCD are concurrent.

Figure 1

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

a) Let EE', FF' be the midpoints of AEAE, BFBF. Note that triangles DFBDFB and CEACEA are right at FF, EE and II is the midpoint of BDBD and ACAC then triangles IBFIBF, ICEICE are isosceles at II. On the other hand, because GAI=GBI\angle GAI = \angle GBI then IFBIAE\triangle IFB \sim \triangle IAE, which implies
IEE=AIE2=BIF2=FIF \angle IE'E = \frac{\angle AIE}{2} = \frac{\angle BIF}{2} = \angle F'IF
or IEIE', IFIF' are isogonal with respect to EIF\angle EIF.

Therefore, we get
I(HE,FE)=E(HE,FI)=E(FG,FI)=I(FG,FE)=I(GF,EF). \begin{aligned} I(HE', FE) &= E(HE', FI) = E(F'G, FI) \\ &= I(F'G, FE) = I(GF', EF). \end{aligned}
Combining with IEIE', IFIF' are isogonal with respect to EIF\angle EIF, we obtain that IGIG, IHIH are isogonal with respect to EIF\angle EIF, or AIB\angle AIB. Hence, it suffices to show that if AFAF meets BEBE at LL then ILIL, IGIG are isogonal with respect to AIB\angle AIB. It is clear that
IAFIEB, \triangle IAF \stackrel{\perp}{\sim} \triangle IEB,
then
(LA,LB)(IF,IB)(IA,IE)(modπ), (LA, LB) \equiv (IF, IB) \equiv (IA, IE) \pmod{\pi},
which means LL lies on (IAE)(IAE) and (IBF)(IBF). Let GG' be the intersection of ILIL and the circumcircle of triangle LABLAB, we obtain that
GAB=GLB=ILB=IAE, \angle G'AB = \angle G'LB = \angle ILB = \angle IAE,
which implies that AGAG, AGAG' are isogonal with respect to IAB\angle IAB.
Similarly, we can point out that BGBG', BGBG are isogonal with respect to IBA\angle IBA then GG' is the isogonal conjugate of GG in triangle IABIAB. Hence, IGIG, ILIL are isogonal with respect to AIB\angle AIB.

b) Firstly, we will prove the following lemmas

Lemma 1. Denote OO to be the circumcenter of triangle GABGAB then IO,ILIO, IL are isogonal with respect to AIB\angle AIB.
Figure 2
*Proof*. The circumcircle of triangle GABG'AB meets IB,IAIB, IA at A1,B1A_1, B_1 respectively. By angle chasing, we have
GA1I=GLB=GAB=GAI. \angle G'A_1I = \angle G'LB = \angle G'AB = \angle GAI.
Note that A1B1A_1B_1 and ABAB are isogonal with respect to AIB\angle AIB, then
IGA1IGA,IABIA1B1. \triangle IG'A_1 \sim \triangle IGA, \triangle IAB \sim \triangle IA_1B_1.
Because O,JO, J are the circumcenters of triangle GAB,GA1B1GAB, G'A_1B_1 then
IABIA1B1, \triangle IAB \sim \triangle IA_1B_1,
in which G,OG, O are corresponding to G,JG', J, implies that IO,IJIO,IJ are isogonal with respect to AIB\angle AIB. \square

Lemma 2. IJEFIJ \perp EF and the lines IX,IJIX, IJ are isogonal with respect to AIB\angle AIB.
Figure 3
*Proof*. Let O1,O2O_1, O_2 and O3O_3 be the circumcenters of triangles LEF,LAELEF, LAE and LAFLAF. It is clear that
O1O2O3=ILE=IAE=IBF=ILE=JO2O3 \angle O_1O_2O_3 = \angle ILE = \angle IAE = \angle IBF = \angle ILE = \angle JO_2O_3
or O2O3O_2O_3 is the bisector of O1O2J\angle O_1O_2J and LILI is the bisector of ELF\angle ELF. Similarly, O3O2O_3O_2 is the bisector O1O3J\angle O_1O_3J, hence O1O_1 is the reflection of JJ with respect to O2O3O_2O_3. On the other hand, because LILI is the common chord of (O2)(O_2) and (O3)(O_3) then LL is the reflection of II with respect to O2O3O_2O_3. Therefore, LIO1JLIO_1J is an isosceles trapezoid, which means the reflection of JIJI with respect to the bisector LILI of LEF\angle LEF passes through the circumcenter of triangle ELFELF, or IJEFIJ \perp EF.
Let JJ' be the reflection of JJ with respect to EFEF, it is clear that
JFE=JFE=90IJF=NFE=XFE \angle J'FE = \angle JFE = 90^\circ - \angle IJF = \angle NFE = \angle XFE
or FJFJ', FXFX are isogonal with respect to IFE\angle IFE. Similarly, EJEJ', EXEX are isogonal with respect to IEF\angle IEF, which means IXIX, IJIJ' are isogonal with respect to EIF\angle EIF or AIB\angle AIB. \square

Combining these two lemmas, we obtain that IOIO passes through XX or IOIO, EMEM and FNFN are concurrent. To finish this problem, we need to point out that IOIO passes through the circumcenter of triangle KCDKCD.
Let GG' be the reflection of GG over II, then GCGAG'C \parallel GA or GCKCG'C \perp KC. Similarly, GDKDG'D \perp KD or GKG'K is the diameter of (KCDKCD). Therefore, the reflection of GG over II lies on (KCDKCD), or (KCDKCD) and (GABGAB) are symmetric with respect to II, which means IOIO passes through the circumcenter of triangle KCDKCD. \square

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.