已知如图,以RT三角形ABC的边为直径作圆O交斜边于