已知AB是半径为1的圆O的一条弦，且 =a<1,以AB为一边在圆O内作正三角形ABC，点D为圆O上不同于点A的一点，且DB=AB=a,DC的延长线交圆O于点E，求AE的长。