Вы находитесь на странице: 1из 23

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

Линейными операциями над какими-либо объектами называются


их сложение и умножение на число.
Линейной комбинацией переменных называется результат
применения к ним линейных операций, т.е. 1 x1   2 x2  ...   n xn , где
 i  числа, xi  переменные.

Уравнение относительно неизвестных x 1 , x 2 , . . . x n называется


линейным, если его можно записать в виде
a1 x1  a 2 x 2  . . .  a n x n  b ,
где a 1 , a 2 , . . . a n – некоторые числа, называемые коэффициентами уравнения,
а b – произвольно заданное число, называемое свободным членом уравнения.
Таким образом, в левой части линейного уравнения стоит линейная
комбинация неизвестных, а в правой – число.
Линейное уравнение называется однородным, если b = 0. В
противном случае уравнение называется неоднородным.
Системой m линейных алгебраических уравнений с n
неизвестными называется система

 a11 x1  a12 x2  ...  a1n xn  b1


 a x  a x  ...  a x  b
 21 1 22 2 2n n 2
 , (1.1)
 ............................................
a m1 x1  a m 2 x2  ...  a mn xn  bm

в которой каждое уравнение является линейным.


Такую систему (1.1) можно записать в матричной форме (в виде
матричного уравнения)
АХ = В.
 a11 a12 ... a1n 
 
a a22 ... a2 n 
Здесь A   21 - основная матрица системы (матрицу из
... ... ... ... 
 
 am1 am 2 ... amn 
коэффициентов при неизвестных),
 x1 
 
x 
X   2  - столбец неизвестных,
...
 
 xn 
 b1 
 
b 
B   2  - столбец свободных членов.
...
 
 bm 
Произведение АХ определено, т.к число столбцов первой матрицы
совпадает с числом строк второй матрицы.
Назовем расширенной матрицей CЛАУ (1.1) матрицу вида
 a11 a12 ... a1n b1 
 
a a22 ... a2 n b2 
A1   21 .
... ... ... ... ... 
 
 am1 am 2 ... amn bm 

Решением линейной системы (1.1) называется набор чисел


x01 , x02 ,..., x0n , которые при подстановке вместо неизвестных обращают
каждое уравнение системы в верное равенство.

Совместность линейных систем.

Линейная система называется совместной, если она имеет хотя бы


одно решение, и несовместной, если она не имеет решений.
Совместная линейная система называется определенной, если она
имеет единственное решение, и неопределенной, если она имеет более
одного решения.
Например, система уравнений
3х  y  9
 – совместная и определенная, так
 х  y  1
как имеет единственное решение (2; 3).

2
3х  2 y  12
Система  –
3х  2 y  6
несовместная;
а система уравнений
2 х1  х 2  10
 – совместная и
4 х1  2 х 2  20
неопределенная, так как имеет более
одного, а точнее бесконечное множество
решений (х 1 = с, х 2 = 10 – 2с, где с –
любое число).

Решение определенной системы


3-х линейных алгебраических
неизвестных с тремя неизвестными.
a 1 1 x 1  a 1 2 x 2  a 1 3 x 3  b 1

a 2 1 x 1  a 2 2 x 2  a 2 3 x 3  b 2
a x  a x  a x  b .
 31 1 32 2 33 3 3

Две системы уравнений


называются равносильными, или
эквивалентными, если они имеют
одно и то же множество решений.
Решить систему – выяснить, совместна она или несовместна. Если
система совместна, найти ее решение.
Напомним, что базисный минор матрицы А – любой
ненулевой минор матрицы А порядка r, где r  r (A) .
Строки и столбцы, на пересечении которых стоит базисный минор,
называются базисными строками и столбцами. (Они определены
неоднозначно в силу неоднозначности базисного минора.)
Теорема (о базисном миноре). Базисные строки (столбцы),
соответствующие базисному минору М линейно независимы; любые
строки (столбцы) матрицы А, не входящие в М являются линейными
комбинациями базисных строк (столбцов).
Теорема (Кронекера-Капелли). Система линейных алгебраических
уравнений совместна тогда и только тогда, если ранг матрицы системы
равен рангу расширенной матрицы.

3
Доказательство.
1) Необходимость: пусть система (1.1) совместна и с1 , c2 ,..., cn  ее
решение. Тогда
 a11 c1  a12 c 2  ...  a1n c n  b1
 a c  a c  ...  a c  b
 21 1 22 2 2n n 2
 , (1.2)
 ..........................................
