Chứng minh được ADEF là hình bình hành, từ đó: EF=AD   (1)

Kẻ MG//AC  (G Î AB), ta được G là trung điểm của AB. Áp dụng định lý Ta-lét trong ΔABC , ta có: CFEF=ACAB   (2)

Tương tự với ΔAGM và ΔABC , ta có:

  DKAD=MGAG=MGBG=ACAB (3)

Từ (1), (2), (3) ta suy ra CF=DK