(10分)如图1,O为正方形ABCD的中心,分别延长OA、OD到点F、E,使OF=2OA
(10分)如图1,
O为正方形
ABCD的中心,

分别延长
OA、
OD到点
F、
E,使
OF=2
OA,
OE=2
OD,连接
EF.将△
EOF绕点
O逆时针
旋转

角得到△
E1OF1(如图2).
(1)探究
AE1与
BF1的数量关系,并给予证明;
(2)当

=30°时,求证:△
AOE1为直角三角形.
解:(1)
AE1=
BF1,证明如下:

∵
O为正方形
ABCD的中心,∴
OA=
OB=
OD,∴
OE=
OF ∵△
E1OF1是△
EOF绕点
O逆时针旋转

角得到,∴
OE1=
OF1。 ∵
∠
AOB=∠
EOF=90
0,
∴
∠
E1OA=90
0-∠
F1OA=∠
F1OB
OE1=
OF1在△
E1OA和△
F1OB中, ∠
E1OA=∠
F1OB,∴△
E1OA≌△
F1OB (SAS)
OA=
OB ∴
AE1=
BF1。
(2)取
OE1中点
G,连接
AG。
∵∠
AOD=90
0,

=30° ,∴
∠
E1OA=90
0-

=60°。
∵
OE1=2OA,∴OA=OG,∴
∠
E1OA=∠
AGO=∠
OAG=60°。
∴
AG=GE
1,∴∠
GAE1=∠
GE1A=30°。∴∠
E1AO=90°。
∴△
AOE1为直角三角形。解析:
略