1. (2017·淄川模拟) 如图，⊙O的直径AB=4，C，D为圆周上两点，且四边形OBCD是菱形，过点D的直线EF∥AC，交BA，BC的延长线于点E，F．

1. （1） 求证：EF是⊙O的切线；
3. （2） 求DE的长．