已知直角梯形ABCD中,AB平行于DC,角DAB=90度,AD=DC=二分之一AB,E是AB的中点。求证:四边形AECD是正方形