a) có ^ABC = ^ACB (hiễn nhiên) 
=> ^DBC = ^ECB, BC là cạnh chung 
=> tgiác DBC = tgiác ECB 
=> BE = CD mà AB = AC 
=> AE/AB = AD/AC 
=> ED // BC 

b) từ cm trên đã có BE = CD, ta chỉ cần cm BE = ED? 

Có: ^EDB = ^DBC (so le trong) 
mà ^DBC = ^EBD (BD là phân giác) 

=> ^EDB = ^DBC = ^EBD 
=> tgiác BED cân tại E 
=> BE = ED