圆的开放证明题三角形ABC是圆O的内接三角形,AC=BC,D为圆O中AB弧上一点,延长DA至点E,使CE=CD,求证AE