* Tìm cách giải. Để chứng minh EF//BC , suy luận một cách tự nhiên chúng ta cần vận dụng định lý Ta-let đảo. Do vậy cần chứng minh tỉ lệ thức ABAE=ACAF . Nhận thấy để định hướng tỉ lệ thức ấy cũng như khai thác được EDC^=FDB^=90°  chúng ta cần kẻ BO⊥CD;CM⊥DB , để có các đường thẳng song song rồi vận dụng định lý Ta-let. Từ đó chúng ta có lời giải sau:

* Trình bày lời giải.

Kẻ BO⊥CD;CM⊥DB, BO và CM cắt nhau tại I ⇒ D là trực tâm của ΔBIC

⇒DI⊥BC⇒ I, D, A thẳng hàng.

DE//BI⇒AIAD=ABAE.

 suy ra ABAE=ACAF⇒EF//BC

(Định lý Ta-let đảo).