1. (2021八下·丹徒期末) 如图，将矩形ABCD绕点顺A时针旋转α°(0°＜α＜360°)，得到矩形AEFG.

1. （1） 如图1.当点E在BD上时，

   ①求证：∠BEA=∠BDC；

   ②连接AF，判断四边形BAFD的形状，并说明理由

3. （2） 若AB=4，AD= ，当GC＝GB时，求ED的长度（画出图形，直接写出结果）