Let ABC be a triangle with ∠ABC=90∘. Points D and E on AC and BC respectively satisfy BD⊥AC and DE⊥BC. The circumcircle of △CDE intersects AE at two points, E and F. Prove that BF⊥AE.
Solution
Solution:
By Power of a Point, AF⋅AE=AD⋅AC because △ABC is right, AD⋅AC=AB2 Combining, AF⋅AE=AB2. On the other hand, if F′ is the foot of the altitude from B to AE, then AF′⋅AE=AB2 Consequently AF′=AF and F′=F.
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.