如图,在菱形ABCD中,AB=4,E是BC的中点,且AE⊥BC.