n S ( k 1...kn )
По определению А 1
k 1... kn 1
a1, k 1 a 2 , k 2...an , kn
ki kj ( i j )
Т.к. А12=0 то из всех произведений a1, k 1 a 2 , k 2...an , kn могут быть ≠0 только те в кото-
рых индексы k 1, k 2...kr 1, 2...r . Вследствие этого остальные индексы могут прини-
мать значения только из множества r 1,r 2...n . В этих условиях число инверсий в пе-
рестановке k 1, k 2...kn равно:
S 1k , k ...kr S 2kr , kr ...kn т.е. S k , k ...kn S 1k , k ...kr S 2kr , kr ...kn
1 2 1 2 1 2 1 2 1 2
r n S 1 ( k 1... kr ) S 2 ( kr 1... kn )
А 1
k 1... kr 1 kr 1... kn r 1
a1, k 1...ar , kr ar 1, kr 1...an , kn
ki kj ( i j ) S 1 ( k 1... kr )
r n
S 2 ( kr 1... kn )
1
k 1... kr 1
a1, k 1...ar , kr 1
kr 1... kn r 1
ar 1, kr 1...an , kn
ki kj ( i j ) ki kj ( i j )
~ ~
А А11 А 22 . Матрица А 22 снова квазитреугольная. Проделав над ней туже операцию,
получим ~
А А11 А 22 А 33 . После (р-1) таких шагов придем к (♀).
Аналогично доказывается равенство (♀) применительно к верхней квазитреугольной
матрице.(ч.т.д.)
i 1
i1 ... ...
1i
i 1
1i in 0 ... ... 0
... ... ... ... ... ... ... ...
n n по теор.о определ.
n
А В 1 nii1 ... ... niin 0 ... ... 0
квазитреуг. матрицы
i 1 i 1
11 12 ... 1n 1 0 ... 0
21 22 ... 2n 0 1 ... 0
n1 n 2 ... nn 0 0 ... 1
n n
i 1
1i i1 ... ...
i 1
1iin
n n
1 1 ... ... ... ... А В
n n
i 1
... ...
ni i 1
i 1
ni in
Замечание: Ясно что теорема справедлива для любого конечного числа матриц. В част-
ности А k А k .
As1 Asr ak 1a1 ... rar (1) где λ1… λr не зависят от номера
ask as1 ... asr
Mr
Mr
1 r
S, т.к. А Sj не зависят от элементов добавленной S-той строки. Равенство (1) и есть
нужное нам равенство.(ч.т.д.)
Следствие: Если А квадратная матрица, а определитель A =0 ,то один из столбцов мат-
рицы есть линейная комбинация оставшихся столбцов, а так же одна из строк являет-
ся линейная комбинация оставшихся строк.
Доказательство: Если определитель матрицы A =0, то ранг этой матрицы <=n-1, n-
порядок матрицы. Поэтому, по крайней мере одна строка или один столбец не входят
в число базисных. Эта строка (столбец) линейно выраженная через строки (столбцы) в
которой расположен базисный минор, а значит линейно выраженная через остальные
строки (столбцы).
Для того чтобы [A] =0 необходимо и достаточно чтобы по крайней мере одна строка
(столбец) являлись линейной комбинацией остальных её строк (столбцов).