Browse · MathNet
Print42nd Balkan Mathematical Olympiad
geometry
Problem
Let be a triangle with and . A point lies on segment such that . Let be the circumcentre of triangle , and let the line through parallel to intersect at . Show that passes through the midpoint of segment .

Solution
Let be the midpoint of and let be the reflection of in . From the length condition in the statement, we have . This together with being the midline in implies . So is cyclic. Denote its circumcircle by .
Next, let denote the intersection of and . We have , so . Since as well, is the circumcentre of and . (*)
Let denote the circumcircle of , and let be the centre of . Let be the midpoint of arc of . We showed that bisects , so . Also, since is the midpoint of , which shows that lies on . Thus, is the radical axis of and , which yields . We conclude , and since , we have that lies on line .
Let be the intersection of and . We will show that , and are collinear which, by the previous result, is sufficient to show and finish the problem.
Note that , so lies on line . Let be the intersection of (which is the perpendicular bisector of ) and .
Applying Menelaus' theorem to and points , and we have From , we get . Thus, defining as the midpoint of , we can rewrite the condition as Since is the circumcenter of the right-angled , we have
This also shows Combining this with yields and, since , and are corresponding points in these triangles from which (\dagger) follows.
Next, let denote the intersection of and . We have , so . Since as well, is the circumcentre of and . (*)
Let denote the circumcircle of , and let be the centre of . Let be the midpoint of arc of . We showed that bisects , so . Also, since is the midpoint of , which shows that lies on . Thus, is the radical axis of and , which yields . We conclude , and since , we have that lies on line .
Let be the intersection of and . We will show that , and are collinear which, by the previous result, is sufficient to show and finish the problem.
Note that , so lies on line . Let be the intersection of (which is the perpendicular bisector of ) and .
Applying Menelaus' theorem to and points , and we have From , we get . Thus, defining as the midpoint of , we can rewrite the condition as Since is the circumcenter of the right-angled , we have
This also shows Combining this with yields and, since , and are corresponding points in these triangles from which (\dagger) follows.
Techniques
Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circleCyclic quadrilateralsMenelaus' theoremRadical axis theoremAngle chasing