如图12以rt三角形abc的直角边ab为半径的半圆o