三角形纸片ABC（AB＞AC）沿过点A的直线折叠，使得AC落在AB边上，折痕为AD，展平纸片，如图；再次折叠该三角形纸片，使得点A与点D重合，折痕为EF，再次展平后连接DE、DF，如图，证明：四边形AEDF是菱形．