已知圆O是等角直角三角形ABC的外接圆