1. (2020·建邺模拟) 数学活动课上，陈老师布置了一道题目：如图，你能用一张锐角三角形纸片ABC折出一个以∠A为内角的菱形吗？

悦悦的折法如下：

第一步，折出∠A的平分线，交BC于点D.

第二步，折出AD的垂直平分线，分别交AB、AC于点E、F，把纸片展平.

第三步，折出DE、DF，得到四边形AE

请根据悦悦的折法在图中画出对应的图形，并证明四边形AEDF是菱形.