已知:AB是圆O的直径 CD是铉 AE⊥CD BF⊥CD 求证:EC=DF