Maths Olympiad Prep

Library / /41 of 55

, 2016

Geometry Difficulty 8.9 Shortlist Prove it IMO

In a convex pentagon ABCDEA B C D E, let FF be a point on ACA C such that FBC=90\angle F B C = 90^{\circ}. Suppose triangles ABFA B F, ACDA C D and ADEA D E are similar isosceles triangles with
FAB=FBA=DAC=DCA=EAD=EDA. \angle F A B = \angle F B A = \angle D A C = \angle D C A = \angle E A D = \angle E D A.
Let MM be the midpoint of CFC F. Point XX is chosen such that AMXEA M X E is a parallelogram. Show that BDB D, EME M and FXF X are concurrent.

Solutions — 3

Solution 1

Denote the common angle in (1) by θ\theta. As ABFACD\triangle A B F \sim \triangle A C D, we have ABAC=AFAD\frac{A B}{A C} = \frac{A F}{A D} so that ABCAFD\triangle A B C \sim \triangle A F D. From EA=EDE A = E D, we get
AFD=ABC=90+θ=18012AED. \angle A F D = \angle A B C = 90^{\circ} + \theta = 180^{\circ} - \frac{1}{2} \angle A E D.
Hence, FF lies on the circle with centre EE and radius EAE A. In particular, EF=EA=EDE F = E A = E D. As EFA=EAF=2θ=BFC\angle E F A = \angle E A F = 2 \theta = \angle B F C, points B,F,EB, F, E are collinear.
As EDA=MAD\angle E D A = \angle M A D, we have EDAME D \parallel A M and hence E,D,XE, D, X are collinear. As MM is the midpoint of CFC F and CBF=90\angle C B F = 90^{\circ}, we get MF=MBM F = M B. In the isosceles triangles EFAE F A and MFBM F B, we have EFA=MFB\angle E F A = \angle M F B and AF=BFA F = B F. Therefore, they are congruent to each other. Then we have BM=AE=XMB M = A E = X M and BE=BF+FE=AF+FM=AM=EXB E = B F + F E = A F + F M = A M = E X. This shows EMBEMX\triangle E M B \cong \triangle E M X. As FF and DD lie on EBE B and EXE X respectively and EF=EDE F = E D, we know that lines BDB D and XFX F are symmetric with respect to EME M. It follows that the three lines are concurrent.

Solution 2

