已知⊙O的直径AB⊥CD,作CD的延长线上任意一点E,连接AE交圆于F,求证AC×EF=DE×CF