已知AB是圆O的直径,旋CD在AB一侧,CE垂直CD,DF垂直CD,分别交AB于E,F,求证:AE等于BF