Let be an acute angled triangle with . Consider the points on its circumcircle , such that and are on the same side of the line , the diameter and the line are orthogonal, and . Let be the intersection points of the lines and , and , and , and , respectively. If and , prove that the line is tangent to the circumcircle of the triangle .
Dana Heuberger
Solution
Denote and . Obviously, we have .
From we deduce that . Since is the perpendicular bisector of , we have , thus the triangle is isosceles, with the apex . From , we deduce that the triangles and are congruent, therefore .

Since is an isosceles triangle, with the base , the line is the perpendicular bisector of . In the right angled triangle , the perpendicular bisector of and the hypotenuse intersect at , therefore is the midpoint of .
Denote by the intersection point of the half-line ( with the circle ).
Because , we have . From we obtain , therefore . Since is the midpoint of , the line is at the same time median and angle bisector of the triangle , thus .
From and we deduce that , therefore the triangle is equilateral. Thus, we obtain , and .
Moreover, , so the points lie on the circle of diameter . Therefore , which means that the line is tangent to the circle .