Let be an isosceles triangle at , and let be a point on the segment such that . Let and be the orthogonal projections of onto and . Finally, let be the point of intersection, other than , between the circumcircles of and .
Prove that, if the lines , , and the perpendicular bisector of are concurrent, the triangle is right-angled at .
Solution
A first reflex is to draw a figure where the triangle is isosceles right-angled, but without indicating that it is. Many symmetries then appear. Let be the intersection point of the lines and , the perpendicular bisector of , the center of the circumcircle of , and the midpoint of : it is a matter of proving that .
Since is isosceles at , the symmetry with axis exchanges the lines and , so that . Since , and are concyclic, the quadrilateral is therefore an isosceles trapezoid, which is easily verified since
The symmetry with axis therefore exchanges the points and , and is in fact the perpendicular bisector of . It therefore contains, in particular, the centers and of the circumcircles of and .
Given the right angles at , and , the latter circle is in fact the circle with diameter , and it contains and . Moreover, is the angle bisector of , so is the South pole of in the triangle , and is isosceles at . Thus, lies on .
In conclusion, and both belong to and to . Since , we also know that , the midpoint of , is not on . Since contains , it is therefore not coincident with , and must coincide with , which concludes.
!
Comment from the graders: The exercise was very well done. Many students manage, through the development of simple ideas like angle chasing, to make significant progress in solving the problem, while some others force the use of very advanced results like Pascal's or Desargues' theorems but without obtaining significant results.
The figures provided are often very precise, and it was sometimes frustrating to see that the midpoint of the segment belongs to the circle passing through the points , and appear on them without the student mentioning this midpoint in their attempt.
We noted a significant number of incorrect solutions. The errors are often due to the use of a property that is evident on the figure but not yet proven. Often, to avoid this pitfall, it is good to ask oneself if all the hypotheses of the statement have been used. Thus, several students believe they have solved the exercise without using either that the triangle is isosceles or that the point belongs to its circumcircle.