在正方形ABCD中,E是BC边上的任意一点。连接AE,作角EAD的平分线,交CD于F。求AE等于BE加DF.