一道数学证明题，各位大哥帮帮忙

延长EB至点G，使BG=DF，连接AG
因为 正方形ABCD内 AB=AD，角ADF=角ABG=90度，BG=DF
所以 三角形AGB全等于三角形AFD
所以 角GAB=角FAD，角AGB=角AFD
因为 AF平分角DAE
所以 角EAF=角FAD
因为 角GAB=角FAD
所以 角GAE=角BAF
因为 正方形ABCD内 AB//CD
所以 角BAF=角AFD
因为 角AGB=角AFD
所以 角BAF=角AGB
因为 角GAE=角BAF
所以 角GAE=角AGB
所以 AE=GE=BE+BG
因为 BG=DF
所以 AE=BE+DF

延长DF到G 使DG=BE 连接AG △AGD≌△AEB AG=AE ∠GAD=∠EAB
∠GAF=∠GAD+∠DAF=∠EAB+∠EAF=∠BAF=∠GFA
∴△AGF 为等腰三角形 GF=GA=AE GF=DF+BE

BE+DF=AE。

过顶点工作对边中点E的连线AE 这个什么意思？？

连接AE？ E是CD中点的话AE肯定等于BE的好不好。。有几何图发个看看吗