a m1c1  a m 2 c 2  ...  a mn c n  bm
то есть столбец свободных членов является линейной комбинацией
столбцов матрицы системы и, следовательно, столбцов любого ее
базисного минора.
 a11   a21   a1n   b1 
       
 21 
a  22 
a  2n 
a  b2 
 ...   с1   ...   с 2     ...   с n   ...  
       
 m1 
a  m2 
a  mn 
a  bm 
Из того, что ранг матрицы не изменится, если из системы еѐ строк
(столбцов) вычеркнуть или приписать строку (столбец), которая является
линейной комбинацией других строк (столбцов) следует, что
r ( A | B)  r ( A).
2) Достаточность: если r ( A | B)  r ( A) , то любой базисный минор
матрицы А является и базисным минором расширенной матрицы A | B .
Поэтому столбец свободных членов представляет собой линейную
комбинацию столбцов этого базисного минора, и, следовательно,
линейную комбинацию всех столбцов матрицы А. Если обозначить
коэффициенты этой линейной комбинации с1 , c2 ,..., cn , то
 a11   a21   a1n   b1 
       
 a21   a22   a2 n   b2 
 ...   с1   ...   с 2     ...   с n   ...  
       
 m1 
a  m2 
a  mn 
a  bm 
Значит, эти числа будут решением системы (2.2), т.е. эта система
совместна. Теорема доказана.
В России это теорема Кронекера-Капелли, в Италии и англоязычных
странах – теорема Руше-Капелли, в Испании и странах Латинской
Америки – теорема Руше-Фробениуса.

4
Для совместных систем линейных уравнений верны следующие
теоремы:
Теорема. Если ранг матрицы совместной системы равен числу
переменных, т.е. r = n, то система имеет единственное решение.
Теорема. Если ранг матрицы совместной системы меньше числа
переменных, т.е. r  n, то система неопределенная и имеет бесконечное
множество решений.

Решение невырожденных линейных систем


Матричный способ решения систем линейных уравнений

Будем рассматривать случай, когда число уравнений в рассматриваемой


системе равно числу неизвестных.
 a11 x1  a12 x2  ...  a1n xn  b1
a x  a x  ...  a x  b
 21 1 22 2 2n n 2
 (1.3)
 ............................................
a n1 x1  a n 2 x2  ...  a nn xn  bn

 a11 a12 ... a1n 


 
a a 22 ... a 2 n 
A   21 - матрица системы,
... ... ... ... 
 
 a n1 an2 ... a nn 
 x1 
 
x 
X   2  - столбец неизвестных,
...
 
 xn 
 b1 
 
b 
B   2  - столбец свободных членов
...
 
 bn 
Или матричной форме: A  X  В .
Основная матрица системы – квадратная. Определитель,
составленный из коэффициентов при неизвестных системы уравнений
(1.3)

5
a 1 1  a 1 j 1 a1 j a 1 j 1  a1 n
a21  a2 j 1 a2 j a2 j2  a2 n

      
an1  an j 1 an j an jn  an n

называется главным определителем системы.


Пусть матрица А – невырожденная, тогда существует обратная к
ней матрица A 1 .
Умножим обе части равенства A  X  В слева на A1. Получим
A 1 AX  A 1 B.
Но A 1 A  E, тогда EX  A1 B , а поскольку EX  X ,
X  A1B (1.4)
Отыскание решения СЛАУ по формуле (1.4) называют матричным
способом решения системы.
То есть, чтобы решить систему (1.3), необходимо найти матрицу
A 1 , обратную к матрице системы A , и умножить ее на матрицу свободных
членов.
Еще раз напомним, что решение системы уравнений в матричной
форме возможно только тогда, когда матрица системы невырожденная.

Пример. Решить систему уравнений матричным способом

 x1  2 x 2  3

  x1  x 2  2 x 3  5 .
 3 x  x  2
 1 3

Решение. 1. Запишем матрицу A

 1 2 0
 
A   1 1 2 .
 3 0 1
 

2. Найдем обратную матрицу A 1 . Для этого


а) Вычислим определитель матрицы A .

6
1 2 0
   1 1 2  1  1  1  2  2  3   1  0  0  3  1  0  0  2  1   1  2  1  15 .
