1. (2022·兴城模拟) 如图，△ABC是⊙O的内接三角形，AB是⊙O的直径，CE平分∠ACB交AB于点D，交⊙O于点E，以AD，DE为邻边作▱ADEF．

1. （1） 求证：EF是⊙O的切线；
3. （2） 若BC= ， ∠BAC=30°，求线段CE的长．