循环矩阵性质证明