Maths Olympiad Prep

Library / /190 of 299

Geometry Difficulty 6.8 National Olympiad Prove it Iran

Point DD is the intersection point of the angle bisector of vertex AA with side BCBC of triangle ABCABC, and point EE is the tangency point of the inscribed circle of triangle ABCABC with side BCBC. A1A_1 is a point on the circumcircle of triangle ABCABC such that AA1BCAA_1 \parallel BC. If we denote by TT the second intersection point of line EA1EA_1 with the circumcircle of triangle AEDAED and by II the incenter of triangle ABCABC, prove that IT=IAIT = IA.

Solution

Let E1E_1 be the reflection of EE with respect to the midpoint of BCBC and XX the intersection point of AE1AE_1 and EA1EA_1. We claim that IXBCIX \parallel BC. For this reason, we have (Suppose that RR is the radius of circumcircle of ABCABC and BC\angle B \geq \angle C).
AXXE1=AA1EE1=AA1ACABAIIE=ABBD=ACCD=AB+ACBC \begin{aligned} \frac{AX}{XE_1} &= \frac{AA_1}{EE_1} = \frac{AA_1}{AC - AB} \\ \frac{AI}{IE} &= \frac{AB}{BD} = \frac{AC}{CD} = \frac{AB + AC}{BC} \end{aligned}
So referring to the Thales' Theorem, we must prove AA1BC=AC2AB2AA_1 \cdot BC = AC^2 - AB^2.
We have AA1=BC2BH=BC2ABcos(B)AA_1 = BC - 2BH = BC - 2AB \cdot \cos(\angle B), where HH is the foot of perpendicular from AA to BCBC and on the other hand, by The Law of Cosines we have AC2AB2=BC22ABBCcos(B)AC^2 - AB^2 = BC^2 - 2AB \cdot BC \cos(\angle B). Therefore, the claim is proved.
Now since the quadrilateral DEATDEAT is cyclic and AA1IXAA_1 \parallel IX, we get that the quadrilateral IATXIATX is cyclic. Also, since pairs (E,E1)(E, E_1) and (A,A1)(A, A_1) are symmetric with respect to the perpendicular bisector of the side BCBC, we have XE=XE1XE = XE_1 and so
ATI=AXI=XE1E=XEE1=IXE=TAI \angle ATI = \angle AXI = \angle XE_1E = \angle XEE_1 = \angle IXE = \angle TAI
Thus, IT=IAIT = IA.

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.