Ta có: AD là phân giác của BAC (gt)
=> góc A1 = góc A2
Lại có AB // ED (gt)
=> góc A1 = góc D1 ( 2 góc so le trong )
Mà góc A1 = góc A2 ( cmt )
=> góc A2 = góc D1
=> Tam giác EAD cân tại E
=> EA = ED ( đ/n tam giác cân )
Mặt khác : AB // ED cắt EF // BC => BF = ED (tính chất đoạn chắn)
Mà EA = ED => BF = AE ( đpcm )
( * Tính chất đoạn chắn học ở lớp 7 rồi nhé bạn :3 . Hai đoạn thẳng song song chắn giữa 2 đường thẳng song song thì bằng nhau ( tính chất đoạn chắn )