MathDB
Incenter inside the incircle

Source: Iran 2nd round 2012-Day2-P6

May 1, 2012
geometryincentergeometric transformationreflectioncircumcircleangle bisectorcongruent triangles

Problem Statement

The incircle of triangle ABCABC, is tangent to sides BC,CABC,CA and ABAB in D,ED,E and FF respectively. The reflection of FF with respect to BB and the reflection of EE with respect to CC are TT and SS respectively. Prove that the incenter of triangle ASTAST is inside or on the incircle of triangle ABCABC.
Proposed by Mehdi E'tesami Fard