AP is tangent to the circumcircle of BLP, starting with a right triangle
Source: Ukrainian Geometry Olympiad 2017 X p3
December 12, 2018
geometrycircumcircletangentright triangle
Problem Statement
On the hypotenuse of a right triangle , we denote a point such that . Let be a point on the perpendicular from the point to line , equidistant from the points and . Let be the midpoint of . Prove that line is tangent to the circumcircle of .