Trong ΔADB, ta có: MN // AB (gt)
Suy ra: hệ quả định lí ta-lét) (1)
Trong ΔACB, ta có: PQ // AB (gt)
Suy ra: Hệ quá định lí Ta-lét) (2)
Lại có: NQ // AB (gt)
AB // CD (gt)
Suy ra: NQ // CD
Trong ΔBDC, ta có: NQ // CD (chứng minh trên)
Suy ra: (Định lí Ta-lét) (3)
Từ (1), (2) và (3) suy ra hay MN = PQ.