已知：如图所示，△ABC中，E、F、D分别是AB、AC、BC上的点，且DE∥AC，DF∥A B，要使四边形AEDF是菱形，在不改变图形的前提下，你需添加的一个条件是                     ，试证明：这个多边形是菱形.