Ta có: HM = HA (vì M là điểm đối xứng của H qua D) $\angle HND = \angle HAM = \angle HAD$ (do ND // AM) $\angle HAN = \angle HDM = \angle HDA$ (do AN // DM)

Từ đó suy ra $\Delta HND \sim \Delta HAD$ và ta có $HN.AD=AN.DM$.