Chứng minh: tam giác AEF đồng dạng với ABC, tam giác BDF đồng dạng với EDC

Vì ΔCFAΔBEA⇒FAEA=ACAB 

Xét ΔAEF và ΔABC có:  FAAE=ACAB(cmt)A^(chung)⇒ΔAEFΔABC(c−g−c) 

Chứng minh tương tự ta có ΔBDFΔBACΔBACΔEDC⇒ΔBDFΔEDC (t/c..)