如图,边长为1的正方形ABCD绕点A逆时针旋转45°后得到正方形AB₁C₁D₁