Maths Olympiad Prep

Library / /254 of 520

Geometry Difficulty 6.5 National olympiad Prove it

Let ABCABC be a right triangle with \varangleACB=γ=90\varangle ACB = \gamma = 90^{\circ}. Furthermore, let HH be the foot of the altitude from CC to ABAB.
Now, we choose a point DD inside the triangle HBCHBC such that CHCH bisects the segment ADAD, and denote the intersection of CHCH and BDBD by PP. We construct the semicircle kk with BDBD as its diameter, which is intersected by BCBC. A line through PP is tangent to kk at the point QQ. Prove that the lines CQCQ and ADAD always intersect on kk.

Solution

Let KK be the foot of the perpendicular from DD to ABAB and TT the intersection of ADAD with kk. Since \varangleATB=\varangleACB=90\varangle A T B = \varangle A C B = 90^{\circ}, TT also lies on the circumcircle of ABCABC. Because CHDKC H \| D K, it follows that AH=HK|A H| = |H K|.
!

To prove that C,QC, Q, and TT are collinear, we consider the intersection QQ' of CTCT with kk and need only show that PQkP Q' k is tangent, or that \varanglePQD=\varangleQBD\varangle P Q' D = \varangle Q' B D.
Since BTQDB T Q' D is a cyclic quadrilateral and the triangles AHCA H C and HKCH K C are congruent, we have
\varangleQBD=\varangleQTD=\varangleCTA=\varangleCBA=\varangleACH=\varangleHCK\varangle Q' B D = \varangle Q' T D = \varangle C T A = \varangle C B A = \varangle A C H = \varangle H C K. Therefore, the right triangles CHKC H K and BQDB Q' D are similar, which implies HK/CK=QD/BD|H K| / |C K| = |Q' D| / |B D|, hence HKBD=CKQD|H K| \cdot |B D| = |C K| \cdot |Q' D| (1). Since PHDKP H \| D K, we have PD/BD=HK/BK|P D| / |B D| = |H K| / |B K|, thus PDBK=HKBD|P D| \cdot |B K| = |H K| \cdot |B D| (2). Comparing (1) and (2) leads to PDBK=CKQD|P D| \cdot |B K| = |C K| \cdot |Q' D| and thus PD/QD=CK/BK|P D| / |Q' D| = |C K| / |B K|. Therefore, and because \varangleCKA=\varangleKAC=\varangleBDQ\varangle C K A = \varangle K A C = \varangle B D Q', the triangles CKBC K B and PDQP D Q' are similar. Hence, \varanglePQD=\varangleCBA=\varangleQBD\varangle P Q' D = \varangle C B A = \varangle Q' B D, which is what we needed to show.

Hint: A pure angle chase does not lead to the goal; however, there are other proof possibilities, such as utilizing a suitable homothety with center BB.

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.