Лекция 3 Общая теория решения систем линейных уравнений (теория

Кронекера – Капелли)
Матричная форма записи системы линейных уравнений. Определения
Рассмотрим систему m линейных уравнений с n неизвестными
a11x1  a12 x2    a1n xn  b1 ,
a x  a x    a x  b ,
 21 1 22 2 2n n 2
 (1)


am1 x1  an 2 x2    amn xn  bm .

Будем считать, что коэффициенты aik (i  1,..., m; k  1,..., n) в уравнениях заданы. Они
определяют матрицу A , которая называется матрицей системы уравнений:
 a11  a1n 
 
A  aik    .
(2)
 a a 
 m1 mn 

Введем еще обозначения:

 x1   b1 
   
x  b 
X   2 , b 2 
  (3)
   
x  b 
 n  m

– столбец неизвестных величин (матрица размерности n  1 ) и столбец свободных

членов (матрица размерности m  1 ) системы уравнений (1). Говорят, что запись (3)
определяет n - мерный и m - мерный векторы, а сами числа xi или bi
называются компонентами составляющих векторов. В этом случае для обозначения
векторов в литературе обычно используют жирные буквы X и b, в рукописном тексте –
для обозначения вектора используются знаки вектора над буквами. В дальнейшем
будет использоваться также нулевой столбец (или вектор):
0 
 
0    .
0 
 

После введения обозначений (2) и (3) матрица произведения AX находится в

соответствии с правилом умножения матриц:
  a11 a1n   x1   a11x1    a1n xn 
    
AX        .
 a a   x   a x    a x 
 n1 nn   n   n1 1 nn n 

Эта матрица (это столбец или вектор, размерность равна m  1 ) представляет собой
набор левых частей системы (1). В соответствии с (1) мы можем записать матричное
равенство

AX  b . (1')

Это и есть матричная запись системы уравнений. Такая запись значительно

компактней скалярной записи и при этом обе формы записи совершенно равноценны.

Наша задача – найти неизвестные x1 , x2 ,...,xn или, что то же самое, найти столбец X
неизвестных – решение системы: при подстановке в систему дает верные равенства.
Требуется найти все возможные решения.

Определение. Система совместная, если имеет хотя бы одно решение. Система

несовместная, если не имеет ни одного решения.

Определение. Системы уравнений эквивалентны (равносильны), если имеют

одинаковые решения: каждое решение одной является решением другой, и наоборот.

Наряду с основной матрицей A - матрицей коэффициентов - будет использоваться

расширенная матрица A * размерности m x (n+1), где к основной матрице справа
добавлен столбец свободных членов:

 a11a1n b1 
 
A*   
 a a b  . (4)
 m1 mn m 
Такая матрица несет в себе всю информацию об исходной системе. Между матрицей
A * и системой (1) устанавливается взаимно однозначное соответствие: по системе (1)
однозначно выписывается матрица A * и наоборот. С матрицей A * удобно работать
при поиске решений системы уравнений (1).

Утверждение. При элементарных преобразованиях, выполняемых со строками

матрицы A * , получаются эквивалентные системы линейных уравнений.
 Действительно, если вспомнить элементарные преобразования:
1) Умножение строки на число, отличное от нуля,
2) Прибавление одной строки к другой строке,
3) Перестановка строк,
то такие операции никак не повлияют на решения системы уравнений (1), и получим
эквивалентные системы.
В дальнейшем расширенная матрица A * будет активно использоваться для решения
системы уравнений, например, методом Гаусса (приведение матрицы к треугольному
виду с помощью элементарных преобразований).

Теорема Кронекера – Капелли: Система алгебраических линейных

уравнений АХ= b совместна тогда и только тогда, когда ранг основной
матрицы A равен рангу расширенной матрицы A * :
rang A = rang A* (5)
Поэтому вычисление и сравнение рангов матрицы системы и ее расширенной
матрицы – непременный атрибут исследования. Если соотношение (5) не
выполняется, то система уравнений несовместна.

Пусть соотношение (5) выполняется, тогда система уравнений совместна; и пусть

n – число неизвестных.

Теорема. 1) Если rang A = n, то существует единственное решение.

2) Если rang A = r < n, то существует бесчисленное множество решений.

