concyclic wanted, common external tangents of 2 circles meet on circle
Source: 2022 Saudi Arabia IMO TST 4.3
November 1, 2022
geometryconcurrencyConcyclic
Problem Statement
Let be points on the line in that order and . Denote as some circle that passes through with its tangent lines at are . Denote as some circle that passes through with its tangent lines at are . Suppose that cuts at respectively and cuts at respectively. Prove that four points belong to a same circle and the common external tangent lines of circles , meet on .