Maths Olympiad Prep

Library / /10 of 13

Geometry Difficulty 5.3 AIME, harder Prove it United States

Problem:

Let ABCABC be a triangle with ACB=90\angle ACB = 90^{\circ}. The inscribed circle of ABC\triangle ABC touches sides ACAC and BCBC at DD and EE, respectively. On the circumscribed circle of ABC\triangle ABC, the midpoints of minor arcs ACAC and BCBC are respectively PP and QQ. Prove that DD, EE, PP, and QQ are all collinear.

Solution

Solution:

Let MM be the midpoint of ACAC, let OO be the circumcenter of ABC\triangle ABC, and let FF be the point where the incircle touches ABAB.

Note that CDE\triangle CDE is a right isosceles triangle and therefore CDE=45\angle CDE = 45^{\circ}. Also, PMD\angle PMD is right since OMACOM \perp AC and OMOM passes through PP. Let us prove that PMD\triangle PMD is right isosceles:
PM=OPOM=ABBC2=AF+FBBEEC2=ADDC2=AC2DC2=MCDC=MD. PM = OP - OM = \frac{AB - BC}{2} = \frac{AF + FB - BE - EC}{2} = \frac{AD - DC}{2} = \frac{AC - 2DC}{2} = MC - DC = MD.
Therefore PDM=45\angle PDM = 45^{\circ} and
PDM+MDE=PDM+180CDE=45+18045=180. \angle PDM + \angle MDE = \angle PDM + 180^{\circ} - \angle CDE = 45^{\circ} + 180^{\circ} - 45^{\circ} = 180^{\circ}.
This proves that PP lies on line DEDE. Similarly, we can prove that QQ lies on line DEDE.

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.