неопределенной. При работе с системой (4) принципиальным является вопрос о ее
совместности.
Пусть дана система (4), образуем две матрицы:
,
a...aa
............
a...aa
а...аа
А
mn2m1m
n22221
n11211
mmn2m1m
2n22221
1m11211
ba...aa
.........
ba...aa
bа...аа
B
.
Матрица А называется матрицей коэффициентов (или основной матрицей), а В –
расширенной матрицей системы (4).
Теорема Кронекера-Капелли. Для того чтобы система (4) была совместна,
необходимо и достаточно, чтобы ранг матрицы А её коэффициентов был равен
рангу расширенной матрицы В , то есть
.
Теорема утверждает, что если
, то система (4) имеет хотя бы одно
решение и наоборот: если система (4) совместна, то рангу матриц А и В равны.
Пример. Определить будет ли совместной система уравнений
11421
6311
5112
B,
421
311
112
A
.11z4y2x
,6z3yx
,5zyx2
(проверьте).
Следовательно,
. У матрицы В все определители третьего порядка равны
нулю (проверьте), следовательно,
. Таким образом, данная система
совместна.
Пусть доказано, что система (4) совместна. Тогда необходимо ответить на
следующие вопросы: сколько решений имеет система? Как найти все её решения?
Возможны следующие случаи:
а) если система (4) совместна, то есть
и число неизвестных равно
рангу матриц А и В
, то она имеет единственное решение;
б) если же система (4) совместна, но
, то она имеет бесконечно много
решений.
Так, в предыдущем примере
, следовательно, система имеет
бесконечно много решений.
Формулы Крамера
Рассмотрим частный случай системы (4), когда число уравнений совпадает с
числом неизвестных. Пусть для определенности
, то есть система имеет
вид
,bxaxaxa
,bxaxaxa
,bxaxaxa
3333232131
2323222121
1313212111
333231
232221
131211
aaa
aaa
aaa
Adet
называется основным определителем данной системы.
Следующие три определителя называются вспомогательными:
33323
23222
13121
1
aab
aab
aab
33331
23221
13111
2
aba
aba
aba
33231
22221
11211
3
baa
baa
baa
.
Теорема Крамера. Если основной определитель
, то данная система имеет
7