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 (điều phải chứng minh.)