已知如图12,以RT△ABC的AC边为直径作圆O交斜边AB于点E