以Rt三角形ABC的一条直角边AB为直径作圆,交斜边BC于E,F是AC的中点.求证:EF是圆O的切线