四边形ABCD是正方形,点G是BC上的任意一点,DE⊥AG于点E,BF//DE,且交AG于点F,求证:AF-BF=EF