已知,如图,以rt三角形abc的AC边为直径作圆O交斜边