已知圆o是等腰直角三角形abc的外接圆