Maths Olympiad Prep

Library / /658 of 740

, 2022

Geometry Difficulty 5.5 AIME, harder Prove it United States

Problem:

Consider parallelogram ABCDABCD with AB>BCAB > BC. Point EE on AB\overline{AB} and point FF on CD\overline{CD} are marked such that there exists a circle ω1\omega_1 passing through A,D,E,FA, D, E, F and a circle ω2\omega_2 passing through B,C,E,FB, C, E, F. If ω1,ω2\omega_1, \omega_2 partition BD\overline{BD} into segments BX,XY,YD\overline{BX}, \overline{XY}, \overline{YD} in that order, with lengths 200,9,80200, 9, 80, respectively, compute BCBC.

Solution

Solution:

We want to find AD=BC=EFAD = BC = EF. So, let EFEF intersect BDBD at OO. It is clear that BOEDOF\triangle BOE \sim \triangle DOF. However, we can show by angle chase that BXEDYF\triangle BXE \sim \triangle DYF:
BEG=ADG=CBH=DFH \angle BEG = \angle ADG = \angle CBH = \angle DFH
This means that EF\overline{EF} partitions BD\overline{BD} and XY\overline{XY} into the same proportions, i.e. 200200 to 8080. Now, let a=200a = 200, b=80b = 80, c=9c = 9 to make computation simpler. OO is on the radical axis of ω1,ω2\omega_1, \omega_2 and its power with respect to the two circles can be found to be
(a+aca+b)bca+b=abc(a+b+c)(a+b)2 \left(a + \frac{ac}{a+b}\right) \frac{bc}{a+b} = \frac{abc(a+b+c)}{(a+b)^2}
However, there is now xx for which OE=axOE = a x, OF=bxOF = b x by similarity. This means x2=c(a+b+c)(a+b)2x^2 = \frac{c(a+b+c)}{(a+b)^2}. Notably, we want to find (a+b)x(a+b)x, which is just
c(a+b+c)=9289=51 \sqrt{c(a+b+c)} = \sqrt{9 \cdot 289} = 51

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 reproduced verbatim; metadata (topic, difficulty) added by this project.