如图,在正方形ABCD中,E是DC边上一点,△ADE经顺时针旋转后与△ABF重合.