Maths Olympiad Prep

Library / /471 of 520

Geometry Difficulty 7.3 National olympiad, round 2 Prove it

Let ABCABC be an isosceles triangle at AA, and let DD be a point on the segment [BC][BC] such that BDCDBD \neq CD. Let PP and QQ be the orthogonal projections of DD onto (AB)(AB) and (AC)(AC). Finally, let EE be the point of intersection, other than AA, between the circumcircles of ABCABC and APQAPQ.
Prove that, if the lines (EP)(EP), (AC)(AC), and the perpendicular bisector of [PQ][PQ] are concurrent, the triangle ABCABC is right-angled at AA.

Solution

A first reflex is to draw a figure where the triangle ABCABC is isosceles right-angled, but without indicating that it is. Many symmetries then appear. Let XX be the intersection point of the lines (AC)(AC) and (EP)(EP), \ell the perpendicular bisector of [PQ][PQ], OO the center of the circumcircle of ABCABC, and MM the midpoint of [BC][BC]: it is a matter of proving that M=OM=O.
Since PQXPQX is isosceles at XX, the symmetry with axis \ell exchanges the lines (AQ)(AQ) and (PE)(PE), so that AQP^=QPE^\widehat{AQP}=\widehat{QPE}. Since A,E,PA, E, P, and QQ are concyclic, the quadrilateral AEPQAEPQ is therefore an isosceles trapezoid, which is easily verified since

(AE,PQ)=(AE,AQ)+(AQ,PQ)=(PE,PQ)+(QA,QP)=0 (AE, PQ) = (AE, AQ) + (AQ, PQ) = (PE, PQ) + (QA, QP) = 0^{\circ}

The symmetry with axis \ell therefore exchanges the points AA and EE, and \ell is in fact the perpendicular bisector of [AE][AE]. It therefore contains, in particular, the centers OO and OO' of the circumcircles of ABCABC and AEPQAEPQ.
Given the right angles at P,QP, Q, and MM, the latter circle is in fact the circle with diameter [AD][AD], and it contains DD and MM. Moreover, (AM)(AM) is the angle bisector of BAC^\widehat{BAC}, so MM is the South pole of AA in the triangle APQAPQ, and PQMPQM is isosceles at MM. Thus, MM lies on \ell.
In conclusion, MM and OO both belong to (AM)(AM) and to \ell. Since DMD \neq M, we also know that OO', the midpoint of [AD][AD], is not on (AM)(AM). Since \ell contains OO', it is therefore not coincident with (AM)(AM), and MM must coincide with OO, 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 [BC][BC] belongs to the circle passing through the points A,PA, P, and QQ 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 ABCABC is isosceles or that the point EE belongs to its circumcircle.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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