如图梯形ABCD中，AD∥BC，AB=DC=2，∠ABC=60°，且BD⊥AC，EF是梯形的中位线，求EF的长．

23、已知梯形ABCD中，AD∥BC，AB=AD（如图所示），∠BAD的平分线AE交BC于点E，连接DE．
（1）在下图中，用尺规作∠BAD的平分线AE（保留作图痕迹不写作法），并证明四边形ABED是菱形．
（2）若∠ABC=60°，EC=2BE．求证：ED⊥DC．