Maths Olympiad Prep

Library / /151 of 299

Geometry Difficulty 6.5 National Olympiad Prove it Iran

Points BB and CC are fixed on the circle ω\omega. Denote by MM the midpoint of BCBC. Let AA be a variable point on ω\omega, and HH be the orthocenter of triangle ABCABC. The perpendicular from HH to MHMH, intersects lines ABAB and ACAC at points XX and YY, respectively. Prove that as point AA moving on ω\omega, the orthocenter of triangle AXYAXY would also be moving on a circle.

Solution

Let OO be the center of ω\omega, and HH' be the orthocenter of triangle AXYAXY. Denote the intersection of AHAH' and OMOM as DD. It is evident that quadrilateral AHMDAHMD is a parallelogram, so 2OM=AH=MD2OM = AH = MD. This result shows that DD is a fixed point. If we prove AHAD\frac{AH'}{AD} is constant, it follows that with the movement of AA on ω\omega, HH' moves on a circle such that DD is the homothety center between the two circles.

Lemma 1. In triangle ABCABC with orthocenter HH, we have BCcotA=AH|BC \cot \angle A| = |AH|.

Proof. If we let OO be the circumcenter of triangle ABCABC and MM be the midpoint of BCBC, we know that 2OM=AH2OM = AH. Additionally, RcosA=OM|R \cos \angle A| = OM where RR is the radius of the circumcircle of triangle ABCABC. Therefore, according to the Law of Sines,
AH=2OM=2RcosA=BCcotA AH = 2OM = |2R \cos \angle A| = |BC \cot A|
the result follows.

Since AHMDAHMD is a parallelogram, we can write MH=ADMH = AD. According to the above lemma, we also have XYcotA=AH|XY \cot \angle A| = AH'. Since cotA|\cot A| is constant, it suffices to show that XYMH\frac{XY}{MH} is constant.

---

Figure 1

In the following we will use directed angles modulo 180180^\circ denoted as ABC\angle ABC. Let AA' be the antipodal of AA with respect to ω\omega. As BHCABHCA' is a parallelogram, MM is the midpoint of AHAH'. Note that XHA=XBA=90\angle XHA' = \angle XBA' = 90^\circ. So ABXHA'BXH is cyclic which results in AXH=ABH=BAC\angle A'XH = \angle A'BH = \angle BAC. Analogously, HYA=BAC\angle HYA' = \angle BAC which means XAYXA'Y is an isosceles triangle and HH is the midpoint of XYXY. At last we can write:
XYMH=4XHHA=4cotBAC \frac{XY}{MH} = \frac{4XH}{HA'} = 4 \cot \angle BAC
which is constant and the claim is proven. ■

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.