在长方形ABCD-A1B1C1D1中,AB=2,AD=AA1=1,点E是棱AB的中点,求证:B1C//A1DE