Maths Olympiad Prep

Library / Estonian Math Competitions /51 of 148

Estonian Math Competitions

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 A′A' and H′H' be the reflections of the points AA and HH across the point MM. Prove that the points BB and CC and the reflections of A′A' over the lines BH′BH' and CH′CH' are concyclic.

Solutions — 2

Solution 1

Figure 1

Let OO be the circumcenter of ABCABC and GG the antipode of AA (Fig. 11). Then BG⊥ABBG \perp AB and CG⊥ACCG \perp AC. As CH⊥ABCH \perp AB and BH⊥ACBH \perp AC, this means that CG∥BHCG \parallel BH and BG∥CHBG \parallel CH. So BHCGBHCG is a parallelogram. Therefore MM, the midpoint of BCBC, is also the midpoint of HGHG. Consequently H′=GH' = G. Hence BH′⊥ABBH' \perp AB and CH′⊥ACCH' \perp AC. Also, by the choice of A′A', ABA′CABA'C is a parallelogram, meaning A′B∥ACA'B \parallel AC and A′C∥ABA'C \parallel AB. Thus A′B⊥CH′A'B \perp CH' and A′C⊥BH′A'C \perp BH', which means that the reflections of A′A' over the lines BH′BH' and CH′CH' lie on lines A′CA'C and A′BA'B respectively; denote them by XX and YY (Fig. 12). Then CX∥ABCX \parallel AB and BX=BA′=ACBX = BA' = AC, analogously also BY∥ACBY \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 ABA′CABA'C is a parallelogram. By symmetry with respect to MM notice that triangles ABCABC and A′CBA'CB are congruent and that H′H' is the orthocenter of A′CBA'CB.
Let XX and YY be the reflections of A′A' over BH′BH' and CH′CH' respectively (Fig. 13). Then A′X⊥BH′A'X \perp BH' and A′Y⊥CH′A'Y \perp CH' and since H′H' is the orthocenter of A′CBA'CB, we also have A′C⊥BH′A'C \perp BH' and A′B⊥CH′A'B \perp CH'. So XX and YY lie on the lines A′CA'C and A′BA'B respectively.
The choice of XX and YY implies that the triangles A′BXA'BX and A′CYA'CY are isosceles. Therefore ∠A′XB=∠A′YC=∠BA′C\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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.