正方形ABCD-A1B1C1D1中,E,F分别为BB1和A1D1的中点,证明向量A1B,B1C,EF为共面向量