Циркулянт
Циркулянт — это матрица вида
C = ( a 1 a 2 ⋯ a n a n a 1 ⋯ a n − 1 ⋮ ⋮ ⋱ ⋮ a 2 a 3 ⋯ a 1 ) {displaystyle C={egin{pmatrix}a_{1}&a_{2}&cdots &a_{n}a_{n}&a_{1}&cdots &a_{n-1}vdots &vdots &ddots &vdots a_{2}&a_{3}&cdots &a_{1}end{pmatrix}}}Циркулянт можно также кратко описать как ( a j − i + 1 ) i , j = 1 n {displaystyle (a_{j-i+1})_{i,;j=1}^{n}} , где индексы вычисляются по модулю n {displaystyle n} .
Определитель
Обозначим ζ {displaystyle zeta } — первообразный корень из единицы степени n {displaystyle n} . Тогда имеет место следующая формула для определителя циркулянта C {displaystyle C} :
det C = ∏ k = 0 n − 1 ( a 1 + a 2 ζ k + … + a n − 1 ζ k ( n − 2 ) + a n ζ k ( n − 1 ) ) {displaystyle operatorname {det} C=prod limits _{k=0}^{n-1}(a_{1}+a_{2}zeta ^{k}+ldots +a_{n-1}zeta ^{k(n-2)}+a_{n}zeta ^{k(n-1)})} ДоказательствоОбозначим f ( x ) = a 1 + a 2 x + … + a n x n − 1 {displaystyle f(x)=a_{1}+a_{2}x+ldots +a_{n}x^{n-1}} и ζ k = ζ k {displaystyle zeta _{k}=zeta ^{k}} . Умножим циркулянт справа на определитель Вандермонда вида | ζ j i − 1 | n × n {displaystyle |zeta _{j}^{i-1}|_{n imes n}} :
| a 1 a 2 ⋯ a n a n a 1 ⋯ a n − 1 ⋮ ⋮ ⋱ ⋮ a 2 a 3 ⋯ a 1 | ⋅ | 1 1 ⋯ 1 ζ 1 ζ 2 ⋯ ζ n ⋮ ⋮ ⋱ ⋮ ζ 1 n − 1 ζ 2 n − 1 ⋯ ζ n n − 1 | = | f ( ζ 1 ) f ( ζ 2 ) ⋯ f ( ζ n ) ζ 1 f ( ζ 1 ) ζ 2 f ( ζ 2 ) ⋯ ζ n f ( ζ n ) ⋮ ⋮ ⋱ ⋮ ζ 1 n − 1 f ( ζ 1 ) ζ 2 n − 1 f ( ζ 2 ) ⋯ ζ n n − 1 f ( ζ n ) | = {displaystyle {egin{vmatrix}a_{1}&a_{2}&cdots &a_{n}a_{n}&a_{1}&cdots &a_{n-1}vdots &vdots &ddots &vdots a_{2}&a_{3}&cdots &a_{1}end{vmatrix}}cdot {egin{vmatrix}1&1&cdots &1zeta _{1}&zeta _{2}&cdots &zeta _{n}vdots &vdots &ddots &vdots zeta _{1}^{n-1}&zeta _{2}^{n-1}&cdots &zeta _{n}^{n-1}end{vmatrix}}={egin{vmatrix}f(zeta _{1})&f(zeta _{2})&cdots &f(zeta _{n})zeta _{1}f(zeta _{1})&zeta _{2}f(zeta _{2})&cdots &zeta _{n}f(zeta _{n})vdots &vdots &ddots &vdots zeta _{1}^{n-1}f(zeta _{1})&zeta _{2}^{n-1}f(zeta _{2})&cdots &zeta _{n}^{n-1}f(zeta _{n})end{vmatrix}}=}= f ( ζ 1 ) f ( ζ 2 ) … f ( ζ n ) ⋅ | 1 1 ⋯ 1 ζ 1 ζ 2 ⋯ ζ n ⋮ ⋮ ⋱ ⋮ ζ 1 n − 1 ζ 2 n − 1 ⋯ ζ n n − 1 | {displaystyle =f(zeta _{1})f(zeta _{2})ldots f(zeta _{n})cdot {egin{vmatrix}1&1&cdots &1zeta _{1}&zeta _{2}&cdots &zeta _{n}vdots &vdots &ddots &vdots zeta _{1}^{n-1}&zeta _{2}^{n-1}&cdots &zeta _{n}^{n-1}end{vmatrix}}}
Далее сокращаем определитель Вандермонда как ненулевой.■
Для n = 2 {displaystyle n=2} определитель циркулянта равен:
det ( a 1 a 2 a 2 a 1 ) = ( a 1 − a 2 ) ( a 1 + a 2 ) . {displaystyle operatorname {det} {egin{pmatrix}a_{1}&a_{2}a_{2}&a_{1}end{pmatrix}}=(a_{1}-a_{2})(a_{1}+a_{2}).}Для n = 3 , ω 3 = 1 , ω ≠ 1 {displaystyle n=3,omega ^{3}=1,omega eq 1} :
det ( a 1 a 2 a 3 a 3 a 1 a 2 a 2 a 3 a 1 ) = ( a 1 + a 2 + a 3 ) ( a 1 + a 2 ω + a 3 ω 2 ) ( a 1 + a 2 ω 2 + a 3 ω ) . {displaystyle operatorname {det} {egin{pmatrix}a_{1}&a_{2}&a_{3}a_{3}&a_{1}&a_{2}a_{2}&a_{3}&a_{1}end{pmatrix}}=(a_{1}+a_{2}+a_{3})(a_{1}+a_{2}omega +a_{3}omega ^{2})(a_{1}+a_{2}omega ^{2}+a_{3}omega ).}Антициркулянт
Антициркулянт — это матрица аналогичного вида:
( a 1 a 2 ⋯ a n a 2 a 3 ⋯ a 1 ⋮ ⋮ ⋱ ⋮ a n a 1 ⋯ a n − 1 ) {displaystyle {egin{pmatrix}a_{1}&a_{2}&cdots &a_{n}a_{2}&a_{3}&cdots &a_{1}vdots &vdots &ddots &vdots a_{n}&a_{1}&cdots &a_{n-1}end{pmatrix}}}Антициркулянт перестановками строк приводится к циркулянту.
Замечание
То есть циркулянт (антициркулянт) — это матрица, в которой любая следующая строка (столбец), начиная с первой (с первого), получается циклической алфавитной (для антициркулянта циклической антиалфавитной) перестановкой элементов предыдущей строки (столбца).