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