Maths Olympiad Prep

Library / /20 of 30

Geometry Difficulty 6.4 National Olympiad Prove it Italy

Problem:

Let ABCDABCD be a rectangle with AB>BCAB > BC and let ω\omega be its circumscribed circle. Let EE and FF be respectively the intersections (distinct from AA) of the bisector of angle BAD^\widehat{BAD} with side CDCD and with circle ω\omega. The perpendicular to DFDF through EE intersects the chord DFDF at GG and the arc DFDF not containing CC at the point HH. Prove that:
(a) the segments DFDF and FBFB have the same length;
(b) the triangles DEGDEG and DHGDHG are congruent;
(c) the segments HFHF and FCFC are equal.

Solution

Solution:

(a) To prove (a) it suffices to show that triangle BDFBDF is isosceles on base BDBD. Since AFAF is the bisector of angle BAD^\widehat{BAD}, we have FAD^=FAB^\widehat{FAD} = \widehat{FAB}. Moreover, FBD^=FAD^\widehat{FBD} = \widehat{FAD} since they subtend the same arc of the circle, and, for the same reason, FDB^=FAB^\widehat{FDB} = \widehat{FAB}. Hence triangle BDFBDF is isosceles with base BDBD, since the two angles adjacent to the base FBD^\widehat{FBD} and FDB^\widehat{FDB} are equal.

(b) Let us now turn to point (b). We know that BAE^=AED^\widehat{BAE} = \widehat{AED}, as they are alternate interior angles of the two parallel segments ABAB and CDCD cut by the transversal AEAE. Moreover, since BAD^\widehat{BAD} is right and AEAE is its bisector, DAE^=AED^=45\widehat{DAE} = \widehat{AED} = 45^\circ. Since the quadrilateral ADHFADHF is inscribed in a circle, DHF^=180DAF^\widehat{DHF} = 180^\circ - \widehat{DAF} and the angles DEA^\widehat{DEA} and DEF^\widehat{DEF} are supplementary, so DEF^=DHF^\widehat{DEF} = \widehat{DHF}.

Figure 1

Now observe that, by construction, EHEH is perpendicular to DFDF, so the two triangles DEFDEF and DHFDHF are symmetric with respect to DFDF and therefore in particular the triangles DEGDEG and DHGDHG are congruent.

(c) Finally, regarding point (c), we begin by observing that from the previous point we have
CDF^=EDG^=GDH^=FDH^; \widehat{CDF} = \widehat{EDG} = \widehat{GDH} = \widehat{FDH} \text{;}
moreover, the angles FDH^\widehat{FDH} and HCF^\widehat{HCF} subtend the same arc and are therefore equal, as are the angles FHC^\widehat{FHC} and CDF^\widehat{CDF}. We deduce that the angles FHC^\widehat{FHC} and HCF^\widehat{HCF} are equal, so triangle FHCFHC is isosceles with base HCHC and the segments FCFC and FHFH 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.