在棱长为A的正方体ABCD-A1B1C1D1正方体中,EF分别是棱AB,BC上的动点,且AE=BF,求证A1F⊥C1E