如图,在正方形ABCD中,E为BC上一点,AF评分角DAE交CD于点F,求证AE=BE+DF.