已知：如图所示，矩形ABCD中，E是BC上的一点，且AE=BC，∠EDC=15°．

求证：AD=2AB．