已知ab是圆o的直径,弦CD垂直AB于E,F是DC延长线