如图,已知四边形ABCD是矩形(AD>AB),点E在BC上,且AE=AD,DF⊥AE,垂足为F.证明:df=ab