圆O是三角形ABC的外接圆,角BAC的角平分线交BC于E,交圆O于D,若AE=AC,求证AB=AD