已知E是梯形ABCD的腰BC的中点,且AB+CD=AD,求证:AE垂直DE