Maths Olympiad Prep

Library / /140 of 169

Geometry Difficulty 7.7 National Olympiad, round 2 Prove it United States

Let ABCABC be a triangle with orthocenter HH and let PP be the second intersection of the circumcircle of triangle AHCAHC with the internal bisector of the angle BAC\angle BAC. Let XX be the circumcenter of triangle APBAPB and YY the orthocenter of triangle APCAPC. Prove that the length of segment XYXY is equal to the circumradius of triangle ABCABC.

(This problem was suggested by Titu Andreescu and Cosmin Pohoata.)

Solutions — 2

Solution 1

It is well-known that the reflection HH' of the orthocenter HH in the line ACAC lies on the circumcircle of triangle ABCABC. Hence, the circumcenter of triangle CAHCAH' coincides with the circumcenter of triangle ABCABC. But since HH' is the reflection of HH in the line ACAC, the triangles ACHACH and CAHCAH' are symmetric with respect to BCBC, and the circumcenter OO' of triangle ACHACH must be the reflection of the circumcenter of triangle CAHCAH' in the line BCBC, i.e. the reflection of the circumcenter of triangle ABCABC in the line CACA.

Now since the quadrilateral AHPCAHPC is cyclic and since HH, YY are the orthocenters of triangles ABCABC, and APCAPC, respectively, we have that
ABC=180AHC=180APC=AYC. \angle ABC = 180^\circ - \angle AHC = 180^\circ - \angle APC = \angle AYC.

Hence the point YY lies on the circumcircle of triangle ABCABC, and therefore OC=OY=ROC = OY = R, where RR denotes the circumradius of triangle ABCABC.

On the other hand, note that the lines OXOX, XOXO', OOO'O are the perpendicular bisectors of the segments ABAB, APAP, and ACAC, respectively, we get
OXO=BAP=PAC=m(XOO). \angle OXO' = \angle BAP = \angle PAC = m(\angle XO'O).
Thus OO=OXOO' = OX. Combining this with OC=OYOC = OY and with the parallelism of the lines XOXO' and YCYC (note that these two lines are both perpendicular to APAP), we conclude that the trapezoid XYCOXYCO' is isosceles, and therefore XY=OC=OC=RXY = O'C = OC = R. This completes our proof. \square

Figure 1

Remark. If ABCABC is right-angled at AA, then the statement is trivially true if we convene that the circumcenter of ABAB is the midpoint of ABAB and that the orthocenter of ACAC is the midpoint of ACAC. Then, we have that XY=12BC=RXY = \frac{1}{2}BC = R.

Solution 2

Because ABCABC is acute, HH lies inside the triangle. We consider the configuration shown above. (For other possible configurations, it is not difficult to adjust our proof properly.)

Let OO and ZZ denote the circumcenters of triangles ABCABC and APCAPC respectively. Let ω\omega and rr denote the circumcircle and the circumradius of triangle ABCABC respectively. We will show that
XYCZ is an isosceles trapezoid with XY=CZ=r.(13) XYCZ \text{ is an isosceles trapezoid with } XY = CZ = r. \qquad (13)
Because XX and ZZ are the circumcenters of triangle APBAPB and APCAPC, line XZXZ is the perpendicular bisector of segment APAP. Because YY is the orthocenter of triangle APCAPC, CYAPCY \perp AP. Hence both lines XZXZ and CYCY are perpendicular to line APAP, implying that XYZCXYZC is a trapezoid with XZCYXZ \parallel CY.

Because XX and OO are the circumcenters of triangles APBAPB and ABCABC, line XOXO is the perpendicular bisector of segment ABAB. Because XOABXO \perp AB and XZAPXZ \perp AP, the acute angles formed by lines XOXO and XZXZ is equal to the acute angle formed by lines APAP and ABAB; that is, OXZ=BAP\angle OXZ = \angle BAP. Likewise, we can show that OZX=CAP\angle OZX = \angle CAP. Therefore, we have OXZ=BAP=CAP=OZX\angle OXZ = \angle BAP = \angle CAP = \angle OZX, implying that OX=OZOX = OZ; that is, OO lies on the perpendicular bisector of segment XZXZ.

Because HH is the orthocenter of acute triangle ABCABC, AHC=180ABC\angle AHC = 180^\circ - \angle ABC. Because APHCAPHC is cyclic, we have APC=AHC=180ABC\angle APC = \angle AHC = 180^\circ - \angle ABC. Now in obtuse triangle APCAPC, AYC=180APC=ABC\angle AYC = 180^\circ - \angle APC = \angle ABC. (This relates to the fact of orthocenter group: if one point is the orthocenter of the triangle formed by the other three points, then any of the four point is the orthocenter of the triangle formed by the other three.) In particular, this means that YY lies on ω\omega; that is, OY=OC=rOY = OC = r. Note that in trapezoid XYCZXYCZ, the perpendicular bisectors of the bases YCYC and XZXZ share a common point OO. Thus, these two bisectors must coincide; that is, XYCZXYCZ is an isosceles trapezoid with XY=CZXY = CZ, establishing the first part of (13).

To complete our proof, it suffices to show that CZ=rCZ = r. Let QQ be the reflection of HH across line ACAC. It is well known that QQ lies ω\omega (because ACQ=ACH=90BAC=ABH=ABQ\angle ACQ = \angle ACH = 90^\circ - \angle BAC = \angle ABH = \angle ABQ.) We note that triangle AQCAQC and its circumcenter OO and triangle AHCAHC and its circumcenter ZZ are respective images of each other across line ACAC. In particular, we conclude that CZ=CO=rCZ = CO = r, completing our proof.

Figure 1

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.