已知圆o是以ab为直径的三角形abc的外接圆