MathLabs

Problem 2

A non-isosceles triangle A1A2A3A_1A_2A_3 has sides a1a_1, a2a_2, a3a_3 with the side aia_i lying opposite to the vertex AiA_i. Let MiM_i be the midpoint of the side aia_i, and let TiT_i be the point where the inscribed circle of triangle A1A2A3A_1A_2A_3 touches the side aia_i. Denote by SiS_i the reflection of the point TiT_i in the interior angle bisector of the angle AiA_i. Prove that the lines M1S1M_1S_1, M2S2M_2S_2 and M3S3M_3S_3 are concurrent.
Step 1 of 8: Reflection at vertex A1A_1 fixes the incircle and swaps two touch points
In plain words

The incircle is the natural mirror here: every reflection that fixes the incenter automatically fixes the incircle, so touch points can only be sent to other points on the same circle.

T1→ reflect in A1I S1,T2⟷T3T_1 \xrightarrow{\ \text{reflect in } A_1I\ } S_1, \qquad T_2 \longleftrightarrow T_3
Detailed analysis

Let II be the incenter and ω\omega the incircle. Reflecting the plane across the interior bisector of angle A1A_1 fixes II and hence fixes ω\omega, and it swaps the two sides through A1A_1, namely A1A2A_1A_2 and A1A3A_1A_3. By definition this reflection sends T1T_1 to S1S_1; since it also swaps the sides carrying T2T_2 and T3T_3, it swaps these two touch points as well.