Maths Olympiad Prep

Library / /13 of 20

Geometry Difficulty 6.2 National olympiad Prove it Greece

In a convex quadrilateral ABCDABCD, its diagonals meet at EE and HH, GG are the midpoints of the sides ADAD, BCBC, respectively. The circumcircles c1c_1 and c2c_2, of the triangles AEBAEB and DECDEC, respectively, meet at point FEF \neq E. If the parallel from EE to the line HGHG meets the circle c2c_2 at SS, prove that: FSCDFS \parallel CD.

Solutions — 2

Solution 1

In order to prove FSCDFS \parallel CD, it suffices FC=SDFC = SD, or SC^D=FE^CS\hat{C}D = F\hat{E}C. From the cyclic SEDCSEDC and FSCDFS \parallel CD we get
SC^D=BE^S=BI^G, S\hat{C}D = B\hat{E}S = B\hat{I}G,
where II is the point of intersection of HGHG and BDBD.
It suffices to prove that: BI^G=FE^CB\hat{I}G = F\hat{E}C. Angle chasing gives
AF^B=AE^B=DE^C=DF^C and BA^F=BE^F=FC^D. A\hat{F}B = A\hat{E}B = D\hat{E}C = D\hat{F}C \text{ and } B\hat{A}F = B\hat{E}F = F\hat{C}D.
Figure 1
Figure 8
This means that AFBAFB and CFDCFD are similar with AB^F=FD^CA\hat{B}F = F\hat{D}C. Moreover,
DB^F=CA^F and BF^D=AF^D, D\hat{B}F = C\hat{A}F \text{ and } B\hat{F}D = A\hat{F}D,
where the triangles AFCAFC and BFDBFD are similar with similarity ratio
AC/BD=AF/BF. AC/BD = AF/BF.
If KK is the midpoint of ABAB, then the triangle HKGHKG has KHBDKH \parallel BD, KGACKG \parallel AC with
KG/KH=AC/BD=AF/BF and HK^G=AE^B=AF^B. KG/KH = AC/BD = AF/BF \text{ and } H\hat{K}G = A\hat{E}B = A\hat{F}B.
Therefore, the triangle GKHGKH is similar to AFBAFB, and so
KH^G=AB^F=FD^C=FE^C. K\hat{H}G = A\hat{B}F = F\hat{D}C = F\hat{E}C.

Figure 1
Figure 8

Solution 2

As in the first solution, it suffices to prove that: BI^G=FE^CB\hat{I}G = F\hat{E}C. Let MM, NN be the projections of FF to ABAB, BDBD, respectively. Then the line MNMN is a Simpson line of the complete quadrilateral and HGHG is the Newton-Gauss line. It is well-known that they are perpendicular. Therefore
BI^G=HI^N=90MN^B=90MF^B=MB^F=FE^C, B\hat{I}G = H\hat{I}N = 90^\circ - M\hat{N}B = 90^\circ - M\hat{F}B = M\hat{B}F = F\hat{E}C,
where in the third equality we used that MNFBMNFB is cyclic and in the last we used that AEFBAEFB is cyclic.

Figure 2
Figure 9

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.