Maths Olympiad Prep

Track / Stage 6 / 105 of 400 #1105 of 1964

Problem 1105

National olympiad, first round
Geometry Difficulty 6.1 Prove it

In triangle ABCABC, ABBCAB \neq BC. The angle bisector from point BB intersects the side ACAC at point DD, and the circumcircle of the triangle at point EE (other than point BB). The circle constructed over the diameter DEDE intersects the circumcircle at point EE, and for the second time at a point FF different from EE. Prove that the line BFBF, when reflected over the line BDBD, coincides with the median of triangle ABCABC.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Let's use the notation from the figure.

!

Let the center of the circle kk passing through points A,B,CA, B, C be OO. It is known that if ABBCA B \neq B C, the angle bisector of ABC\angle A B C and the perpendicular bisector of side ACA C have exactly one common point, and this common point lies on the circumcircle of triangle ABCA B C. This common point is the point EE, which lies on the perpendicular bisector of side ACA C.

Let the intersection of the perpendicular bisector of OEO E and side ACA C (i.e., the midpoint of ACA C) be denoted by MM. Since EMD=90\angle E M D = 90^\circ, by Thales' theorem, MM lies on the circumcircle of triangle DFED F E. The line EOE O intersects the circle kk again at point HH. Since DFE=90\angle D F E = 90^\circ and HFE=90\angle H F E = 90^\circ (by Thales' theorem), the line DFD F passes through HH.

By Thales' theorem, HBE=90\angle H B E = 90^\circ, since HEH E is a diameter. Therefore, since HBD+DMH=90+90=180\angle H B D + \angle D M H = 90^\circ + 90^\circ = 180^\circ, the quadrilateral HBDMH B D M is a cyclic quadrilateral. Thus, by the theorem of inscribed and central angles, MHD=MBD\angle M H D = \angle M B D.

Since HBFEH B F E is also a cyclic quadrilateral, by the theorem of inscribed and central angles, EHF=EBF\angle E H F = \angle E B F.

Therefore, DBF=MBD\angle D B F = \angle M B D, which means that the reflection of BFB F over BDB D is BMB M, i.e., BFB F is indeed the median.

Several people noted that the statement of the problem is equivalent to the fact that the line BFB F is a symmedian of triangle ABCA B C. 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).

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.