3 0 1

б) Найдем матрицу A T транспортированную к A

 1 1 3 
 
AT   2 1 0  .
 0 2 1
 
в) Вычислим матрицу A , союзную к A , элементы которой A i j есть

алгебраическое дополнение элемента a i j транспонированной матрицы A T .

 A1 1 A1 2 A1 3 
 
A   A 2 1 A 2 2 A2 3  ,
A A 3 3 
 3 1 A3 2
где
1 0 2 0 2 1
A1 1   111  1; A1 2   112  2 ; A1 3   113  4;
2 1 0 1 0 2

1 3 1 3 1 1
A 2 1   1 2 1  7; A 2 2   1 2  2  1; A 2 3   1 2  3  2 ;
2 1 0 1 0 2

1 3 1 3 1 1
A 3 1   131  3 ; A 3 2   132  6 ; A 3 3   13 3  3.
1 0 2 0 2 1

 1 2 4 
 
A  7 1  2 .
 3 6 3 
 
г) Вычислим обратную матрицу

7
 1 2 4 
  
 1 2 4   15 15 15 
1 1  1    7 1 2 
A  A   7 1  2    .
 15
  3  6 3   15 15 15

   1 2 1 
 
 5 5 5 
3. По формуле (1.4) находим
 1 2 4 
  
 x1   15 15 15   3   c1 
   7 1 2    ,
x
 2      5  c
  2
 x   15 15 15  
  2   c 3 
 3  1 2 1  
 
 5 5 5 
1  2 4 15
где c1  3   5       2      1 ;
15  15  15 15
7 1  2  30
c2  3  5    2       2;
15 15  15  15
 1 2 1 5
c 3  3      5    2     1.
 5 5 5 5
Таким образом, окончательно имеем:
x 1  c 1  1 ; x 2  c 2  2 ; x 3  c 3  1 .
Ответ: x 1  1 ; x 2  2 ; x 3  1 .

8
Решение системы линейных уравнений по формулам Крамера

Матричное равенство X  A1B запишем в виде

 x1   A11 A21 ... Aп1   b1 


     
 x2  1  A12 A22 ... Aп 2   b2 
 ...   det A  ... 
... ... ...   ... 
- столбец неизвестных,
    
 n
x A
 1n A2 n ... Anп   bn 
 A11b1  A21b2    Aп1bn 
 
 x1   A11b1  A21b2    Aп1bn   det A 
       
 2
x 1  12 1 A b  A b    Aп2 n 
b  A12 b1 A22 b2 A п 2 bn 

 ...  det A   22 2
   det A 
...
      
 xn   A1n b1  A2 n b2    Aпnbn   A1n b1  A2 n b2    Aпnb 
 
 det A 
Отсюда следует, что
A b  A21b2    Aп1bn
x1  11 1
det A
A b  A22 b2    Aп 2bn
x2  12 1
det A
A1 j b1  A2 j b2    Aпjbn
xj 
det A
A b  A2 n b2    Aпnb
xn  1n 1
det A
b1 a12  a1n
b2 a22  a2 n
Но, A12 b1  A22 b2    Aп 2bn  есть разложение
   
bn an 2  ann
b1 a12  a1n
b a22  a2 n
определителя 1  2 по элементам первого столбца.
   
bn an 2  ann

Итак, x 1  1 ,

9
2 j 
Аналогично x 2  , ... xj , . . . xn  n , (1.5)
  
где  j – определитель, получающийся из  заменой j  го столбца
столбцом свободных членов.

a1 1  a1 j 1 b1 a1 j 1  a1 n
a21  a2 j 1 b2 a2 j 2  a2 n
A1 j b1  A2 j b2    Aпj bn 
      
an1  an j 1 bn an j n  an n

Заменив в главном определителе системы  какой-либо столбец,


например j  й , столбцом свободных членов b , получим определитель  j

a1 1  a1 j 1 b1 a1 j 1  a1 n
a21  a2 j 1 b2 a2 j 2  a2 n
j .
      
an1  an j 1 bn an j n  an n

j
Эти формулы x j  , называются формулами Крамера .

О разрешимости системы судят по следующим признакам:
1) Если   0 , то система имеет единственное решение.
2) Если   0 и хотя бы один из  i не равен нулю, то система не
имеет решения.
3) Если   0 и все  i  0 , то система имеет бесконечное ножество
решений.
 3 x1  2 x 2  1
