三角形ABC是圆O的内接三角形、若AD是三角形ABC的高、AE是圆O的直径、F是弧BC的中点、