在三角形ABC中,角ABC等于九十度,以AB中点O为圆心