已知三角形ABC的定点都在圆o上,AD是三角形ABC的高