在△ABC中,AB=BC=2,∠ABC=120°,将△ABC绕点B顺时针旋转角α(0°<α<90°)得△A1BC1 , A1B交AC于点E, A1C1分别交AC、BC于D、F两点.
(1)如图1,观察并猜想,在旋转过程中,线段EA1与FC有怎样的数量关系?并证明你的结论;
(2)如图2,当α=30°时,试判断四边形BC1DA的形状,并说明理由;
(3)在(2)的情况下,求ED的长.

答案
解:(1)EA1=FC
(2)四边形BC1DA为菱形
(3)ED=
知识点:旋转的性质

解:(1)EA1=FC
证明:在△A1BF和△CBE中,
∴△A1BF≌△CBE(ASA)
∴A1E=CF
(2)∵∠A1=∠ABA1,∠C=∠CBC1
∴AB∥C1D,AD∥BC1
∴四边形BC1DA为平行四边形
又∵AB=BC1
∴四边形BC1DA为菱形
(3)如图,过点E做EG⊥AB于点G
∵∠A=∠ABA1=30°
∴△ABE为等腰三角形
∴AG=GB=1
∴AE=
由(2)证得四边形BC1DA为菱形
∴AD=AB=2
∴ED=AD-AE=2-

ED的长
