Touching points geometry
Source: Sharygin geometry olympiad 2015, grade 10, Final Round, Problem 4
July 17, 2018
geometry
Problem Statement
Let , , be the altitudes of an acute-angled, nonisosceles triangle , and , , be the touching points of sides , , with the correspondent excircles. It is known that line touches the incircle of .
Prove that lies on the circumcircle of .