Cách dựng:

- Dựng đường phân giác AD của góc BAC.

- Qua D dựng đường thẳng song song AB cắt AC tại F.

- Qua F dựng đường thẳng song song với BC cắt AB tại E.

Ta có điểm E, F cần dựng.

Chứng minh:

DF // AB

⇒ ∠A1= ∠D1(so le trong)

Lại có: ∠A1= ∠A2 ( vì AD là tia phân giác của góc BAC).

Suy ra: ∠D1= ∠A2

⇒ ∆AFD cân tại F ⇒ AF = DF (l)

DF // AB hay DF // BE

EF // BC hay EF // BD

Tứ giác BDFE là hình bình hành ⇒ BE = DF (2)

Từ (1) và (2) suy ra: AF = BE.