Пример. Решить систему уравнений 
 x1  x 2  2 .
3 2 1 2
Имеем:   3  1  1  2  1; 1   1  1   2  2  5 ;
1 1 2 1
3 1 1 5 2  7
2   3   2  1  1  7 . x1    5. x2    7 .
1 2  1  1

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

Рассмотрим систему трех уравнений с тремя неизвестными


a 1 1 x 1  a 1 2 x 2  a 1 3 x 3  b 1

a 2 1 x 1  a 2 2 x 2  a 2 3 x 3  b 2
a x  a x  a x  b .
 31 1 32 2 33 3 3

b1 a1 2 a1 3 a1 1 b1 a1 3 a1 1 a1 2 b1
1  b 2 a 2 2 a 2 3 ,  2  a 2 1 b 2 a 2 3 ,  3  a 2 1 a 2 2 b 2 .
b3 a3 2 a3 3 a31 b3 a3 3 a31 a3 2 b3

Формулы Крамера:
1 2 3
x1  ; x2  ; x3  .
  
1) Если определитель системы   0, то система имеет
единственное решение.
2) Если же определитель системы   0 , но, по крайней мере, хотя
бы один из определителей  1 ,  2 или  3 не равен нулю, то система
решений не имеет. В этом случае она противоречива или несовместна.
3) Если   0 и все определители  1 ,  2 и  3 равны нулю, но хотя
бы один из миноров в определителе  не равен нулю, то одно уравнение
системы (1.6) является следствием двух других, и система трех уравнений
сводится к системе двух уравнений с тремя неизвестными и имеет
бесконечное множество решений.

Пример. Решить систему уравнений:

 2 x 1  3 x 2  x 3 2;

 x 1  5 x 2  4 x 3 5;
 4 x  x  3 x  4.
 1 2 3

11
2 3 1
  1 5  4  30  48  1  20  8  9  2 ;
4 1 3

2 3 1
1   5 5  4  30  48  5  20  8  45  10;
4 1 3

2 2 1
 2  1  5  4  30  32  4  20  32  6  12;
4 4 3

2 3 2
 3  1 5  5  40  60  2  40  10  12  20.
4 1 4

 10  12  20
Таким образом, x 1   5; x2   6; x3   10 .
2 2 2
Ответ: x 1  5 ; x 2  6 ; x 3  10 .

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


Одним из наиболее простых методов решения систем линейных
уравнений есть метод непосредственного исключения неизвестных или
метод Гаусса. Этот метод предложен К. Гауссом и базируется на
элементарных преобразованиях системы уравнений.
Пусть имеем систему уравнений

 a 1 1 x 1  a 1 2 x 2  ...  a 1 n x n  b 1
 a x  a x  ...  a x  b
 21 1 22 2 2n n 2
 .......... .......... .......... .......... .......... ........ (1.6)

a m 1 x 1  a m 2 x 2  ...  a m n x n  b n ,

Элементарными преобразованиями системы (1.6) называются следующие:


1) перестановка любых двух уравнений;

12
2) умножение обеих частей уравнения на любое, отличное от нуля,
число;
3) прибавление к обеим частям одного уравнения соответствующих
частей другого, умноженного на одно и то же число.
Если к системе (1.6) несколько раз применить элементарные
преобразования, то полученная в результате последнего преобразования
система уравнений будет эквивалентна исходной системе.
Идея метода Гаусса состоит в том, чтобы с помощью элементарных
преобразований привести систему к равносильной системе треугольного (или
трапециевидного) вида, из которой последовательно, начиная с последних по номеру
неизвестных, находятся все остальные.
Отметим, что в процессе приведения системы (1.6) к треугольному виду могут
получаться уравнения вида 0  0 . Их можно отбросить.
Предположим, что в данной системе коэффициент при переменной
х 1 в первом уравнении а 11  0. Если это не так, то перестановкой
уравнений местами необходимо добиться, чтобы а 11  0.
Шаг 1. Умножим первое уравнение на подходящие числа (а именно
на –а 21/а11 , –а 31 /а 11 ,…, –а т1/а 11 ). Затем прибавим полученные уравнения
соответственно ко второму, третьему,…, т-му уравнению данной
системы. Этим заключим переменную х 1 из всех последующих уравнений,
начиная со второго. В результате получим:
а11 х1  а12 х 2  ...  а1п х п  b1 ,

 a 22(1)
