如图,在长方体ABCD-A1B1C1D1中,E、F分别是AA1,CC1的中点,求证