Vì OE // DC ==> OA/AC = OE/DC (định lý Ta-let) (1)
Vì OF // DC ==> OB/BD = OF/DC (định lý Ta-let) (2)
Vì AB // CD ==> OA/OC = OB/OD (định lý ta-let)
Theo tính chất dãy tỉ số bằng nhau ta có:
OA/OC = OB/OD <=> OA / (OA + OC) = OB / (OB + OD)
<=> OA / AC = OB / BD (3)
Từ (1), (2) và (3) suy ra ta có:
OE / DC = OF / DC <=> OE = OF (đpcm)