Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /135 of 270

Iranian Mathematical Olympiad

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 H′H' be the orthocenter of triangle AXYAXY. Denote the intersection of AH′AH' 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 AH′AD\frac{AH'}{AD} is constant, it follows that with the movement of AA on ω\omega, H′H' 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 ∣BCcot⁡∠A∣=∣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, ∣Rcos⁡∠A∣=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=∣2Rcos⁡∠A∣=∣BCcot⁡A∣ 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 ∣XYcot⁡∠A∣=AH′|XY \cot \angle A| = AH'. Since ∣cot⁡A∣|\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 180∘180^\circ denoted as ∠ABC\angle ABC. Let A′A' be the antipodal of AA with respect to ω\omega. As BHCA′BHCA' is a parallelogram, MM is the midpoint of AH′AH'. Note that ∠XHA′=∠XBA′=90∘\angle XHA' = \angle XBA' = 90^\circ. So A′BXHA'BXH is cyclic which results in ∠A′XH=∠A′BH=∠BAC\angle A'XH = \angle A'BH = \angle BAC. Analogously, ∠HYA′=∠BAC\angle HYA' = \angle BAC which means XA′YXA'Y is an isosceles triangle and HH is the midpoint of XYXY. At last we can write:
XYMH=4XHHA′=4cot⁡∠BAC \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,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.