a) Đường thẳng a cắt đường thẳng BC
*) Nếu a không cắt BC => a trùng BC hoặc a // BC
TH1: a trùng BC
BD là phân giác của góc ABC
BD // a
=> a không thể trùng BC (1)
TH2: a // BC
a // BC => BC trùng BD
mà BD là phân giác của góc ABC
=> a không song song với BC (2)
Từ (1) và (2) => a cắt BC (đpcm)