Gọi KO cắt AB, CD lần lượt tại M, N.

ΔKDN có AM // DN (A ∈ KD, M ∈ KN) ⇒  (Hệ quả định lý Ta-let)

ΔKCN có BM // CN (M ∈ KN, B ∈ KC) ⇒  (Hệ quả định lý Ta-let)

ΔOCN có AM // NC (A ∈ OC, M ∈ ON) ⇒  (Hệ quả định lý Ta-let)

ΔODN có MB // ND (M ∈ ON, B ∈ OD) ⇒  (Hệ quả định lý Ta-let)

Từ (1) và (2) suy ra  ⇒ CN = DN ⇒ AM = MB

Vậy M, N là trung điểm AB, CD.