相切。因为点D是弧BC中点,则:OD垂直BC又:EF//BC则:EF垂直OD即EF是圆O的切线。
EF与圆O相切证明:连接OD∵AD是∠BAC的平分线∴弧BD=弧CD∴OD⊥BC∵EF∥BC∴OD⊥EF∴EF是圆O的切线