a) Xét tam giác ABD và tam giác ACD, có:

AB = AC ( Giả thiết ) (1)

AD chung (2)

Góc BAD = CAD ( D là tia phân giác của góc A ) (3)

Từ (1); (2); (3) => tam giác ABC = tam giác ACD ( c-g-c)

b) Tam giác ABC = tam giác ACD => DB = DC ( 2 cạnh tương ứng ).