如图，在△ABC中，点D，E分别是边BC，AC的中点，连结DE，AD，点F在BA的延长线上，且AF=AB，连结EF，判断四边形ADEF的形状，并加以证明。