Xét \(ΔABD\) và \(ΔACD\) có:
+) \(AB = AC\) (tam giác \(ABC\) cân tại \(A\))
+) \(\widehat {BAD} = \widehat {CAD}\) (do \(AD\) là tia phân giác góc \(A\))
+) \(AD\) chung
\( \Rightarrow ΔABD = ΔACD\) ( c.g.c)
\( \Rightarrow \widehat {ABD} = \widehat {ACD}\) (hai góc tương ứng).