已知正方体abcd-a1b1c1d1 ,ef分别是AA1,CC1的中点,求证BF平行且等于ED1