From CAD=EDA\angle C A D = \angle E D A, we have ACEDA C \parallel E D. Together with ACEXA C \parallel E X, we know that E,D,XE, D, X are collinear. Denote the common angle in (1) by θ\theta. From ABFACD\triangle A B F \sim \triangle A C D, we get ABAC=AFAD\frac{A B}{A C} = \frac{A F}{A D} so that ABCAFD\triangle A B C \sim \triangle A F D. This yields AFD=ABC=90+θ\angle A F D = \angle A B C = 90^{\circ} + \theta and hence FDC=90\angle F D C = 90^{\circ}, implying that BCDFB C D F is cyclic. Let Γ1\Gamma_{1} be its circumcircle.
Next, from ABFADE\triangle A B F \sim \triangle A D E, we have ABAD=AFAE\frac{A B}{A D} = \frac{A F}{A E} so that ABDAFE\triangle A B D \sim \triangle A F E. Therefore,
AFE=ABD=θ+FBD=θ+FCD=2θ=180BFA. \angle A F E = \angle A B D = \theta + \angle F B D = \theta + \angle F C D = 2 \theta = 180^{\circ} - \angle B F A.
This implies B,F,EB, F, E are collinear. Note that FF is the incentre of triangle DABD A B. Point EE lies on the internal angle bisector of DBA\angle D B A and lies on the perpendicular bisector of ADA D. It follows that EE lies on the circumcircle Γ2\Gamma_{2} of triangle ABDA B D, and EA=EF=EDE A = E F = E D.
Also, since CFC F is a diameter of Γ1\Gamma_{1} and MM is the midpoint of CFC F, MM is the centre of Γ1\Gamma_{1} and hence AMD=2θ=ABD\angle A M D = 2 \theta = \angle A B D. This shows MM lies on Γ2\Gamma_{2}. Next, MDX=MAE=DXM\angle M D X = \angle M A E = \angle D X M since AMXEA M X E is a parallelogram. Hence MD=MXM D = M X and XX lies on Γ1\Gamma_{1}.
Figure 1
We now have two ways to complete the solution.
- Method 1. From EF=EA=XME F = E A = X M and EXFME X \parallel F M, EFMXE F M X is an isosceles trapezoid and is cyclic. Denote its circumcircle by Γ3\Gamma_{3}. Since BDB D, EME M, FXF X are the three radical axes of Γ1\Gamma_{1}, Γ2\Gamma_{2}, Γ3\Gamma_{3}, they must be concurrent.
- Method 2. As DMF=2θ=BFM\angle D M F = 2 \theta = \angle B F M, we have DMEBD M \parallel E B. Also,
BFD+XBF=BFC+CFD+90CBX=2θ+(90θ)+90θ=180 \angle B F D + \angle X B F = \angle B F C + \angle C F D + 90^{\circ} - \angle C B X = 2 \theta + (90^{\circ} - \theta) + 90^{\circ} - \theta = 180^{\circ}
implies DFXBD F \parallel X B. These show the corresponding sides of triangles DMFD M F and BEXB E X are parallel. By Desargues' Theorem, the two triangles are perspective and hence DBD B, MEM E, FXF X meet at a point.

Solution 3

Let the common angle in (1) be θ\theta. From ABFACD\triangle A B F \sim \triangle A C D, we have ABAC=AFAD\frac{A B}{A C} = \frac{A F}{A D} so that ABCAFD\triangle A B C \sim \triangle A F D. Then ADF=ACB=902θ=90BAD\angle A D F = \angle A C B = 90^{\circ} - 2 \theta = 90^{\circ} - \angle B A D and hence DFABD F \perp A B. As FA=FBF A = F B, this implies DAB\triangle D A B is isosceles with DA=DBD A = D B. Then FF is the incentre of DAB\triangle D A B.
Next, from AED=1802θ=180DBA\angle A E D = 180^{\circ} - 2 \theta = 180^{\circ} - \angle D B A, points A,B,D,EA, B, D, E are concyclic. Since we also have EA=EDE A = E D, this shows E,F,BE, F, B are collinear and EA=EF=EDE A = E F = E D.
Figure 2
Note that CC lies on the internal angle bisector of BAD\angle B A D and lies on the external angle bisector of DBA\angle D B A. It follows that it is the AA-excentre of triangle DABD A B. As MM is the midpoint of CFC F, MM lies on the circumcircle of triangle DABD A B and it is the centre of the circle passing through D,F,B,CD, F, B, C. By symmetry, DEFMD E F M is a rhombus. Then the midpoints of AXA X, EME M and DFD F coincide, and it follows that DAFXD A F X is a parallelogram.
Let PP be the intersection of BDB D and EME M, and QQ be the intersection of ADA D and BEB E. From BAC=DCA\angle B A C = \angle D C A, we know that DCD C, ABA B, EME M are parallel. Thus we have DPPB=CMMA\frac{D P}{P B} = \frac{C M}{M A}. This is further equal to AEBE\frac{A E}{B E} since CM=DM=DE=AEC M = D M = D E = A E and MA=BEM A = B E. From AEQBEA\triangle A E Q \sim \triangle B E A, we find that
DPPB=AEBE=AQBA=QFFB \frac{D P}{P B} = \frac{A E}{B E} = \frac{A Q}{B A} = \frac{Q F}{F B}
by the Angle Bisector Theorem. This implies QDFPQ D \parallel F P and hence F,P,XF, P, X are collinear, as desired.

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.