Maths Olympiad Prep

Library / /18 of 397

Geometry Difficulty 4.6 AIME Prove it Taiwan

Let the orthocenter of triangle ABCABC be HH, and let its circumcircle be Γ\Gamma. Take a point PP on Γ\Gamma different from AA, BB, CC, and let MM be the midpoint of segment HPHP. Take points DD, EE, FF on lines BCBC, CACA, ABAB respectively such that APHDAP \parallel HD, BPHEBP \parallel HE, CPHFCP \parallel HF. Prove that: DD, EE, FF, MM are collinear.

Solution

(∠ denotes directed angles.)

Figure 1

Let AA', PP' be the antipodal points of AA, PP with respect to Γ\Gamma respectively, let MaM_a, MM' be the midpoints of HA\overline{HA'}, HP\overline{HP'} respectively, and let Ω\Omega be the nine-point circle of ABC\triangle ABC. Then MM, MaM_a, MM' lie on Ω\Omega. Let MHM'H meet Ω\Omega again at a point XX, and let DD' be the intersection of AHAH and BCBC. Then
XDD=XDMa=XMMa=HMMa. \angle XD'D = \angle XD'M_a = \angle XM'M_a = \angle HM'M_a.

XHD=(HM,AP)=(HM,AP)=HMMa. \angle XHD = \angle (HM', AP) = \angle (HM', A'P') = \angle HM'M_a.

Therefore DD, DD', HH, XX are concyclic, i.e., HPXDHP' \perp XD. Note that MM\overline{MM'} is a diameter of Ω\Omega, so
(HP,XM)=MXM=90, \angle (HP', XM) = \angle M'XM = 90^\circ,
hence XX, MM, DD are collinear and HPDMHP' \perp DM. By the same reasoning, HPEMHP' \perp EM, HPFMHP' \perp FM, and therefore DD, EE, FF, MM are collinear. This completes the proof.

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 translated into English from zh; metadata (topic, difficulty) added by this project.