如图12-1,直角三角形ABC,以斜边AB为直径做圆