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

Метод Гаусса решения
систем линейных
уравнений
Рассмотрим систему m линейных
уравнений с n неизвестными:
 а11 х1  а12 х 2  ...  а1n х n  b1 ,
 а 21 х1  а 22 х 2  ...  а 2 n х n  b2 ,

...
...
...
...
...
...
...
...

а т1 х1  а т 2 х 2  ...  а тn х n  bт .
Назовем матрицей системы матрицу,
составленную из коэффициентов при
неизвестных. Матрицу, полученную из А
добавлением столбца свободных
членов, называют расширенной
матрицей:
 а11 а12

 а 21 а 22
А
...
...

а
 т1 а т 2
... а1п
... а 2 п
... ...
... а mп
b1 

b2 

...


bm 
Теорема Кронекера–Капелли
Для того чтобы система линейных
уравнений была совместной,
необходимо и достаточно, чтобы ранг
матрицы системы был равен рангу ее
расширенной матрицы, т.е.
r ( A)  r ( A)
Если ранг матрицы совместной
системы равен числу неизвестных, то
система имеет единственное решение,
если же ранг меньше числа
неизвестных, то система имеет
множество решений.
Две системы, множества решений
которых совпадают, называются
эквивалентными или равносильными.
Преобразование, применение которого
превращает систему в новую
систему, эквивалентную исходной,
называется эквивалентным или
равносильным преобразованием.
Пример
Исследовать систему линейных
уравнений
 х1  х2  3 х3  2 х4  3 х5  1,
 2 х  2 х  4 х  х  3 х  2,
 1
2
3
4
5

3
х

3
х

5
х

2
х

3
х

1
,
1
2
3
4
5

2 х1  2 х2  8 х3  3 х4  9 х5  2.
Составим расширенную
матрицу системы и с помощью
элементарных преобразований
вычислим одновременно ранги
обеих матриц.
Метод Гаусса
Для того чтобы решить систему
уравнений методом Гаусса
выписывают расширенную матрицу
этой системы и над строками этой
матрицы производят элементарные
преобразования, приводя ее к виду,
когда ниже главной диагонали,
содержащей элементы
a11, a22 ,, amm ,
будут располагаться нули.
Разрешается:
1) изменять порядок строк матрицы, что
соответствует изменению порядка уравнений;
2) умножать строки на любые отличные от
нуля числа, что соответствует умножению
соответствующих уравнений на эти числа;
3) прибавлять к любой строке матрицы другую,
умноженную на отличное от нуля число, что
соответствует прибавлению к одному
уравнению системы другого, умноженного на
число.
С помощью этих преобразований
каждый раз получается расширенная
матрица новой системы, равносильной
исходной, т. е. такой системы, решение
которой совпадает с решением
исходной системы
• Установить совместность и решить
систему
2 x1  3x2  11 x3  5 x4  2,

 x1  x2  5 x3  2 x4  1,

2 x1  x2  3x3  2 x4  3,
 x1  x2  3x3  4 x4  3.

Выпишем расширенную матрицу
системы и поменяем местами первую и
вторую строки для того, чтобы элемент
равнялся единице (так удобнее
производить преобразования матрицы).
Прямой ход
2

1
A 
2

1

3 11 5 2   1
 
1 5 2 1  2

1 3 2  3  2
1 3 4  3   1
1 5 2 1  1
 
3 11 5 2   0

1 3 2  3  0
1 3 4  3  1
2 1

1 1 1 0

1  7  2  5
1 3 4  3 
1
5
1

0

0
0

2 1  1
 
1 1 1 0  0

1  7  2  5 0
0  2 2  4   0
1
5
1

0

0
0

2 1  1
 
1 1 1 0  0

0  6  1  5  0
0  2 2 4   0
1 5
2 1  1
 
1 1 1 0  0

0  2 2  4  0
0 0 7  7   0
1
5
1 5 2 1

1 1 1 0

0  2 2  4
0 6 1 5 
2 1

1 1 1 0

