三角形ABC的顶点在圆O上,AD为直径,DE垂直BC为E,AF垂直BC于F,证明BE=CF