Tangent line to the circumcircle
Source: 239 2012 J5
July 30, 2020
geometrycircumcircle
Problem Statement
On the hypotenuse of the right-angled triangle , a point is chosen such that . Let be a point on the perpendicular line from point to the line , equidistant from the points and . Also let denote the midpoint of the segment . Prove that line is tangent to the circumcircle of the triangle .