1. (2019八下·武侯期末) 如图，在△ABC中，∠ABC=90°，将△ABC绕点C顺时针旋转得到△DEC，连接AD，BE，延长BE交AD于点F．

1. （1） 求证：∠DEF=∠ABF；
3. （2） 求证：F为AD的中点；
5. （3） 若AB=8，AC=10，且EC⊥BC，求EF的长．