以rt三角形abc的直角边ab为直径的作半圆o