已知:AB是圆O的直径,CD是弦,AE⊥CD,垂足为E,BF⊥CD,垂足为F,求证:EC=DF