a: Xét tứ giác AEDF có
AE//DF
AF//DE
Do đó: AEDF là hình bình hành
Hình bình hành AEDF có AD là phân giác của góc EAF
nên AEDF là hình thoi
b: Xét ΔBAC có AD là phân giác
nên \(\dfrac{AB}{AC}=\dfrac{BD}{DC}\left(1\right)\)
Xét ΔBAC có DF//AC
nên \(\dfrac{BD}{DC}=\dfrac{BF}{FA}\left(2\right)\)
Từ (1),(2) suy ra \(\dfrac{AB}{AC}=\dfrac{BF}{FA}\)
=>\(AB\cdot AF=BF\cdot AC\)