以RT三角形ABC的直角AB为直径的半圆o