1. (2019·昆明模拟) 如图，⊙O的半径OA＝4，AB是弦，直线EF经过点B，AC⊥EF于点C，∠BAC＝∠OAB.

1. （1） 求证：EF是⊙O的切线；
3. （2） 若AC＝2，求AB的长；
5. （3） 在（2）的条件下，求图中阴影部分的面积.