an excircle and 4 points
Source: Saint Petersburg MO 2020 Grade 9 Problem 5
May 7, 2020
geometrycircumcircleinradius
Problem Statement
Point is the -excircle center of which is tangent to at . Let be diametrically opposite point of with respect to the circumcircle of . On the segments and are chosen respectively points and such that where is the inradius of .
Prove that the points and are concyclic.