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