在正方形ABCD中,E是CD的中点,EF⊥AE,求证:BF=3FC