x 2  ...  a 2(1n) x n  b2(1) ,
........................................................
 (1.7)
 a (1)
i2 2x  ...  a (1)
in n x  bi
(1)
,
.........................................................

 a m(12) x 2  ...  a mn
(1)
x n  bm(1)
В системе (1.7) буквами с верхом индексом (1) обозначены новые
коэффициенты, полученные после первого шага.
Шаг 2. Предположим, что а 22
(1)
 0. Если это не так, то
соответствующей перестановкой уравнений или переменных с
изменением их номеров необходимо добиться чтобы а 22
(1)
 0.
Умножим второе уравнение на подходящее числа
 а (1)
32 / а 22
(1)
, а 42
(1)
/ а 22
(1)

,...,  а т(12) / а 22
(1)
. Затем прибавим полученные уравнения

13
соответственно к третьему, четвертому, ..., т-му уравнению системы.
Этим исключим переменную х 2 из всех последующих уравнений, начиная
с третьего.
Продолжая процесс последовательного исключения переменных х 3 ,
х 4 , …, х r-1 , после (r – 1)-го шага получим систему:
а11 х1  а12 х 2  ...  а1r x r  a1,r 1 x r 1  ...  a1n x  b1


(1)
a 22 x 2  ...  a 2(1r) x r  a 2(1,r) 1 x r 1  ...  a 2(1n) x n  b2(1) ,
 .......................................................................................

 a rr( r 1) x r  a r( ,rr11) x r 1  ...  a rm( r 1)
x n  br( r 1) ,
 (1.8)
 .......... .................... .......... .......... .................... ................
 0  br(r 11)

 .....................

 0  bm( r 1)
Число нуль в последних т – r уравнениях означает, что их левые
части имеют вид 0х 1 +0х2 +…+0х п . Если хотя бы одно из чисел
br(r 11) ,..., bm( r 1) не равно нулю, то соответствующее равенство
противоречиво, и данная система несовместна.
Поэтому для любой совместной системы числа br(r 11) ,..., bm( r 1) в
системе (1.8) равны нулю. В этом случае последние m – r уравнений в
системе (1.8) являются тождествами их можно не принимать во внимание
при решении данной системы. После отбрасывания таких значений
возможны два случая .
1) Число уравнений системы (1.8) равно числу переменных: r = n. В
этом случае система (1.8) имеет треугольный вид
 x1  aˆ12 x2  ...  aˆ1n xn  bˆ1

 x2  ...  aˆ 2 n xn  bˆ2

 ..........................
 xn  bˆn

2) r  n.
В этом случае система имеет ступенчатый вид.

14
а11 х1  а12 х2  ...  а1r xr  a1,r 1 xr 1  ...  a1n x  b1


(1)
a22 x2  ...  a2(1r) xr  a2(1,r) 1 xr 1  ...  a2(1n) xn  b2(1) ,

 .......................................................................................

 arr( r 1) xr  ar( r,r11) xr 1  ...  arn
( r 1)
xn  br( r 1) ,


Переход от данной системы к равносильной ей системе (1.8)
называется прямым ходом метода Гаусса. Нахождение переменных из
системы (1.8) называется обратным ходом метода Гаусса.
При решении системы уравнений методом Гаусса удобно приводить к
треугольному (трапециевидному) виду не саму систему уравнений, а расширенную
матрицу этой системы, выполняя все преобразования над ее строками.
 а11 а12 ... а1п b1 
 
a a 22 ... a 2 n b2 
А 1 =  21
... ... ... ... ... 
 
a am2 ... a mn bm 
 m1
Последовательно получающиеся в ходе преобразования матрицы обычно соединяют
знаком эквивалентности ~ .
Пример. Решить систему методом Гаусса
 2 x1  x 2  x 3  1

 3 x1  2 x 2  2 x 3  1 .
 4 x  4 x  8 x  20
 1 2 3

Решение. Записываем расширенную матрицу системы


 2 1 1 1 
 
Ab   3 2  2 1  ~
 4 4 8 20 

и проводим элементарные преобразования над ее строками.
1) Сделаем коэффициент a 1 1 равным 1. Для этого: а) поменяем местами
первую и вторую строки; б) из полученной первой строки вычтем вторую.
2) Разделим третью строку на 4.
3) Обнулим коэффициент a 2 1 , для чего умножим каждый элемент первой
строки на  2 и сложим с соответствующими элементами второй строки;

