在矩形ABCD中,E是DC上的一点,且AB=AE,角CBE=15°.求证:AB=2BC