Maths Olympiad Prep

Library / HMMT February /445 of 1302

HMMT February

Geometry Difficulty 5.1 AIME, harder Find the answer United States

Problem:

Let ABCABC be a triangle whose incircle has center II and is tangent to BC‾\overline{BC}, CA‾\overline{CA}, AB‾\overline{AB}, at D,E,FD, E, F. Denote by XX the midpoint of major arc BAC^\widehat{BAC} of the circumcircle of ABCABC. Suppose PP is a point on line XIXI such that DP‾⊥EF‾\overline{DP} \perp \overline{EF}.
Given that AB=14AB=14, AC=15AC=15, and BC=13BC=13, compute DPDP.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Solution:

455\boxed{\dfrac{4 \sqrt{5}}{5}}

Let HH be the orthocenter of triangle DEFDEF. We claim that PP is the midpoint of DH‾\overline{DH}. Indeed, consider an inversion at the incircle of ABCABC, denoting the inverse of a point with an asterisk. It maps ABCABC to the nine-point circle of △DEF\triangle DEF. According to ∠IAX=90∘\angle IAX = 90^\circ, we have ∠A∗X∗I=90∘\angle A^* X^* I = 90^\circ. Hence line XIXI passes through the point diametrically opposite to A∗A^*, which is the midpoint of DH‾\overline{DH}, as claimed.

The rest is a straightforward computation. The inradius of △ABC\triangle ABC is r=4r = 4. The length of EFEF is given by EF=2AF⋅rAI=165EF = 2 \dfrac{AF \cdot r}{AI} = \dfrac{16}{\sqrt{5}}. Then,
DP2=(12DH)2=14(4r2−EF2)=42−645=165 DP^2 = \left(\frac{1}{2} DH\right)^2 = \frac{1}{4}\left(4r^2 - EF^2\right) = 4^2 - \frac{64}{5} = \frac{16}{5}
Hence DP=455DP = \dfrac{4 \sqrt{5}}{5}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.