在正方体ABCD-A1B1C1D1中,EF为棱AD、AB的中点