0 1 1 2 
0 0 1  1
1 5
Обратный ход
Ранги матрицы системы и ее
расширенной матрицы совпали с
числом неизвестных. Согласно теореме
Кронекера-Капелли система уравнений
совместна и решение ее единственно.
Выпишем систему уравнений,
расширенную матрицу которой мы
получили в результате преобразований:
 x1  x2  5 x3  2 x4  1,

x2  x3  x4  0,


x3  x4  2,


x4  1.
Имеем x4  1. Далее, подставляя его
в третье уравнение, найдем
x3. x3  1  2  x3  1.
Подставляя x3  1 и x4  1 во второе
уравнение, получим x2  0 и, наконец,
подставляя в первое уравнение
найденные неизвестные, получим x1  2
Таким образом, имеем решение
системы
x1  2, x2  0, x3  1, x4  1.
Общее решение системы линейных
уравнений
Если ранг матрицы равен r , то любой
отличный от нуля минор порядка
этой матрицы называется базисным.
r
Пример
Решить систему уравнений
2 x1  x2  x3  3x4  2,

4 x1  x3  7 x4  3,

2
x

3
x

x

1
,
2
3
4

2 x1  3x2  4 x3  2 x4  3.
Выпишем расширенную матрицу
системы и преобразуем ее
2

4
A 
0

2

 1  3 2

0 1  7 3

2  3 1 1
3  4  2 3 
1
Однородные системы
 a11x1  a12 x2  ...  a1n xn  0,
 a x  a x  ...  a x  0,
 21 1
22 2
2n n

..........
..........
..........
..........
.....

am1 x1  am 2 x2  ...  amn xn  0.
Теорема о совместности
однородной системы
Для того чтобы однородная система
линейных уравнений имела
нетривиальное решение, необходимо и
достаточно, чтобы ранг матрицы этой
системы был меньше числа
неизвестных n.
При r<n система является
неопределенной, т.е. имеет
бесчисленное множество решений, в
том числе и нетривиальное.
Если m=n, т.е. число уравнений
совпадает с числом неизвестных,
матрица системы является квадратной.
условие r<n в этом случае означает, что
определитель системы, т.е. det А=0, что
следует из определения ранга матрицы.
Пример
 x1  2 x2  4 x3  3x4  0,
 3x  5 x  6 x  4 x  0,
 1
2
3
4

 4 x1  5 x2  2 x3  3x4  0,

3x1  8 x2  24 х3  19 x4  0.
Составим матрицу системы
1

3
A
4

3

3 

4

5 2 3

8 24  19 
2
5
4
6
и методом элементарных
преобразований найдем ее ранг.
4
 3   1 2 4  3
1 2

 

0 1  6 5  0 1  6 5 
A~
~
.


0  3  18 15
0 0 0 0

 

 0 3 18  15   0 0 0 0 

 

r=2.
Выберем в качестве базисного минор
1
2
0 1
 0.
Тогда укороченная система имеет вид
x1 
2 x2 
 x2 
 4 x3  3x4 ,
6 x3  5 x4 .
Общее решение системы
 8c1  7c2 


  6c1  5c2 
X  (c1 , c2 )  
.

c1




c
2


Фундаментальная система
решений
Назовем фундаментальной системой
решений систему матриц-столбцов,
полученную из общего решения при
условии, что свободным неизвестным
дают последовательно значения
с1  1, c2  c3  ...  cn  0,
с1  0, c2  1, c3  ...  cn  0,
.............................................
с1  c2  c3  ...  0, cn  1.
Матрицы-столбы, т.е.
фундаментальную систему решений
обозначают Е1, Е2, …, Еn. Общее
решение будет представлено в виде
X  C1E1  C2 E2  ...  Cn En .
Из общего решения последней системы
найдем фундаментальную систему
решений.
 8 


  6 ,
E1  X (1,0)  
1 


 0 


 7
 
 5 
E2  X (0,1)   .
0
 
 1 
 
Общее решение можно записать в виде
X (C1 , C2 )  C1E1  C2 E2 .