15
 3 2 2 1  1 1 1 0  1 1 1 0
     
~  2 1 1 1  ~  2 1 1 1  ~  0 1 1 1
~
 4 4 8 20   1 1 2  1 1 2 
  5   5

4) Обнулим коэффициент a 3 1 , умножив первую строку на  1 и сложив ее с


третьей строкой.
5) Сделаем коэффициент a 2 2  1 , умножив вторую строку на  1 .
6) Обнулим a 3 2 , умножив вторую строку на 2 и сложив ее с третьей.

 1 1 1 0  1 1 1 0  1 1 1 0 
     
~  0 1 1  1 ~  0 1  1  1 ~  0 1  1  1 .
 0 2 3 5   0 2 3 5  0 0 1 3 
  
7) Осуществляем обратный ход метода Гаусса, восстанавливая равносильную
систему по расширенной матрице
 x1  x 2  x 3  0

 x 2  x 3  1 .
 x3  3

Из уравнений этой системы находим: x 3  3 ; x 2  2 ; x 1  1 .
7) Выполним проверку, подставляя найденные значения x в каждое уравнение
исходной системы. Получаем истинные высказывания: 1  1; 1  1; 20  20 .
Ответ: x 1  1 ; x 2  2 ; x 3  3 .

 x1  x 2  x 3  1

Пример. Решить систему методом Гаусса  x1  2 x 2  x 3  0
2 x  3x  x  2.
 1 2 3

2
 1 1 1 1   1 1 1  1  1 1 1  1 
     
 1 2 1 0  ~ 0 1  2 1  ~ 0 1  2 1 
-


- 2 3 1  2  -  0 1  1 0   0 0 1  1
 2
   

Полученная матрица равносильна исходной.


+

16
Если ранг матрицы системы и ранг ее расширенной матрицы равны,
т.е. r  A  r B , то система совместна.
В нашем примере r  A  r B  3 .
Если, кроме того, r  A  r B  n , где n - число неизвестных, то
система имеет единственное решение.
В нашем примере r  A  r B  n  3 .
Восстановим систему уравнений, соответствующую последней
матрице (выполним «обратный ход»):
 x1  x 2  x 3  1  x1  1  x 2  x 3  1  2  1

 x 2  2 x 3  1  x 2  1  2 x 3  1  2  1
 x 3  1  x 3  1

Ответ: x1  1 , x 2  1, x3  1 .
Пример. Решить следующие системы линейных уравнений методом
Гаусса.
 x yz 6

а)  3x  2 y  z  4
2 x  y  2 z  3.

Решение.
1 1 1 6 1 1 1 6  1 1 6 
-3
1
    
2

 3 2 1 4~  0  1  4  14  ~  0  1  4  14  .
-2

2 1  2 3  2-
 0 1  4  9   0 0 0 5 
   
x  y  z  6

Делаем «обратный ход»:  y  z  14
 0  z  5.

Последнее уравнение не имеет решений.
Проанализировав последнюю матрицу, можно заметить, что r  A  2 ,
а r B  3 , т.е. r  A  r B  решений у системы нет
Ответ: система противоречива, т.е. не имеет решений.
 x yz  4

б)  2 x  3 y  z  3
6 x  y  3z  13.

Решение.

17
1 1 1 4  1 1 1 4  1 1 1 4 
-2

     
2

-6
2  2  3  1  3  ~  0  5  3  11 
~ 0  5  3  11.
6 1 3 13  -  0  5  3  11  0 0 0 0 
 2

В нашем примере легко увидеть по матрице, полученной в


результате элементарных преобразований, что r  A  r B  2 , но число
неизвестных n  3  2 . Число свободных переменных k  n  r  3  2  1 (у
нас это z ). Так как z - любое действительное число, у системы уравнений
бесконечно много решений, определяемых по формулам, приведенным в
ответе.
Система уравнений, соответствующая этой матрице, имеет вид
x  y  z  4

 5 y  3z  11
Так как число уравнений меньше числа неизвестных, то система
неопределенная, т.е. имеет бесконечно много решений.
Допустим z - любое действительное число, тогда
x  y  4  z 11  3z 11  3z 9  2z
 или y  , а x  4 z  y  4 z  .
