Chứng minh: tam giác AHB đồng dạng với AFD và suy ra các kết quả tương tự.
Giải thích

Vì ΔBDFΔBAC⇒BDF^=BAC^⇔ADF^=ABH^ (cùng phụ với BDF^=BAC^)
Xét ΔAHB và ΔAFDcó: ABH^=ADF^A^(chung)⇒ΔAHBΔAFD(g−g)
Tương tự ta có: ΔAED~ΔAHC

Vì ΔBDFΔBAC⇒BDF^=BAC^⇔ADF^=ABH^ (cùng phụ với BDF^=BAC^)
Xét ΔAHB và ΔAFDcó: ABH^=ADF^A^(chung)⇒ΔAHBΔAFD(g−g)
Tương tự ta có: ΔAED~ΔAHC