三角形ABC的顶点都在圆O上,AD是三角形ABC的高,AE是圆O的直径