Let ABCD be a rectangle with AB>BC and let ω be its circumscribed circle. Let E and F be respectively the intersections (distinct from A) of the bisector of angle BAD with side CD and with circle ω. The perpendicular to DF through E intersects the chord DF at G and the arc DF not containing C at the point H. Prove that: (a) the segments DF and FB have the same length; (b) the triangles DEG and DHG are congruent; (c) the segments HF and FC are equal.
Solution
Solution:
(a) To prove (a) it suffices to show that triangle BDF is isosceles on base BD. Since AF is the bisector of angle BAD, we have FAD=FAB. Moreover, FBD=FAD since they subtend the same arc of the circle, and, for the same reason, FDB=FAB. Hence triangle BDF is isosceles with base BD, since the two angles adjacent to the base FBD and FDB are equal.
(b) Let us now turn to point (b). We know that BAE=AED, as they are alternate interior angles of the two parallel segments AB and CD cut by the transversal AE. Moreover, since BAD is right and AE is its bisector, DAE=AED=45∘. Since the quadrilateral ADHF is inscribed in a circle, DHF=180∘−DAF and the angles DEA and DEF are supplementary, so DEF=DHF.
Now observe that, by construction, EH is perpendicular to DF, so the two triangles DEF and DHF are symmetric with respect to DF and therefore in particular the triangles DEG and DHG are congruent.
(c) Finally, regarding point (c), we begin by observing that from the previous point we have CDF=EDG=GDH=FDH; moreover, the angles FDH and HCF subtend the same arc and are therefore equal, as are the angles FHC and CDF. We deduce that the angles FHC and HCF are equal, so triangle FHC is isosceles with base HC and the segments FC and FH have the same length.
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 translated into English from it; metadata (topic, difficulty) added by this project.