如图，已知正方形ABCD的边长是2，点E是AB的中点，延长BC到点F，使CF＝AE．现把向左平移，使与重合，得，交于点．

证明：AH⊥DE
求的长．