Vì AB = AC (gt) => tam giác ABC là tam giác cân tại A .
Mà trong tam giác cân, đường phân giác cũng là đường trung trực => BE = EC
Xét tam giác ABE và tam giác ACE:
AB = AC (gt)
BE = EC (cmt)
AE chung
=> tam giác ABE = tam giác ACE (c.c.c)
b) Ta lại có: trong tam giác cân, đường phân giác cũng là đường cao của tam giác đó. => AE vuông góc với BC tại E
Xét tam giác ABC:
BE = EC (ý a)
AE vuông góc với BC tại E. (cmt)
=> AE là đường trung trực của BC