在三角形ABC中,AD是BC边上的高,且AD=1/2BC,E,F分别是AB,AC的中点,求证:以EF为直径的圆与BC相切