EF goes through the points of tangency of the incircle to AB and AC
Source: Dutch BxMO TST 2016 p3
August 2, 2019
geometryincirclecollinearright triangle
Problem Statement
Let be a right-angled triangle with and circumcircle . The inscribed circle is tangent to in point . Let be the midpoint of the arc of not containing and let be the midpoint of the arc of not containing .
(a) Prove that .
(b) Prove that goes through the points of tangency of the incircle to and .