矩形的判定;全等三角形的判定与性质;勾股定理;等腰直角三角形;平行四边形的性质.
(1)根据直角三角形性质、等腰三角形性质、直角三角形斜边上中线性质求出∠EBD=∠C,BD=DC=AD,求出∠ADE=∠BDF,∠EDB=∠FDC,证△EBD≌△FCD,△ADE≌△BDF,求出DE=3,DF=4,根据勾股定理求出EF即可;
(2)①推出平行四边形ABEC,推出AF=EF,BF=CF,根据SSS证两三角形全等即可;
②求出FA=FB,推出AE=BC,根据矩形的判定推出即可.
本题考查了矩形的判定,平行四边形的性质和判定,全等三角形的性质和判定,等腰三角形的性质,直角三角形斜边上中线性质等知识点的综合运用.