证明
连接EF,交AD于G
∵E,F分别是AB,AC的中点
∴EF∥BC,GD=AD/2
∵EF=AD
∴GD=EF/2
∵AD⊥BC
∴AD⊥EF
∴EF到BC的距离为EF/2
∵直径为EF
∴BC为圆O的切线