In triangle , . The angle bisector from point intersects the side at point , and the circumcircle of the triangle at point (other than point ). The circle constructed over the diameter intersects the circumcircle at point , and for the second time at a point different from . Prove that the line , when reflected over the line , coincides with the median of triangle .
Problem 1105
Official solution
Let's use the notation from the figure.
!
Let the center of the circle passing through points be . It is known that if , the angle bisector of and the perpendicular bisector of side have exactly one common point, and this common point lies on the circumcircle of triangle . This common point is the point , which lies on the perpendicular bisector of side .
Let the intersection of the perpendicular bisector of and side (i.e., the midpoint of ) be denoted by . Since , by Thales' theorem, lies on the circumcircle of triangle . The line intersects the circle again at point . Since and (by Thales' theorem), the line passes through .
By Thales' theorem, , since is a diameter. Therefore, since , the quadrilateral is a cyclic quadrilateral. Thus, by the theorem of inscribed and central angles, .
Since is also a cyclic quadrilateral, by the theorem of inscribed and central angles, .
Therefore, , which means that the reflection of over is , i.e., is indeed the median.
Several people noted that the statement of the problem is equivalent to the fact that the line is a symmedian of triangle . For more details on the symmedian, see László Surányi: On the less well-known notable points of the triangle, Part II (KöMal-1984/November).