1. (2020·通州模拟) 已知：△ABC为等边三角形．

1. （1） 求作：△ABC的外接圆⊙O ． （不写作法，保留作图痕迹）
3. （2） 射线AO交BC于点D ， 交⊙O于点E ， 过E作⊙O的切线EF ， 与AB的延长线交于点F ．

   ①根据题意，将（1）中图形补全；

   ②求证：EF∥BC；

   ③若DE＝2，求EF的长．