Maths Olympiad Prep

Library / /28 of 38

Geometry Difficulty 7.0 National olympiad Prove it China

Let EFGHEFGH, ADCADC and E1F1G1H1E_1F_1G_1H_1 be three convex quadrilaterals, satisfying:
(a) Points EE, FF, GG and HH lie on sides ABAB, BCBC, CDCD and DADA, respectively, and AEEBBFFCCGGDDHHA=1\frac{AE}{EB} \cdot \frac{BF}{FC} \cdot \frac{CG}{GD} \cdot \frac{DH}{HA} = 1;
(b) points AA, BB, CC and DD lie on sides H1E1H_1E_1, E1F1E_1F_1, F1G1F_1G_1 and G1H1G_1H_1, respectively, and E1F1EFE_1F_1 \parallel EF, F1G1FGF_1G_1 \parallel FG, G1H1GHG_1H_1 \parallel GH, H1E1HEH_1E_1 \parallel HE.
Suppose E1AAH1=λ\frac{E_1A}{AH_1} = \lambda, find the expression of F1CCG1\frac{F_1C}{CG_1} in terms of λ\lambda. (posed by Xiong Bin)

Solution

(1) If EFACEF \parallel AC, then BEEA=BFFC\frac{BE}{EA} = \frac{BF}{FC}.
So DHHA=DGGC\frac{DH}{HA} = \frac{DG}{GC} using condition (a). Then HGACHG \parallel AC, giving E1F1ACH1G1E_1F_1 \parallel AC \parallel H_1G_1. That
Figure 1
means F1CCG1=E1AAH1=λ\frac{F_1C}{CG_1} = \frac{E_1A}{AH_1} = \lambda.

(2) If EFEF is not parallel to ACAC, extend lines EFEF and ACAC to meet at point TT. By Menelaus' Theorem, we have CFFBBEEAATTC=1\frac{CF}{FB} \cdot \frac{BE}{EA} \cdot \frac{AT}{TC} = 1, and then CGGDDHHAATTC=1\frac{CG}{GD} \cdot \frac{DH}{HA} \cdot \frac{AT}{TC} = 1 using condition (a). By the inverse of Menelaus' Theorem, we know that points TT, HH and GG are collinear. Suppose lines TFTF and TGTG meet line E1H1E_1H_1 at MM and NN respectively. As EB1EFEB_1 \parallel EF, we get E1A=BAEAAME_1A = \frac{BA}{EA} \cdot AM. In the same way, we get H1A=ADAHANH_1A = \frac{AD}{AH} \cdot AN. Then
Figure 2
E1AH1A=AMANABAEAHAD.1 \frac{E_1A}{H_1A} = \frac{AM}{AN} \cdot \frac{AB}{AE} \cdot \frac{AH}{AD}. \qquad \textcircled{1}
On the other hand, AMAN=EQQH=AECAHC=ABCADCAEABADAH.2 \text{On the other hand, } \frac{AM}{AN} = \frac{EQ}{QH} = \frac{\triangle AEC}{\triangle AHC} = \frac{\triangle ABC}{\triangle ADC} \cdot \frac{AE}{AB} \cdot \frac{AD}{AH}. \qquad \textcircled{2}
From ①, ② we get E1AH1A=EQQHABAEAHAD=ABCADC\frac{E_1A}{H_1A} = \frac{EQ}{QH} \cdot \frac{AB}{AE} \cdot \frac{AH}{AD} = \frac{\triangle ABC}{\triangle ADC}. In the same way,
F1CCG1=ABCADC. \frac{F_1C}{CG_1} = \frac{\triangle ABC}{\triangle ADC}.
So F1CCG1=E1AAH1=λ. \text{So } \frac{F_1C}{CG_1} = \frac{E_1A}{AH_1} = \lambda.

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.