1. (2021九上·十堰期中) 在△ABC中，AB＝BC＝2，∠ABC＝120°，将△ABC绕点B顺时针旋转角α（0°＜α＜90°）得△A₁BC₁ ， A₁B交AC于点E，A₁C₁分别交AC、BC于D、F两点.

1. （1） 如图1，观察并猜想，在旋转过程中，线段EA₁与FC有怎样的数量关系？并证明你的结论；
3. （2） 如图2，当α＝30°时，试判断四边形BC₁DA的形状，并说明理由；
5. （3） 在（2）的情况下，求ED的长.