如图,在直角三角形中,∠ABC=90°,D是点AC的中点,圆O经过ABC三点,CB的延长线交圆O与点E,求证AE=EC