已知正方形ABCD中,AB等于2,E是BC中点,DF垂直AE与F.求证三角形ABE全等三角形DFA