如图已知AB是圆O的直径直线l交圆O于C、D两点,AE⊥L,E、F是垂足求证EC=DF