证明:由题知BD=BA,BE=CB,∠DBE=∠ABC,所以△BDE≌△BAC.
所以DE=AC.即DE=AF.同理证得△ABC≌△FEC,即EF=AB=DA.
因DE=AF,DA=EF,所以四边形ADEF为平行四边形.