2). Từ AD là phân giác B A C ^ suy ra DB=DC vậy DE vuông góc với BC tại trung điểm N của BC.
Từ 1). Δ B D M ∽ Δ B C F , ta có D M C F = B D B C .
Vậy ta có biến đổi sau D A C F = 2 D M C F = 2 B D B C = C D C N = D E C E (3).
Ta lại có góc nội tiếp A D E ^ = F C E ^ (4).
Từ 3 và 4, suy ra Δ E A D ∽ Δ E F C ⇒ E F C ^ = E A D ^ = 90 ° ⇒ E F ⊥ A C