已知正方形abcd中,e是bc边上的中点,f在cd上,且df=3cf,求证ae⊥ef