D是弧BC的中点,过点B作BE垂直于AD 求EF的长