在正方体ABCD-A1B1C1D1中,E为AB的中点,F为AA2的中点求证