a) Xét tam giác BAD và tam giác BED có :

BA = BE ( gt )

^ABD = ^EBD ( BD là tia phân giác của ^B )

BD chung 

=> Tam giác BAD = tam giác BED ( c.g.c )

=> AD = ED ( hai cạnh tương ứng )

=> ^BDA = ^BDE ( hai góc tương ứng )

mà ^BDA + ^BDE = 1800 ( kề bù )

=> ^BDA = ^BDE = 1800/2 = 900

=> BD vuông góc với AE ( đpcm )

b) BD vuông góc với AE

=> D thuộc AE

Lại có AD = ED

=> BD là đường trung trực của AE