如图,已知矩形ABCD中,∠EDC=15°,AD=2AB.求证:AD=AE