Maths Olympiad Prep

Library / /489 of 1394

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 DPEF\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 AXI=90\angle A^* X^* I = 90^\circ. Hence line XIXI passes through the point diametrically opposite to AA^*, 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=2AFrAI=165EF = 2 \dfrac{AF \cdot r}{AI} = \dfrac{16}{\sqrt{5}}. Then,
DP2=(12DH)2=14(4r2EF2)=42645=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,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.