Ta có AB = BC (gt)
Suy ra: ∆ABC cân.
Nên A1ˆ=C1ˆA1^=C1^ (1)
Lại có \(\widehat{A_1}=\widehat{A_2}\) (2) (vì AC là tia phân giác của ˆAA^)
Từ (1) và (2) suy ra \(\widehat{C_1}=\widehat{A_2}\)
nên BC // AD (do \(\widehat{A_1};\widehat{C_2}\) ở vị trí so le trong)
Vẽ hình :