已知以直角三角形ABC的AC边为直径