1. (2023九上·温岭期中) 如图，在正方形ABCD中，线段CD绕点C逆时针旋转到CE处，旋转角为α（0°＜α＜90°），点F在直线DE上，且AD＝AF ， 连接BF ．

1. （1） 求∠BAF的大小（用含α的式子表示）．
3. （2） 求证：EF＝BF ．