过O作OG⊥CD于G
∵O为圆心,CD为弦,OG⊥CD
∴CG=DG（弦的过圆心垂线平分弦）
又∵AE⊥CD,BF⊥CD
∴AE‖BF
∴OA/OB=EG/FG（相似）
又∵OA=OB∴EG=FG
又∵CG=DG∴EG-CG=FG-DG
即EC=DF