Ta có: \(\widehat{DAE}=\dfrac{\widehat{DAB}}{2}\)
\(\widehat{BCF}=\dfrac{\widehat{BCD}}{2}\)
mà \(\widehat{DAB}=\widehat{BCD}\)
nên \(\widehat{DAE}=\widehat{BCF}\)
Xét ΔDAE và ΔBCF có
\(\widehat{DAE}=\widehat{BCF}\)
AD=CB
\(\widehat{ADE}=\widehat{CBF}\)
Do đó: ΔDAE=ΔBCF
Suy ra: AE=CF và DE=BF
Ta có: AF+BF=AB
DE+EC=DC
mà BF=DE
và AB=DC
nên AF=EC
Xét tứ giác AECF có
AF=EC
AE=CF
Do đó: AECF là hình bình hành