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
⇒ ∠ A 1 = ∠ D 1 (so le trong)
Lại có: ∠ A 1 = ∠ A 2 ( vì AD là tia phân giác của góc BAC).
Suy ra: ∠ D 1 = ∠ A 2
⇒ ∆ 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.