Maths Olympiad Prep

Library / /271 of 299

Geometry Difficulty 7.5 National Olympiad, round 2 Prove it Iran

Let XX be an arbitrary point on the circumcircle of the triangle ABCABC. The perpendicular lines from XX to ABAB and ACAC cut BCBC at PP and QQ respectively. The point YY is the circumcenter of the circle passing through X,P,QX, P, Q. (If X,P,QX, P, Q are coincident, then consider YY the same point as them.)

a. Prove that if the triangle ABCABC is equilateral, by moving XX on circumcircle, YY moves on a circle.

b. Prove the converse of the previous part: If by moving XX on the circumcircle, YY moves on a circle, then ABCABC is equilateral.

Solution

a. We know that triangle ABCABC is an equilateral. Thus we have PRQ^=PQR^=9060=30\widehat{PRQ} = \widehat{PQR} = 90^\circ - 60^\circ = 30^\circ and by this we have PQ=PRPQ = PR. Suppose that SS is the circumcenter of triangle PQRPQR.

Figure 1

We have QPR^=1802×30=120\widehat{QPR} = 180^\circ - 2 \times 30^\circ = 120^\circ. So QR^=120\widehat{QR} = 120^\circ and moreover QSR^=120\widehat{QSR} = 120^\circ. SQ=SRSQ = SR, so SQR^=SRQ^\widehat{SQR} = \widehat{SRQ}. By these arguments we conclude that triangle SQRSQR is the reflection of triangle PQRPQR respect to BCBC. So SS is the reflection of PP respect to BCBC. Thus SS moves on a circle which is the reflection of the circumcircle of triangle ABCABC respect to BCBC. \square

b. Suppose that SS is the circumcenter of triangle PQRPQR and OO is the circumcenter of triangle ABCABC. By considering PP on B,CB, C we can obviously see that SS lies on B,CB, C respectively. Now we move PP to the intersection point of AOAO and the circumcircle of triangle ABCABC. In this case we have PCA^=PBA^=90\widehat{PCA} = \widehat{PBA} = 90^\circ. So SS lies on OO. The parallel line from PP respect to BCBC meets the circumcircle of triangle ABCABC at PP'. By considering PP' as PP, triangle PQRPQR is similar to the triangle PQRPQR in the previous case. Note that the PP altitudes in both of these triangles have equal lengths. So these triangles are equivalent. Thus by transferring OO by pppp' which is parallel to BCBC, we reach the point SS, the circumcenter of triangle PQRPQR in this case. We know that BSOCBSOC is cyclic. But this can't be true unless SS lies on OO. It yields that pppp' must be equal to 0. So PP' lies on PP and triangle ABCABC is isosceles with AB=ACAB = AC. Now let PP lie on AA.

ω\omega is the circumcircle of triangle BOCBOC. Triangle ABCABC is isosceles. So the perpendicular bisector of RQRQ is the AA altitude in triangle ABCABC. This perpendicular bisector meets ω\omega for the second time at SS. We know that the circumcenter of triangle AQRAQR lies on ω\omega, so it's whether OO or SS. It can't be OO. Because otherwise we have
OB=OA=OR OB = OA = OR
Which can't be true. So SS is the circumcenter of triangle AQRAQR. We have
SA=SQ    SAQ^=SQA^CAQ^=BAQ^BAC^=90A^SAC^=A^2}    SAQ^=90A^2 \left. \begin{array}{l} SA = SQ \implies \widehat{SAQ} = \widehat{SQA} \\[1.5ex] \widehat{CAQ} = \widehat{BAQ} - \widehat{BAC} = 90^\circ - \hat{A} \\[1.5ex] \widehat{SAC} = \frac{\hat{A}}{2} \end{array} \right\} \implies \widehat{SAQ} = 90^\circ - \frac{\hat{A}}{2}
By these we have
SQA^=SAQ^=90A^2    ASQ^=1802×(90A^2)=A^    CQA^=90ASQ^=90A^,AQS^=90A^2    AQC^=A^2 \begin{align*} \widehat{SQA} &= \widehat{SAQ} = 90^\circ - \frac{\widehat{A}}{2} &\implies \widehat{ASQ} &= 180^\circ - 2 \times (90^\circ - \frac{\widehat{A}}{2}) = \widehat{A} \\ \implies \widehat{CQA} &= 90^\circ - \widehat{ASQ} = 90^\circ - \widehat{A}, \widehat{AQS} = 90^\circ - \frac{\widehat{A}}{2} &\implies \widehat{AQC} &= \frac{\widehat{A}}{2} \end{align*}
Moreover we have
ACD^=18090(90B^)=B^ \widehat{ACD} = 180^\circ - 90^\circ - (90^\circ - \widehat{B}) = \widehat{B}
In the circumcircle of triangle ACQACQ we have
CAS^=A^2=AQC^=AC^2 \widehat{CAS} = \frac{\widehat{A}}{2} = \widehat{AQC} = \frac{\widehat{AC}}{2}

CQS^=90A^=CAQ^=CQ^2 \widehat{CQS} = 90^\circ - \widehat{A} = \widehat{CAQ} = \frac{\widehat{CQ}}{2}
Using these arguments we conclude that SASA and SQSQ are tangent to the circumcircle of triangle ACQACQ. Let O1O_1 be the circumcenter of triangle ACQACQ. Then we have
Figure 2
CO1A^=AC^=2CQA^=A^CAO1^=ACO1^=180CO1A^2=90A^2 \widehat{CO_1A} = \widehat{AC} = 2\widehat{CQA} = \widehat{A} \\ \widehat{CAO_1} = \widehat{ACO_1} = \frac{180^\circ - \widehat{CO_1A}}{2} = 90^\circ - \frac{\widehat{A}}{2}
We knew that ACD^=B^=90A^2\widehat{ACD} = \hat{B} = 90^\circ - \frac{\hat{A}}{2}. So ACD^=ACO1^\widehat{ACD} = \widehat{ACO_1}. Thus it yields that CC lies on AO1AO_1 and AC=CQAC = CQ. So we have
CAQ^=CQA^    90A^=A^2    32A^=90    A^=60 \begin{align*} \widehat{CAQ} = \widehat{CQA} &\implies 90^\circ - \widehat{A} = \frac{\widehat{A}}{2} &\implies \frac{3}{2}\widehat{A} &= 90^\circ \\ &\implies \widehat{A} = 60^\circ \quad \square \end{align*}

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.