证明:
∵CD是⊙O的直径
∴∠CED=90°(直径所对的圆周角是直角)
∵CE//AB
∴∠AFD=∠CED=90°
∵AB是⊙O的直径
∴EF=DF(垂径定理:垂直于弦的直径平分弦及弦所对的两条弧)