在三角形ABC中,AD垂直BC于D,E,F分别是AB,AC的中点,且EF等于AD,以EF为直径作圆O.求证:BC为圆O的