一个几何问题和猜测

任意四边形ABCD，GI//CD，HI//BC，直线AI与EF交于J，直线AC与BD交于O。

求证：DO:OB=EJ:JF。

猜测：如果I和J重合，那么2∠EAF=∠BAD。

画板地址在这里。