如图、在RT三角形ABC中、角ABC=90度、D是AC的中点、圆O经过ABC三点、CB的延长线交圆O于点E,求证:AE=