Maths Olympiad Prep

Library / China Hong Kong Mathematical Olympiad /71 of 89

China Hong Kong Mathematical Olympiad

Geometry Difficulty 6.7 National Olympiad Prove it Hong Kong

Let ABCABC be a triangle. Let DD and EE be respectively points on the segments ABAB and ACAC, and such that DE∥BCDE \parallel BC. Let MM be the midpoint of BCBC. Let PP be a point such that DB=DPDB = DP, EC=EPEC = EP and such that the open segments (segments excluding the endpoints) APAP and BCBC intersect. Suppose ∠BPD=∠CME\angle BPD = \angle CME. Show that ∠CPE=∠BMD\angle CPE = \angle BMD.

Solution

Note that ∠BPD=∠CME=∠DEM\angle BPD = \angle CME = \angle DEM. So we can find a point FF on the extension of EMEM such that △DPB∼△DEF\triangle DPB \sim \triangle DEF. By spiral similarity and since

DB=DPDB = DP, we have △DFB≅△DEP\triangle DFB \cong \triangle DEP. As EC=EP=FBEC = EP = FB and CM=BMCM = BM, by the sine law, either ∠FEC=∠EFB\angle FEC = \angle EFB or ∠FEC+∠EFB=180∘\angle FEC + \angle EFB = 180^\circ.
If ∠FEC+∠EFB=180∘\angle FEC + \angle EFB = 180^\circ, then
∠AED=180∘−∠FEC−∠DEM=∠EFB−∠DEM=∠DFB+∠EFD−∠DEM=∠DEP. \begin{align*} \angle AED &= 180^\circ - \angle FEC - \angle DEM \\ &= \angle EFB - \angle DEM \\ &= \angle DFB + \angle EFD - \angle DEM \\ &= \angle DEP. \end{align*}
Together with ∠AEP=2∠ECP\angle AEP = 2\angle ECP, we easily find that DE∥PCDE \parallel PC, contradicting the fact that PP does not lie on BCBC.

Figure 1

Hence, we must have ∠FEC=∠EFB\angle FEC = \angle EFB. This yields EC∥BFEC \parallel BF. Therefore, we find that EM=FMEM = FM. Since DE=DFDE = DF, we have DM⊥EFDM \perp EF. Now, by swapping the roles of (B,D)(B, D) and (C,E)(C, E), and reversing the above arguments, we see that ∠CPE=∠BMD\angle CPE = \angle BMD as desired.

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.