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 

c) 
*AI cắt ED tại J', ta cm J' ≡ J 
Từ tính chất tgiác đồng dạng ta có: 

EJ'/BI = AE/AB = ED/BC = ED/2BI 
=> EJ' = ED/2 => J' là trung điểm ED => J' ≡ J 
Vậy A,I,J thẳng hàng 

*OI cắt ED tại J" ta cm J" ≡ J 
hiễn nhiên ta có: 
OD/OB = ED/BC (tgiác ODE đồng dạng tgiác OBC) 
mặt khác: 
^J"DO = ^OBI (so le trong), ^J"OD = ^IOB (đối đỉnh) 
=> tgiác J"DO đồng dạng với tgiác IBO 

=> J"D/IB = OD/OB = ED/BC = ED/ 2IB 

=> J"D = ED/2 => J" là trung điểm ED => J" ≡ J 

Tóm lại A,I,O,J thẳng hàng