Cho ABC có AB < AC. Kẻ tia phân giác AD của góc BAC

∆ABD = ∆AED (c.g.c) => BD = ED

∆AFD = ∆ACD (c.g.c) => ED = CD.

Mà AF = AC;AB = AE

=>AF - AB = AC - AE hay BF = CE.

 Vậy ∆BDF = ∆EDC (c.c.c).

b) Đã có BF = EC.

c) Gọi H là giao điểm của AD và FC.

Ta có ∆AFH = ∆ACH (c.g.c) nên

AHF^=AHC^ = 90° => ĐPCM