1. (2022·湘西) 如图，在矩形ABCD中，E为AB的中点，连接CE并延长，交DA的延长线于点F．

1. （1） 求证：△AEF≌△BEC．
3. （2） 若CD＝4，∠F＝30°，求CF的长．