a/ Xét tam giác ABC có:  AB = AC (gt) => Tam giác ABC cân tại A

Xét tam giác ABE và tam giác ACE:

^B = ^C (tam giác ABC cân tại A)

^BAE = ^CAE (AE là tia phân giác của góc BAC)

 AB = AC (tam giác ABC cân tại A)

=> Tam giác ABE = Tam giác ACE (g c g)

b/ Xét tam giác ABC cân tại A:  AE là tia phân giác của góc BAC (gt)

=> AE là đường trung trực của đoạn thẳng BC (TC các đường trong tam giác cân)