1. (2020九上·高安期中) 如图①，正方形ABCD的边长为4，将正方形ABCD绕点A逆时针旋转α（0°＜α≤90°）得到正方形AEFG，连接BE并延长交CF于点O，连接AC，AF．

1. （1） 旋转角α与∠OBC的数量关系是，∠OBC与∠OEF的数量关系是；
3. （2） 猜想：在旋转过程中，OC与OF的数量关系是什么？请证明你的结论；
5. （3） 如图②，当α＝45°时，求△BCH的面积．