在垂直于直径AB的弦CD的延长线上取一点E,连接AE交圆于F,求证:AC*EF=DE*CF