a) Ta có: DE//AB(gt)
=> \(\widehat{ADE}=\widehat{BAD}\)(so le trong)
Mà \(\widehat{BAD}=\widehat{DAE}\)(AD là phân giác)
\(\Rightarrow\widehat{ADE}=\widehat{DAE}\)
=> Tam giác AED cân tại E
b) Xét tứ giác BFED có:
EF//BD
ED//BF
=> BFED là hình bình hành
=> ED=BF
Mà AE=ED(AED cân tại E)
=> AE=BF