5 y  11  3 z , 5 5 5
Проверка: Допустим z  2 , тогда x  1 , y  1, подставим эти значения
неизвестных в систему:
 11 2  4

2 1  3 1  2  3
 6 1  1  3  2  13

 9  2z 11  3 z
Ответ:  x  ; y ; z  R; или
 5 5
 9  2c 11  3c
x  ; y ; z  c.
 5 5
Общее решение однородной линейной системы

Рассмотрим однородную линейную систему


 a11 x1  a12 x 2  ...  a1n x n  0
 a x  a x  ...  a x  0
 21 1 22 2 2n n
 . (1.9)
 ............................................
a m1 x1  a m 2 x 2  ...  a mn x n  0

18
Отметим, что такая система всегда совместна, поскольку имеет
нулевое решение x1  x2  ...  xn  0, называемое тривиальным.
Можно показать, что система линейных однородных уравнений
имеет ненулевые решения тогда и только тогда, когда ранг ее матрицы
коэффициентов при переменных меньше числа переменных, т.е. при
r(A)  n.
Пусть ранг матрицы системы r<n. Предположим, что в базисный
минор входят коэффициенты первых r уравнений. Тогда оставшиеся m–r
уравнений являются линейными комбинациями, то есть следствиями
предыдущих. Поэтому можно оставить в системе только первые r
уравнений:
 a11 x1  a12 x2  ...  a1n xn  0
a x  a x  ...  a x  0
 21 1 22 2 2n n
 .
 ............................................
 a r1 x1  a r 2 x2  ...  a rn xn  0
Оставим в левой части каждого уравнения неизвестные,
коэффициенты при которых входят в базисный минор, а остальные
неизвестные перенесем направо:
 a11 x1  a12 x 2  ...  a1r x r  a1,r 1 x r 1  ...  a1n x n
a x  a x  ...  a x  a
 21 1 22 2 2r r 2, r 1 x r 1  ...  a 2 n x n
 . (1.10)
 .................................................. ......................
 a r1 x1  a r 2 x 2  ...  a rr x r  a r ,r 1 x r 1  ...  a rn x n
Эта система будет иметь единственное решение относительно
неизвестных x1 , x2 ,..., xr , выражающее их через остальные неизвестные
( xr 1 ,..., xn ), которым можно придавать любые произвольные значения.
Таким образом, система (1.10) при r<n является неопределенной.
Неизвестные, коэффициенты при которых входят в базисный минор
матрицы системы, называются базисными неизвестными, а остальные –
свободными неизвестными.
 x11   x12   x1k 
     
 
x  x   x 
Решения системы (1.10) X 1   21 , X 2   22 ,..., X k   2 k  (1.11)
... ... ...
     
 n1 
x  n2 
x  nk 
x
называются линейно независимыми, если линейная комбинация

19
1 X 1   2 X 2  ...   k X k дает нулевой столбец только при
1   2  ...   k  0.
Покажем, что число линейно независимых решений системы (1.9)
равно n–r. Действительно, рассмотрим столбцы вида
1 0 0
     
~ 0 ~ 1 ~ 0
X r 1   , X r  2   ,..., X n   , (1.12)
... ... ...
     
0 0 1
     
содержащие по n-r чисел. Очевидно, что эти столбцы линейно
независимы, а любой другой столбец той же размерности является их
линейной комбинацией. Пусть эти столбцы задают значения свободных
неизвестных системы (1.9).
Тогда базисные неизвестные будут однозначно определяться для
выбранных свободных неизвестных из системы (1.10) по правилу
Крамера, и все решения системы, соответствующие наборам свободных
неизвестных (1.12), образуют n-r линейно независимых столбцов вида
(1.11), то есть n-r линейно независимых решений системы (1.9).
Любые n–r линейно независимых решений системы (1.9)
называются ее фундаментальной системой решений.
Фундаментальная система решений линейной однородной системы,
в которой свободные неизвестные задаются по формулам (1.12),
называется нормальной фундаментальной системой решений.

Замечание. Очевидным образом доказываются свойства решений