В этом случае из m уравнений системы только r уравнений оказываются

независимыми, остальные m r уравнений являются их следствием. При m  r
имеем - все m уравнений независимые, но число неизвестных n превышает число
уравнений m .

Итак, если rang A = r < n , то систему решают так. При вычислении ранга r был
обнаружен некоторый минор M r порядка r , порожденный матрицами A и A* , и
отличный от нуля. Назовем его базисным минором. Элементы этого минора
находятся на пересечениях r строк и r столбцов матрицы A . Номера строк
определяют те уравнения, которые являются независимыми. Номера столбцов
определяют так называемые базисные неизвестные. Остальные n  r неизвестных
являются свободными, т. е. могут принимать произвольные значения C1 , C2 , Cnr .
Эти свободные переменные переносятся в правые части независимых уравнений, в
результате чего получаем укороченную систему r независимых уравнений с r
 M r отличен от нуля и система
базисными неизвестными. Определитель этой системы
разрешается с помощью формул Крамера. Оставшиеся m r уравнений при этом
удовлетворяются автоматически. Система имеет бесконечное число решений; при
этом свободных неизвестных всего n  r штук и они принимают произвольные
значения. Базисные переменные оказываются выраженными через свободные.
Решение системы уравнений, содержащее n  r свободных переменных
(произвольных констант) называется общим решением системы. Оно содержит все
возможные решения системы, образуя при этом n  r - мерное многообразие.

Пример 1. Установить совместность и найти общее решение системы

2 x1  x2  x3  3 x4  2 ,
4 x  x3  7 x4  3 ,
 1

 2 x2  3 x3  x4  1,

2 x1  3 x2  4 x3  2 x4  3.
Выпишем основную и расширенную матрицы системы:

2 1  1  3 2 1 1  3 2 
   
4 0 1 7  4 0 1 7 3 
A A*  
0 2 3 1 
, 0 2 3 1 1 .
   
2 3  4  2 3 
2 3  4  2  

При этом несложно установить, что rang( A)  rang( A*)  2 (проверить

самостоятельно!), поэтому исходная система совместна. Выберем в качестве
2 1
базисного минора минор M 2  из первых 2х уравнений. Тогда неизвестные x1
4 0
и x2 – базисные, x3 и x4 – свободные. Полагаем x3  C1 , x4  C2 и записываем
укороченную систему (из первых 2х уравнений согласно базисному минору):
2 x1  x2  2  C1  3C 2 ,

4 x1  3  C1  7 C2 .
Из второго уравнения сразу находим:
3 1 7
x1   C1  C2 .
4 4 4
После этого из первого уравнения найдем x 2 , подставив полученное значение x1 :
3 1 7  1 3 1
x2  2  C1  3C2  2  C1  C2    C1  C2 .
4 4 4  2 2 2
Общее решение исходной системы имеет вид:

3 1 7 
  C1  C2 
4 4 4 
1 3 1 
X ( C1 , C2 )    C1  C 2 .
2 2 2 (*)
 
 C1 
 
 C2 
Предлагается самостоятельно (подстановкой в уравнение системы) убедиться, что
найденное решение удовлетворяет уравнениям системы при произвольных значениях
C1 и C2 .
Замечание. При решении систем уравнений имеется некоторый произвол в
выборе базисного минора, а также свободных и базисных переменных. Так,
например, при решении системы уравнений из Примера 1 в качестве базисного
можно выбрать любой другой минор второго порядка, отличный от нуля и
3 1
порождаемый матрицей A , например, минор M 2   2 , находящийся в
4 2
нижнем правом углу матрицы A . Тогда неизвестные x1  C1 , x2  C2 выбираются в
0 0

качестве свободных, а x3 и x4 – в качестве базисных. Укороченная система имеет вид

(из последних 2х уравнений согласно новому базисному минору):

 3 x3  x4  1  2C20
 ,
 4 x3  2 x4  3  2C1  3C2
0 0

и решается по правилу Крамера относительно x3 и x4 :

1 1 5 1
x3   C10  C20 , x4   3C10  C20 , а общее решение записывается в виде:
2 2 2 2

 C10 
 
 C20

 
X C10 ,C20    1  C 0  1 C 0  . (**)
2 1
2
2

