concyclic wanted, 2 circles related
Source: 1st Mathematics Regional Olympiad of Mexico Northwest 2018 P3
September 6, 2022
geometryConcyclic
Problem Statement
Let be an acute triangle orthocenter angle . Let be the circle tangent to at and passing through and the circle tangent to at and passing through through . A line passing through intersects the circles and at points and , respectively (with and other than ). Lines and intersect at , the lines and intersect at and the circles and intersect at the points and . Prove that the points and are still on the same circle.