Maths Olympiad Prep

Library / /490 of 520

Geometry Difficulty 6.0 AIME, harder Prove it

One, (50 points) As shown in the figure
2,AD2, A D is an altitude of acute ABC\triangle A B C, PP is a point on ADA D, extending BPB P intersects ACA C at point MM, extending CPC P intersects ABA B at point NN, and MNM N intersects APA P at point QQ. A line through QQ intersects PNP N at point EE and AMA M at point FF. Prove:
EDA=FDA. \angle E D A=\angle F D A .

Solution

As shown in Figure 5, connect DMD M and DND N. Draw RK//BCR K / / B C through point AA.
First, prove: NDA=MDA\angle N D A = \angle M D A.
From ARNBDN\triangle A R N \backsim \triangle B D N and AKMCDM\triangle A K M \backsim \triangle C D M, we have
AR=ANBNBD, A R = \frac{A N}{B N} \cdot B D,
AK=AMMCDC. A K = \frac{A M}{M C} \cdot D C.
By Ceva's Theorem, we get ANNBBDDCCMMA=1\frac{A N}{N B} \cdot \frac{B D}{D C} \cdot \frac{C M}{M A} = 1, which means
ANNBBD=AMMCDC. \frac{A N}{N B} \cdot B D = \frac{A M}{M C} \cdot D C.

From equations (1), (2), and the above equation, we get AR=AKA R = A K.
Since ADBCA D \perp B C, we have ADRKA D \perp R K, thus
NDA=MDA. \angle N D A = \angle M D A.
Therefore, we only need to prove
sinMDFsinADF=sinNDEsinADE. \frac{\sin \angle M D F}{\sin \angle A D F} = \frac{\sin \angle N D E}{\sin \angle A D E}.

Let ADM=ADN=θ\angle A D M = \angle A D N = \theta, ADF=α\angle A D F = \alpha, and ADE=β\angle A D E = \beta.
Equation (3) becomes sin(θα)sinα=sin(θβ)sinβ\frac{\sin (\theta - \alpha)}{\sin \alpha} = \frac{\sin (\theta - \beta)}{\sin \beta}, which simplifies to sinθcotα=sinθcotβ\sin \theta \cdot \cot \alpha = \sin \theta \cdot \cot \beta.
Since sinθ0\sin \theta \neq 0, we get cotα=cotβ\cot \alpha = \cot \beta, hence α=β\alpha = \beta.
Now, we prove equation (3).
From DMsinMDFADsinADF=SMDFSADF=FMAF\frac{D M \sin \angle M D F}{A D \sin \angle A D F} = \frac{S_{\triangle M D F}}{S_{\triangle A D F}} = \frac{F M}{A F}, we get
sinMDFsinADF=ADFMDMAF. \frac{\sin \angle M D F}{\sin \angle A D F} = \frac{A D \cdot F M}{D M \cdot A F}.
Similarly, sinNDEsinADE=PDNEPEND\frac{\sin \angle N D E}{\sin \angle A D E} = \frac{P D \cdot N E}{P E \cdot N D}.
Thus, we only need to prove
ADFMAFDM=PDNEPEND \frac{A D \cdot F M}{A F \cdot D M} = \frac{P D \cdot N E}{P E \cdot N D}
or
FMPEAFNE=DMPDADND. \frac{F M \cdot P E}{A F \cdot N E} = \frac{D M \cdot P D}{A D \cdot N D}.
Now, we prove the above equation holds.
FMPEAFNE=SQFMSQQFSQPESQNE=QMsinFQMAQsinAQFPQsinEQPNQsinNQE=QMPQAQNQ. \begin{array}{l} \frac{F M \cdot P E}{A F \cdot N E} = \frac{S_{\triangle Q F M}}{S_{\triangle Q Q F}} \cdot \frac{S_{\triangle Q P E}}{S_{\triangle Q N E}} \\ = \frac{Q M \sin \angle F Q M}{A Q \sin \angle A Q F} \cdot \frac{P Q \sin \angle E Q P}{N Q \sin \angle N Q E} \\ = \frac{Q M \cdot P Q}{A Q \cdot N Q}. \end{array}

Since DQD Q bisects MDN\angle M D N, we have DMDN=QMQN\frac{D M}{D N} = \frac{Q M}{Q N}.
Thus, we only need to prove PDAD=PQAQ\frac{P D}{A D} = \frac{P Q}{A Q}.
By Menelaus' Theorem, we know
PQAQ=PMBMBNAN=SAPCSABCSBPCSPC=SBPCSABC=PDAD. \begin{array}{l} \frac{P Q}{A Q} = \frac{P M}{B M} \cdot \frac{B N}{A N} \\ = \frac{S_{\triangle A P C}}{S_{\triangle A B C}} \cdot \frac{S_{\triangle B P C}}{S_{\triangle P C}} = \frac{S_{\triangle B P C}}{S_{\triangle A B C}} = \frac{P D}{A D}. \end{array}

Thus, the proposition is proved.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.