如图,正方形ABCD的边长为4,E是正方形ABCD的边BC上的一点,过点A作AF垂直于AE交CB延长线于F.说明ADE全等于ABF,判断AEF形状,若DE=1求AFE面积!
图为A------------D
E
F--------B-----------C(连接AEFEABDC)