在正方形ABCD-A1B1C1D1中,E为AB中点,F为A1A的中点.求证: