E是正方形ABCD的边BC上的一点,AF平分角DCE且交DC于点F,求证:AE=BE+DF