Cho tam giác ABC vuông tại A. Tia phân giác của  cắt AC tại D

+) Xét ΔABD và ΔMBD có:

           BA=BM  (gt)

           B1^=B2^ ( BD là tia phân giác của B^)

           BD: cạnh chung

⇒ΔABD=ΔMBD  (c.g.c)

⇒ BMD^=BAC^ (2 cạnh tương ứng)

hay BMD^=900  ⇒ DM⊥BC