• Tam giác BAE có BA = BE nên cân tại B.

Do đó \(\widehat {BAE} = \widehat {BEA}\).

Mà \(\widehat {ABE} + \widehat {BAE} + \widehat {BEA} = 180^\circ \).

Suy ra \(\widehat {BAE} = \widehat {BEA} = \frac{{180^\circ - \widehat {ABE}}}{2}\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\left( 1 \right)\)

Tương tự với tam giác BFC ta cũng có \(\widehat {BFC} = \widehat {BCF} = \frac{{180^\circ - \widehat {FBC}}}{2}\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\left( 2 \right)\)

Từ (1) và (2) suy ra \(\widehat {BAE} = \widehat {BFC}\).

Mà hai góc này ở vị trí đồng vị nên AE // FC.

Lại có AE ⊥ BD (do BD là đường trung trực của AE)

Do đó BD ⊥ FC.

• Xét DBFC có BD ⊥ FC, CA ⊥ BF, BD cắt CA tại D nên D là trực tâm của DBFC.

Suy ra FD ⊥ BC.

Mà DE ⊥ BC (do \(\widehat {BED} = 90^\circ \))

Do đó ba điểm F, D, E thẳng hàng.