如图，BA是圆O的直径，延长BA至E，使得AE=AO,过E点作圆O的割线交圆O于D、E，使AD=DC,

求证：;
若ED=2，求圆O的内接四边形ABCD的周长。