1. (2020八下·门头沟期末) 如图，在正方形ABCD中，E是边AB上的一动点（不与点A ， B重合），连接DE ， 将线段ED绕点E顺时针旋转90°得到线段EF ， 连接BF ．

1. （1） 按已知补全图形；
3. （2） 用等式表示线段BF与AE的数量关系并证明．（提示：可以通过旋转的特征构造全等三角形，从而可以得到线段间的数量关系，再去发现生成的特殊的三角形，问题得以解决）