1. (2020·上城模拟) 如图，AB=BC，以BC为直径作⊙O，AC交⊙O于点D，过D作DE⊥AB于点F，交CB的延长线于点E。

1. （1） 求证：ED是⊙O的切线；
3. （2） 若EF= ，EB=2，求图中阴影的面积。