在正方形ABCD中,点E,F分别在BC和CD上,AE等于AF,求证,BF等于DF