Problem

Source: 2016 Saudi Arabia Pre-TST Level 4+ 1.1

Tags: geometry, tangent circles, altitudes



Let $ABC$ be an acute, non isosceles triangle, $AX, BY, CZ$ are the altitudes with $X, Y, Z$ belong to $BC, CA,AB$ respectively. Respectively denote $(O_1), (O_2), (O_3)$ as the circumcircles of triangles $AY Z, BZX, CX Y$ . Suppose that $(K)$ is a circle that internal tangent to $(O_1), (O_2), (O_3)$. Prove that $(K)$ is tangent to circumcircle of triangle $ABC$.