在平面直角坐标系中，O为原点，点A（﹣6，0）、点C（0，6），若正方形OABC绕点O顺时针旋转，得正方形OA′B′C′，记旋转角为α：