将正方形ABCD绕中心O顺时针旋转角α得到正方形A1B1C1D1,如图1所示.