Ax ⊥ AB

By ⊥ AB

Suy ra: Ax // By hay AC // BD

Trong tam giác BND, ta có AC // BD

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

Theo tính chất hai tiếp tuyến cắt nhau, ta có:

AC = CM và BD = DM      (2)

Từ (1) và (2) suy ra: ND/NA = MD/MC

Trong tam giác ACD, ta có: ND/NA = MD/MC

Suy ra: MN // AC (theo định lí đảo định lí Ta-lét)

Mà: AC ⊥ AB (vì Ax ⊥ AB)

Suy ra: MN ⊥ AB