Maths Olympiad Prep

Library / /321 of 377

Geometry Difficulty 5.6 AIME, harder Prove it United States

Problem:

Let ABAB be the diameter of a semicircle Γ\Gamma. Two circles, ω1\omega_1 and ω2\omega_2, externally tangent to each other and internally tangent to Γ\Gamma, are tangent to the line ABAB at PP and QQ, respectively, and to semicircular arc ABAB at CC and DD, respectively, with AP<AQAP < AQ. Suppose FF lies on Γ\Gamma such that FQB=CQA\angle FQB = \angle CQA and that ABF=80\angle ABF = 80^\circ. Find PDQ\angle PDQ in degrees.

Solution

Solution:

Extend the semicircle centered at OO to an entire circle ω\omega, and let the reflection of FF over ABAB be FF'. Then CQFCQF' is a straight line. Also, the homothety centered at CC taking ω1\omega_1 into ω\omega takes PP to a point XX on ω\omega and ABAB to the parallel line tangent to ω\omega at XX. Therefore, XX is the midpoint of semicircle AXBAXB, and CC, PP, and XX lie on a line. Similarly, DD, QQ, and XX lie on a line. So,
45=XCB=PCB=PCQ+QCB=PCQ+10, 45^\circ = \angle XCB = \angle PCB = \angle PCQ + \angle QCB = \angle PCQ + 10^\circ,
since QCB=FCB=FAB=FAB=90ABF=10\angle QCB = \angle F'CB = \angle F'AB = \angle FAB = 90^\circ - \angle ABF = 10^\circ. Thus PCQ=35\angle PCQ = 35^\circ. We will show that PCQ=PDQ\angle PCQ = \angle PDQ to get that PDQ=35\angle PDQ = 35^\circ.

Note that XPQ\angle XPQ subtends the sum of arcs ACAC and BXBX, which is equal to arc XCXC. Therefore XPQ=CDX\angle XPQ = \angle CDX, so CDQPCDQP is cyclic and PCQ=PDQ\angle PCQ = \angle PDQ. The conclusion follows.

Figure 1

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.