已知：如图，四边形ABCD是矩形（AD＞AB），点E在BC上，且AE=AD，DF⊥AE，垂足为F。请探求DF与AB有何数量关系？写出你所得到的结论并给予证明。