1. (2021八下·历城期末) 在正方形ABCD中，点P是CD边上点，点E在AP的延长线上，将线段AE绕点A顺时针旋转90°，到线段AF ， 连接DE

1. （1） 如图1，连接BF ， 求证：BF＝DE；
3. （2） 如图2，若EF正好经过点B ，

   ①求证：DE⊥EF；

   ②探究BE、BF、BA三条线段的数量关系并证明你的结论；

5. （3） 如图3，当EF经过点C时，若CF＝4，CE＝2，请直接写出此时正方形边的长度）．