Competition problem — Geometry — Maths Olympiad Prep

Library / /4 of 14

Geometry Difficulty 5.0 AIME, harder Prove it Bulgaria

Given is an acute triangle $ABC$ with incenter $I$ and the incircle touches $BC$ , $CA$ , $AB$ at $D$ , $E$ , $F$ . The circle with center $C$ and radius $CE$ meets $EF$ for the second time at $K$ . If $X$ is the $C$ -excircle touchpoint with $AB$ , show that $CX$ , $KD$ , $IF$ concur.
(Kristyan Vasilev)

Solution

We claim the concurrency point is the $F$ -antipode $F'$ . It is well-known that this is $\overline{CX} \cap \overline{IF}$ .
Let $P = \overline{EF} \cap \overline{DF'}$ and $Q = \overline{DF} \cap \overline{EF'}$ . Then since $\angle PEQ = \angle PDQ = 90^\circ$ , $DEPQ$ is cyclic.
Now, we have
$\begin{aligned} \angle EFD &= \angle EFF' = 90^\circ - \angle PF'E = 90^\circ - \angle DFE \\ &= -90^\circ + \left( 90^\circ - \frac{\angle A}{2} \right) + \left( 90^\circ - \frac{\angle B}{2} \right) = \frac{\angle C}{2}, \end{aligned}$
so the center of ( $DEPQ$ ) lies on ( $CDE$ ) (and is on the same side of $\overline{DE}$ as $C$ ). On the other hand, it also lies on the perpendicular bisector of $\overline{DE}$ , so it must be $C$ itself. This gives us $P = K$ , and the conclusion follows. $\square$

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 and solution reproduced as published; topic and difficulty added by this site.