a) Xét tam giác ADB và tam giác ADC có:
+ AB = AC (gt).
+ ^BAD = ^CAD (do AD là phân giác).
+ AD chung.
=> Tam giác ADB = Tam giác ADC (c - g - c).
b) Xét tam giác ABC có: AB = AC (gt).
=> Tam giác ABC cân tại A.
Mà AD là phân giác ^BAC (gt).
=> AD là đường cao (Tính chất các đường trong tam giác cân).
=> AD vuông góc BC (đpcm).