(·湖南长沙)如图,在菱形ABCD中,AB=2,∠ABC=60°,对角线AC、BD相交于点O,将对角线AC所在的直线绕点O顺时针旋转角α(0°<α<90°)后得直线l,直线l与AD、BC两边分别相交于点E和点F。
(1)求证:△AOE≌△COF;
(2)当α=30°时,求线段EF的长度。
(·湖南长沙)如图,在菱形ABCD中,AB=2,∠ABC=60°,对角线AC、BD相交于点O,将对角线AC所在的直线绕点O顺时针旋转角α(0°<α<90°)后得直线l,直线l与AD、BC两边分别相交于点E和点F。
(1)求证:△AOE≌△COF;
(2)当α=30°时,求线段EF的长度。