Xét tam giác ABC có : AB = BC (gt)
=> tam giác ABC cân tại B
=> góc BAC = góc BCA (1)
Vì AC là tia phân góc của góc A (gt) => góc BAC = góc CAD (2)
từ (1) và (2) => góc BCA = góc CAD mà hai góc này nằm ở vị trí so le trong => AD // BC
Vậy tứ giác ABCD là hình thang => ĐPCM