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