5 1 0
  3C1  C2 
0

2 2 
Можно убедиться, что полученные общие решения (*) и (**) – две различные формы
общего решения, содержащие все возможные решения системы.
1 0
Например, полагая в (*) С1  0 , С2  0 , а в (**) C1  , C2  2 ,
0

2
1
 
2
получим одно и то же частное решение: X   2  .
 
1 
0 
 

Однородная система линейных уравнений

Определение. Если правая часть в системе уравнений равна нулю, то система
однородная: AX  0 - матричная форма записи, как это делали выше, при этом
справа - нулевой столбец (вектор-столбец).
Основная и расширенная матрицы имеют вид:

 a11  a1n   a11  a1n 0 

   
A   , А*   
 a a   a a 0 
 m1 mn   m1 mn

Поскольку нулевой столбец не может увеличить ранг матрицы, то

rang( A)  rang( A*) , поэтому однородная система всегда совместна: по крайней
мере, всегда имеет нулевое решение, так называемое тривиальное решение.
Проверяется непосредственно подстановкой такого решения в систему уравнений.

Как и ранее, полагаем n – число неизвестных.

Теорема. 1) Если rang A = n, то существует единственное решение - тривиальное.

2) Если rang A = r < n, то система имеет бесконечное число решений,

которые находятся по общей схеме, рассмотренной выше.
Пример 2. Решить систему (найти общее решение):
 x1  4 x2  3 x3  0 ,

2 x1  5 x2  x3  0 ,
 x  7 x  10 x  0.
 1 2 3

Несложно показать, что ранг матрицы А равен двум:

 1 4 3 1 4 3
M3  2 5 1  0 3 7  0, r  rang( A)  2.
1 7  10 0 3 7
1 4
Очевидно, для элементов левого верхнего угла M2   5  8  3  0 ,
2 5
соответствующий минор берем за базисный, а неизвестные x1 и x 2 – за базисные,
тогда x3  C – свободная переменная. Укороченная система уравнений имеет вид:
 x1  4 x2  3C ,
 Разрешив ее относительно x1 и x 2 ,
2 x1  5 x2  C .
получаем общее решение:
 19 
 C
 3 
 7 
X  C .
 3 
 C 
 
 
Система имеет бесконечное число решений, в том числе при C  0 из общего
решения можно получить и тривиальное решение.

Решение систем линейных уравнений

с помощью обратной матрицы
В том случае, когда неоднородная система n линейных уравнений с n
неизвестными имеет единственное решение, определитель системы   det A не
равен нулю, поэтому матрица A имеет обратную матрицу A1 . Матричная запись
системы линейных уравнений имеет вид: AX  b .
 x1   b1 
   
Здесь X    , b      столбцы размерностью n 1 .
x  b 
 n  n
1
Умножим слева обе части системы уравнений на обратную матрицу A :

A1 ( AX )  A1b.
Поскольку A1 ( AX )  ( A1 A ) X  EX  X , то получим: X  A1b.
Это и есть решение системы линейных уравнений. Конечно, для того, чтобы получить
его в явном виде, необходимо найти матрицу A-1 и умножить ее на столбец
свободных членов b.
 x1  2 x2  4 x3  1,

Пример. Решить систему уравнений:  x1  3 x2  9 x3  1,
 x  4 x  16 x  1.
 1 2 3

1 2 4 1 2 4
1 5
  det A  1 3 9  0 1 5   2  0.
2 12
1 4 16 0 2 12

Вычислим матрицу A1 :

3 9 1 3 1 9
A11   34  3  4  1  12; A12    7 ;
4 16 1 4 1 16
1 3 2 4 1 4
A13   1; A21    16 ; A22   12;
1 4 4 16 1 16
1 2 2 4 1 4
A23    2; A31   6; A32    5 ;
1 4 3 9 1 9
1 2
A33   1;
1 3

 
 
 6 8 3   6 8 3 
    1  1 
   7 5    
A1   
7 5
6  ; X  A1b    6   1   0 .
откуда 2 2    
2 2   1  0 
 
 1 1   1 1 
1  1
2 2  2 2 
Проверка:

 1 2 4  1   1
    
AX   1 3 9  0    1  b.
 1 4 16  0   1
    