1. (2020九下·青山月考) 如图，△ABC内接于⊙O，BC是⊙O的直径，弦AF交BC于点E，∠CAF＝2∠B．

1. （1） 求证：AE＝AC；
3. （2） 若⊙O的半径为4，E是OB的中点，求EF的长．