如图,正方形ABCD的边AB=4,点E,F分别是边BC,CD的中点,连结EF,圆O恰好与线段AD,AB,EF都相切,则圆