9. (20 points) From point D, the midpoint of the base BC of isosceles triangle ABC, a perpendicular DE is dropped to the lateral side AC. The circumcircle of triangle ABD intersects line BE at points B and F. Prove that line AF passes through the midpoint of segment DE.
Solution
Solution: In the right triangle ACD:∠ADE=90∘−∠CDE=∠ACD=∠ABD. It follows that DE is a tangent to the circumcircle of triangle ABD. Then GD2=GF⋅GA, where G is the intersection point of lines DE and AF. ∠AFB=∠ADB=90∘ - as inscribed angles subtending the same arc. In the right triangle AEG, segment EF is the altitude. GEGF=cos∠AGE=AGGE⇒GE2=GF⋅GA=GD2.
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: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.