Maths Olympiad Prep

Library / /2 of 18

Geometry Difficulty 4.7 AIME Prove it United States

Problem:

Let ABCABC be a triangle with ABC=90\angle ABC = 90^{\circ}. Points DD and EE on ACAC and BCBC respectively satisfy BDACBD \perp AC and DEBCDE \perp BC. The circumcircle of CDE\triangle CDE intersects AEAE at two points, EE and FF. Prove that BFAEBF \perp AE.

Solution

Solution:

By Power of a Point,
AFAE=ADAC AF \cdot AE = AD \cdot AC
because ABC\triangle ABC is right,
ADAC=AB2 AD \cdot AC = AB^2
Combining,
AFAE=AB2. AF \cdot AE = AB^2.
On the other hand, if FF' is the foot of the altitude from BB to AEAE, then
AFAE=AB2 AF' \cdot AE = AB^2
Consequently AF=AFAF' = AF and F=FF' = F.

Figure 1

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.