Trong tam giác ACD, ta có: MN // AC

Suy ra: MN/AC = DN/DA (hệ quả định lí Ta-lét)     (3)

Trong tam giác ABC, ta có: MH // AC (vì M, N, H thẳng hàng)

Suy ra: HN/AC = BN/BC (hệ quả định lí Ta-lét)     (4)

Trong tam giác BDN, ta có: AC // BD

Suy ra: ND/NA = BN/NC (hệ quả định lí Ta-lét)

⇒ ND/(DN + NA) = BN/(BN + NC) ⇔ ND/DA = BN/BC      (5)

Từ (3), (4) và (5) suy ra: MN/AC = HN/AC ⇒ MN = HN