Maths Olympiad Prep

Library / /24 of 86

Geometry Difficulty 5.4 AIME, harder Prove it Estonia

Let HH be the orthocenter of an acute triangle ABCABC. Let MM be the midpoint of BCBC. Let AA' and HH' be the reflections of the points AA and HH across the point MM. Prove that the points BB and CC and the reflections of AA' over the lines BHBH' and CHCH' are concyclic.

Solutions — 2

Solution 1

Figure 1

Let OO be the circumcenter of ABCABC and GG the antipode of AA (Fig. 11). Then BGABBG \perp AB and CGACCG \perp AC. As CHABCH \perp AB and BHACBH \perp AC, this means that CGBHCG \parallel BH and BGCHBG \parallel CH. So BHCGBHCG is a parallelogram. Therefore MM, the midpoint of BCBC, is also the midpoint of HGHG. Consequently H=GH' = G. Hence BHABBH' \perp AB and CHACCH' \perp AC. Also, by the choice of AA', ABACABA'C is a parallelogram, meaning ABACA'B \parallel AC and ACABA'C \parallel AB. Thus ABCHA'B \perp CH' and ACBHA'C \perp BH', which means that the reflections of AA' over the lines BHBH' and CHCH' lie on lines ACA'C and ABA'B respectively; denote them by XX and YY (Fig. 12). Then CXABCX \parallel AB and BX=BA=ACBX = BA' = AC, analogously also BYACBY \parallel AC and CY=CA=ABCY = CA' = AB. Therefore ABCXABCX and ABCYABCY are isosceles trapezoids. Isosceles trapezoids are cyclic quadrilaterals, thus both XX and YY must lie on the circumcircle of ABCABC. The desired claim follows.

Figure 2

Solution 2

Like in the previous solution, notice that ABACABA'C is a parallelogram. By symmetry with respect to MM notice that triangles ABCABC and ACBA'CB are congruent and that HH' is the orthocenter of ACBA'CB.
Let XX and YY be the reflections of AA' over BHBH' and CHCH' respectively (Fig. 13). Then AXBHA'X \perp BH' and AYCHA'Y \perp CH' and since HH' is the orthocenter of ACBA'CB, we also have ACBHA'C \perp BH' and ABCHA'B \perp CH'. So XX and YY lie on the lines ACA'C and ABA'B respectively.
The choice of XX and YY implies that the triangles ABXA'BX and ACYA'CY are isosceles. Therefore AXB=AYC=BAC\angle A'XB = \angle A'YC = \angle BA'C. The desired claim follows.

Figure 3

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 and solution reproduced as published; topic and difficulty added by this site.