AB为直径的圆O交BC于点D,过点D做EF垂直AC