однородной линейной системы (1.9):
Свойство 1. Сумма решений системы (1.9) является ее решением.
Свойство 2. Столбец решений (1.9), умноженный на любое число,
тоже есть решение этой системы.
Следовательно, любая линейная комбинация фундаментальной
системы решений системы (1.9) является ее решением. Можно доказать и
обратное утверждение:
Теорема 4.3 (без доказательства). Любое решение однородной
линейной системы (1.9) является линейной комбинацией
фундаментальной системы ее решений.
Таким образом, любое решение системы (1.9) имеет вид:

20
X  C1 X 1  C2 X 2  ...  Cnr X nr , где X 1 , X 2 ,..., X nr - фундаментальная система
решений.
 3x  2 y  z  0

Пример. Решим систему  2 x  5 y  3z  0
3x  4 y  2 z  0.

Решение.
 3 2 1 0  1  3  2 0 1  3  2 0 1  3  2 0
       
 2 5 3 0  
~ 2 5 3 0  
~ 0 11 7 0  ~  0 11 7 0 
 3 4 2 0  3 4 
2 0   0 13 8 0 
 0 0 3 0 
   2  13 S
11 S 3

Запишем систему уравнений, соответствующую последней матрице,
т.е. выполним «обратный ход»:
3x  2 y  z  0  x  0

 11y  7 z  0  y  0
 3z  0  z  0.

Ответ: x  y  z  0 .
Замечание. Так как однородная система линейных уравнений всегда
совместна, а из последней матрицы, полученной из матрицы систем
путем элементарных преобразований, видно, что r  A  r B  3 , т.е.
A  0 , то данная однородная система имеет единственное
решение, т.е. нулевое решение.

 3x  4 y  2 z  0

Пример. Решим систему  x  y  4 z  0
5 x  2 y  10 z  0.

Решение.
 3 4 2 0  1 1 4 0   1 1 4 0  1  1 4 0
       
 1  1 4 0  
~ 3 4 2 0  
~ 0 7  10 0  
~ 0 7  10 0 .
 5 2 10 0   5 2 10 0   0 7  10 0   0 0 0 0 
      
Однородная система уравнений всегда совместна. В примере
r  A  r B  2 , а n  3 - число неизвестных; значит, система
неопределенная, k  n  r  3  2  1 - число свободных переменных. У нас в
примере это z .
Запишем систему уравнений, соответствующую последней матрице,
отбросив «лишнюю» строку:
x  y  4z  0  x  y  4 z
  
 7 y  10 z  0  7 y  10 z

21
Так как число уравнений меньше числа неизвестных, то система
неопределенная, т.е. имеет бесконечно много решений.
Пусть z - любое действительное число – свободная переменная,
выразим через нее x и y :
10 10 18
y  z, x  4 z  y  4 z  z   z .
7 7 7
Проверка: положим z  7 , тогда x  18 , y  10 .
 3 18  40  14  0;  18  10  28  0;  5 18  20  70  0
18 10 18 10
Ответ: x   z; y  z; z  R или x   c; y  c; z  c .
7 7 7 7

 x1  x2  x3  x4  0
2 x  3 x  4 x  2 x  0

Пример. Решим систему  1 2 3 4
.
3
 1 x  2 x 2  5 x 3  3 x 4  0
 x1  4 x2  3x3  x4  0
1 1 1 1
 
 2  3 4 2
Найдем ранг матрицы системы A   . Преобразуем ее к
3  2 5 3
 
 1  4 3 1 
1 1 1 1
 
~ 0  5 2 0
виду: A   . Очевидно, что r(A)=2.
0 5 2 0
 
0  5 2 0 
В примере r  A  r B  2 , а n  4 - число неизвестных; значит,
система неопределенная(r(A)  n), k  n  r  4  2  2 - число свободных
переменных.
Пусть x1 , x2 - базисные неизвестные, x3 , x4 - свободные неизвестные.
Заменим исходную систему системой из первых двух уравнений,
коэффициенты которых входят в базисный минор, и перенесем базисные
неизвестные в правые части уравнений:
 x1  x2   x3  x4
 .
2 x1  3x2  4 x3  2 x4
Пусть x3  1, x4  0 . Тогда x1  1,4; x2  0,4.
Если x3  0, x4  1, то x1  1, x2  0.

22
  1,4  1
   
 0,4  0
Получена фундаментальная система решений: X 1   , X2   .
1 0
   
 0  1
   
Теперь общее решение системы можно записать в виде:
X  C1 X 1  C 2 X 2 , где С 1 и С 2 – любые произвольные числа.

23

Вам также может понравиться