循环矩阵性质