(10分)如图1,O为正方形ABCD的中心,
分别延长OA、OD到点F、E,使OF=2OA,
OE=2OD,连接EF.将△EOF绕点O逆时针
旋转角得到△E1OF1(如图2).
(1)探究AE1与BF1的数量关系,并给予证明;
(2)当=30°时,求证:△AOE1为直角三角形.
(10分)如图1,O为正方形ABCD的中心,
分别延长OA、OD到点F、E,使OF=2OA,
OE=2OD,连接EF.将△EOF绕点O逆时针
旋转角得到△E1OF1(如图2).
(1)探究AE1与BF1的数量关系,并给予证明;
(2)当=30°时,求证:△AOE1为直角三角形.