圆O是三角形abc的外接圆,AE平分角BAC交圆O于点E