如图,以直角三角形ABC边为直径作圆O交斜边AB于点E