如图，△ABC是边长为4的等边三角形，点O在边AB上，☉O过点B且分别与边AB，BC相交于点D，E，EF⊥AC，垂足为F.