在矩形ABCD中,AB=2BC,E为CD上一点,若∠EBC=15°,求证AE=AB