【如图1，四边形ABCD中，AD∥BC，AB⊥BC，点E在边AB上，∠DEC=90°，且DE=EC．（1）求证：△ADE≌△BEC；（2）若AD=a，AE=b，DE=c，请用图1证明勾股定理：a2+b2=c2；（3）线段AB上另有一点F（不与点E重合】

　　如图1，四边形ABCD中，AD∥BC，AB⊥BC，点E在边AB上，∠DEC=90°，且DE=EC．

　　（1）求证：△ADE≌△BEC；

　　（2）若AD=a，AE=b，DE=c，请用图1证明勾股定理：a2+b2=c2；

　　（3）线段AB上另有一点F（不与点E重合），且DF⊥CF（如图2），若AD=2，BC=4，求EF的长．