Реферат: О некоторых применениях алгебры матриц
- столбец свободных членов системы (1)
Так как , то матрица
невырожденная и для нее существует обратная матрица
. Умножив равенство (3) на
(слева), получим (единственное) решение системы в следующей матричной форме (в предположении, что она совместима и
- ее решение)
,
где обратная матрица имеет вид:
(-алгебраическое дополнение элемента
в определителе
)
Другой известный способ можно назвать методом алгебраических дополнений . Его использование предполагает владение понятием алгебраического дополнения как и в матричном способе, теоремой о разложении определителя по столбцу (строке), теоремами о замещении и об аннулировании.
Предлагаемый нами новый метод опирается на теорему Коши-Бине об определителе произведения матриц.
Суть этого метода можно понять легко, если сначала рассмотрим случай . Очевидно, что при
выполняются следующие матричные равенства (если задана система (1)):
Переходя к определителям в этих равенствах и обозначив определители правых частей соответственно через получим формулы Крамера:
(
)
(Правило Крамера)
Переход к общему случаю Крамеровых систем (1) порядка ничего по существу не меняет. Просто следует заметить, что матрица
с определителем
получается из единичной матрицы заменой
-го столбца столбцом неизвестных:
(5)
Теперь из равенств
,
где - матрица, получающаяся заменой
- го столбца матрицы
столбцом свободных членов системы (1), причем к формулам Крамера, взяв определители от обеих частей в каждом равенстве:
, откуда ввиду
имеем
.
(здесь получается из
, как и
из
).
Другой, еще более короткий способ отыскания решения системы (1) состоит в следующем (по-прежнему ): пусть система (1) совместна и числа
(после переобозначений) образуют ее решение. Тогда при
имеем, используя два линейных свойства определителя:
Можно начать и с определителя , в котором вместо свободных членов в
-м столбце подставлены их выражения согласно (1); используя соответствующие свойства определителя, получим:
(
),
откуда и получаются формулы Крамера.
Замечание. Проверка того, что значения неизвестных, определяемые по формуле Крамера удовлетворяют системе (1), (т.е. образуют решение системы), производится одним из известных способов.
§2. Применение циркулянтов малых порядков в теории чисел .
Матрица вида: