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.