如图,在正方形ABCD中,延长CB至E,连接AE,过点A作AF垂直AE交DC于F,求证:△ABE全等△ADF