如图①，正方形ABCD的边长为4，将正方形ABCD绕点A逆时针旋转α（0°＜α≤90°）得到正方形AEFG，连接BE并延长交CF于点O，连接AC，AF．