As shown in Figure 5, connect DM and DN. Draw RK//BC through point A.
First, prove: ∠NDA=∠MDA.
From △ARN∽△BDN and △AKM∽△CDM, we have
AR=BNAN⋅BD,
AK=MCAM⋅DC.
By Ceva's Theorem, we get NBAN⋅DCBD⋅MACM=1, which means
NBAN⋅BD=MCAM⋅DC.
From equations (1), (2), and the above equation, we get AR=AK.
Since AD⊥BC, we have AD⊥RK, thus
∠NDA=∠MDA.
Therefore, we only need to prove
sin∠ADFsin∠MDF=sin∠ADEsin∠NDE.
Let ∠ADM=∠ADN=θ, ∠ADF=α, and ∠ADE=β.
Equation (3) becomes sinαsin(θ−α)=sinβsin(θ−β), which simplifies to sinθ⋅cotα=sinθ⋅cotβ.
Since sinθ=0, we get cotα=cotβ, hence α=β.
Now, we prove equation (3).
From ADsin∠ADFDMsin∠MDF=S△ADFS△MDF=AFFM, we get
sin∠ADFsin∠MDF=DM⋅AFAD⋅FM.
Similarly, sin∠ADEsin∠NDE=PE⋅NDPD⋅NE.
Thus, we only need to prove
AF⋅DMAD⋅FM=PE⋅NDPD⋅NE
or
AF⋅NEFM⋅PE=AD⋅NDDM⋅PD.
Now, we prove the above equation holds.
AF⋅NEFM⋅PE=S△QQFS△QFM⋅S△QNES△QPE=AQsin∠AQFQMsin∠FQM⋅NQsin∠NQEPQsin∠EQP=AQ⋅NQQM⋅PQ.
Since DQ bisects ∠MDN, we have DNDM=QNQM.
Thus, we only need to prove ADPD=AQPQ.
By Menelaus' Theorem, we know
AQPQ=BMPM⋅ANBN=S△ABCS△APC⋅S△PCS△BPC=S△ABCS△BPC=ADPD.
Thus, the proposition is proved.