如图，已知正方形ABCD的边长为a，E为CD边上一点（不与端点重合），将△ADE沿AE对折至△AFE，延长EF交边BC于点G，连接AG，则，若CF＝FG，则DE＝．