Maths Olympiad Prep

Library / /114 of 377

Geometry Difficulty 4.9 AIME Prove it United States

Problem:
Let ABCABC be a triangle with A=90\angle A = 90^{\circ}, AB=1AB = 1, and AC=2AC = 2. Let \ell be a line through AA perpendicular to BCBC, and let the perpendicular bisectors of ABAB and ACAC meet \ell at EE and FF, respectively. Find the length of segment EFEF.

Solution

Solution:
Answer: 354\frac{3 \sqrt{5}}{4}
Let M,NM, N be the midpoints of ABAB and ACAC, respectively. Then we have EAB=ACB\angle EAB = \angle ACB and EAC=ABC\angle EAC = \angle ABC, so AEMCBAAE=54AEM \sim CBA \Rightarrow AE = \frac{\sqrt{5}}{4} and FANCBAAF=5FAN \sim CBA \Rightarrow AF = \sqrt{5}. Consequently, EF=AFAE=354EF = AF - AE = \frac{3 \sqrt{5}}{4}.

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.