连结OC,BF
因为DE与圆O相切于C
所以OC垂直于DE
因为AD垂直于DE
所以OC平行于BF
因为AB为圆O的直径
所以角AFB为直角
所以OC垂直于BF
因为BF为圆O的弦(根据垂径定理)
oc平分弧BF