4. Let and be two distinct points on circle , and is not a diameter. Let be the tangent line to circle at point . A point in the plane satisfies that is the midpoint of segment . is a point on the minor arc of circle such that the circumcircle of intersects at two distinct points. Denote the intersection point of circle and closer to as , and the intersection of line with circle as another point . Prove: Line is tangent to circle .
Problem 1097
Official solution
4. As shown in Figure 2.
From the fact that points are concyclic, we know .
From the tangency of to circle , we get .
Thus, .
Since is the midpoint of segment , we have .
Therefore, .
Combining this with , we get
.
This indicates that line is tangent to circle .