Tam giác ABD có OE//AB
=>DO/DB = OE/AB (Theo hệ quả Đlý Ta-lét) (1)
Tam giác ABC có OF//AB
=>CO/CA = OF/AB (Theo hệ quả Đlý Ta-lét) (2)
Tam giác ABO có CD//AB
=>OD/OB = OC/OA (Theo hệ quả Đlý Ta-lét)
=> OD/(OB+OD) = OC/(OA+OC) hay OD/DB=CO/CA (3)
Từ (1) (2) và (3)
=> OE/AB = OF/AB
=> OE = OF (đpcm.)