以RT△的直角边AB为直径作圆O交AC于点D、DE切圆O于D,交BC于点E,求证BE=EC.