1. (2018九上·宜城期末) 如图，在△ABC中，∠ABC=90°，AB=BC，点D在边AC上，将△ABD绕点B顺时针旋转得到△CBE，连接ED并延长交BA的延长线于点F．

1. （1） 求证：∠CDE=∠ABD；
3. （2） 探究线段AD，CD，BE之间的数量关系，并说明理由；
5. （3） 若AD=1，CD=3，求线段EF的长．