1. (2019·荆门模拟) 在△ABC中，∠B＝90°，AB＝BC，点D是BC边上的一点，连接AD，将AD绕点D顺时针旋转90°得到DE，作EF⊥BC交BC的延长线于点F．

1. （1） 依题意补全图形；
3. （2） 求证：EF＝CF．