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 FAE
nên AEDF là hình thoi
b: Xét ΔABC có AD là phân giác
nên \(\dfrac{CD}{DB}=\dfrac{AC}{AB}\left(1\right)\)
Xét ΔABC có DE//AB
nên \(\dfrac{CD}{DB}=\dfrac{CE}{EA}\left(2\right)\)
Từ (1) và (2) suy ra \(\dfrac{AC}{AB}=\dfrac{EC}{EA}\)
=>\(AC\cdot AE=AB\cdot EC\)