высшая математика
.pdfЛекция 9
Исследование систем линейных уравнений. Метод Гаусса
Сформулирована теорема о совместности систем m линейных уравнений с n неизвестными, рассмотрен метод Гаусса решения и исследования таких систем.
10. Системы линейных уравнений и их исследование.
Рассмотрим систему m линейных уравнений с n неизвестными:
a11x1 |
+ |
|
a12 x2 |
+ |
% + |
a1n xn |
= |
b1, |
|
|
||||||||||||
a |
|
|
x |
+ |
|
a |
22 |
x |
2 |
+ |
% + |
a |
2n |
x |
n |
= |
b , |
|
|
|||
|
21 1 |
|
|
|
|
|
|
|
|
|
|
|
2 |
(1) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
% |
% |
|
|
% |
|
% % % |
|
% |
|
% % |
|
|
||||||||||
|
|
|
|
|
+ |
|
am2 x2 |
+ |
% + |
amn xn |
= |
bm , |
|
|
||||||||
am1x1 |
|
|
|
|||||||||||||||||||
где aij ; i = |
|
|
, j = |
|
|
|
– коэффициенты системы; |
x j , |
j = |
|
– неизвес- |
|||||||||||
1, m |
1, n |
1, n |
||||||||||||||||||||
тные; bj , i = |
|
|
|
– свободные члены. |
|
|
|
|
|
|
|
|
||||||||||
1, m |
|
|
|
|
|
|
|
|
Другие формы записи системы (1):
a
11
a21%am1
a12
a22
%
am2
% a x
1
%a2n x2 =
%% "
%amn xn1n
|
b1 |
|
|
|
|
b2 |
|
|
|
|
|
– матричная форма; |
(2) |
|
|
" |
|
||
|
|
|
|
|
|
b |
|
|
|
|
m |
|
|
|
|
|
|
|
! |
= |
! |
– операторная форма, |
|
(3) |
||
|
|
|
|
Ax |
b |
|
||||||
где x! = col(x |
|
, … |
, x |
|
) |
– столбец неизвестных, |
! |
= col(b , … |
, b |
) – стол- |
||
1 |
n |
b |
||||||||||
|
|
|
|
|
|
|
|
1 |
m |
|
|
a11 |
… |
a1n |
|
бец свободных членов, A = |
|
… |
… |
… |
|
|
– матрица системы (1); |
||||
|
|
am1 |
… |
|
|
|
|
amn |
∑n |
aij x j = bi , i = |
|
– тензорная форма. |
|
|
|
1, m |
|
|
|
|||
j= 1 |
|
|
|
|
|
|
|
|
|
|
|
x1 |
|
|
|
|
|
|
x2 |
|
Как и в Л.8, совокупность чисел (x1; x2; x3;...; xn) или |
|
|
||||
|
" |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xn |
(4)
–
5 1
решение системы (1) ((2), (3), (4)), если она обращает все ее уравнения в верные равенства.
Система (1) называется совместной, если она имеет хотя бы одно решение, и несовместной, если она не имеет ни одного решения.
Система (1) называется однородной, если все свободные члены равны нулю. Операторная форма записи однородной системы имеет вид:
! |
= 0 |
, |
(5) |
Ax |
|||
где под 0 понимаем нулевой вектор |
|
! |
|
|
0 . |
Расширенной матрицей системы (1) называется матрица В, состоящая из матрицы системы, дополненной столбцом свободных членов, т.е.
|
a |
a |
% a |
|
b |
|
|
|||
|
|
|||||||||
|
|
11 |
|
12 |
|
1n |
|
1 |
|
|
a21 |
a22 |
% a2n |
|
b2 |
|
(6) |
||||
B = |
|
|
|
|
|
|
|
|
. |
|
|
% |
% |
% % |
|
% |
|
||||
|
a |
|
a |
|
% a |
|
|
b |
|
|
|
|
m1 |
|
m2 |
|
mn |
|
m |
|
|
|
|
|
|
|
Теорема Кронекера-Капелли.
Система (1) совместна, если ранг матрицы А (rA) равен рангу матрицы В (rB), и несовместна, если rB > rA.
Пример 1. Исследовать на совместность систему:
|
|
|
|
|
x + |
y = |
1, |
|
|
|
|
|
|
|
|
|
|
(7) |
||
|
|
|
|
− 2x − |
2 y = |
2. |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Решение. |
B = |
|
1 |
1 |
|
1 |
|
|
|
1 1 |
|
1 |
|
|
rA = 1 |
|
r > |
r . |
||
|
|
|||||||||||||||||||
|
− 2 − |
2 |
|
− 2 |
|
|
0 0 |
|
4 |
|
r |
= |
2 |
|||||||
|
|
|
|
|
|
|
|
|
|
|
B |
A |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Итак, система (7) несовместна.
Пример 2. Исследовать на совместность систему:
|
|
|
|
|
x + |
|
y = 1, |
|
|
|
|
|
|
|
||||
|
|
|
|
2x − |
2y = |
|
− 2. |
|
|
|
|
|
|
|
||||
|
|
|
− |
|
|
|
|
|
|
|
|
|||||||
Решение. |
B = |
|
1 1 |
|
1 |
|
|
|
1 1 |
|
1 |
|
|
r |
= 1 |
|
r |
= r . |
|
|
|||||||||||||||||
|
− 2 − 2 |
|
− 2 |
|
|
0 0 |
|
0 |
|
A |
|
|||||||
|
|
|
|
|
|
|
|
|
|
r |
= 1 |
|
B |
A |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Система (8) |
совместна. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 2
Следствия.
1) Пусть m = n, ∆ = det A ≠ 0 . Тогда rA = rB = n, т.е. система (1) совместна, и ее!решение можно найти методами, изложенными в Л.8.
2) Пусть b = 0 . Тогда rA = rB, т.е. однородная система (5) всегда совместна.
20. Метод Гаусса. Наиболее распространенным точным методом решения систем (1) является метод Гаусса. Суть метода состоит в том, что посредством элементарных преобразований система (1) приводится к треугольному или трапециедальному виду, из которого все решения системы получаются непосредственно.
К элементарным преобразованиям относятся следующие: 1) перестановка любых двух уравнений системы; 2) умножение любого уравнения системы на отличное от нуля число; 3) вычеркивание уравнения, все коэффициенты которого равны нулю; 4) вычитание из любого уравнения системы любого другого, умноженного на отличное от нуля число.
Любое элементарное преобразование приводит к системе вида (1), равносильной данной.
Рассмотрим систему вида (1), где коэффициент a11 ≠ 0 . Если бы
11= 0, то на первое место в системе (1) поставили бы уравнение,
вкотором коэффициент при x1 отличен от нуля. Пусть далее в i-ом
|
|
a |
|
уравнении ai1 ≠ 0. Умножим обе части первого уравнения на |
− |
i1 |
и |
a |
|||
|
|
11 |
сложим его с i-ым уравнением. В результате получим уравнение
(ai1a11 − a11ai1)x1 + ( ai2a11 − a12ai1) x2 +( a11ai3 − a13ai)1 x3 +
+ ... + (a11ain − a1n ai1)xn = a11bi − b1ai1 ,
где коэффициент при x1 равен нулю.
Преобразуем таким образом все уравнения системы, в которых ai1 ≠ 0 (i = 2,m) и, переобозначая cоответствующие коэффициенты, получим систему
a11x1 + a12 x 2 + %+ a1n x n = b1′, |
|
|||||||
|
|
|
|
|
|
|
|
|
a′x |
+ %a′x |
n |
= |
|
b′, |
|
′ |
|
|
22 2 |
2n |
|
|
1 |
, |
||
|
|
|
|
|
|
|
(1 ) |
|
|
%%%%%%%%% |
|
|
|||||
|
a′x |
+ %+ a′x |
n |
= b′ |
|
|
||
|
m 2 2 |
mn |
m |
|
|
в которой рамкой выделена так называемая остаточная часть системы.
5 3
Преобразование системы (1) в систему (1′) выполнено с помощью ее первого уравнения, называемого разрешающим на данном шаге. Исключалась переменная x1, называемая разрешающей, коэффициент a11 при ней называется разрешающим, столбец коэффициен-
|
|
a11 |
|
|
a21 |
тов |
|
|
|
" |
|
|
|
|
|
|
a2n |
|
|
при разрешающей переменной – разрешающим столбцом.
|
|
|
′ |
встретится уравнение вида |
0 x2 + 0 x3 + |
% |
+ |
|||||||
Если в системе (1) |
|
|||||||||||||
+ 0 x n = |
bs′, |
где bs′≠ 0 , |
то система (1) несовместна. Если этого не |
|||||||||||
произойдет, |
то, предполагая, что a′ ≠ 0 , |
из всех уравнений остаточ- |
||||||||||||
|
|
|
′ |
|
|
|
|
22 |
|
|
|
|
|
|
|
|
|
, |
кроме первого, исключим аналогично преды- |
||||||||||
ной части системы (1) |
||||||||||||||
дущему неизвестную x |
2. |
|
|
|
|
|
|
|
|
|
|
|||
Продолжая процесс преобразования остаточных частей получа- |
||||||||||||||
ющихся систем, придем к одному из двух случаев: |
|
|
|
|||||||||||
1) либо в ходе преобразований получаем |
уравнение |
вида |
||||||||||||
0xk + 0xk + 1 + |
%+ 0xn = b , |
где b ≠ |
|
0, и тогда система (1) несовместна; |
|
|||||||||
2) либо приходим к системе без остаточной части: |
|
|
||||||||||||
|
|
a11x1 + a12 x2 + … + a1n x n = b1, |
|
|
|
|||||||||
|
|
a′x |
2 |
+ a′x |
3 |
+ … + a′x |
n |
= b′, |
|
|
|
|||
|
|
|
22 |
23 |
2n |
2 |
|
|
|
|
||||
|
|
a′x |
3 |
+ a′x |
4 |
+ … + a′x |
n |
= b′, |
|
|
′ |
|||
|
|
|
33 |
34 |
3n |
3 |
|
|
|
|||||
|
|
… … … … … … … … … … … … … |
|
|
(1 ) |
|||||||||
|
|
|
|
|
b x |
|
+ … + b x |
|
= c |
, |
|
|
|
|
|
|
|
|
|
r |
n |
|
|
|
|||||
|
|
|
|
|
rr |
|
rn |
r |
|
|
|
|
||
где a , |
a′, |
a′, ..., |
b |
отличны от нуля. Возможно уменьшение чис- |
||||||||||
11 |
22 |
33 |
rr |
|
|
|
|
|
|
|
|
|
|
|
ла уравнений по сравнению с исходной системой (r ≤ |
m) . Это связано |
с тем, что в процессе преобразований вычеркиваются уравнения вида
0 x j + 0 xi+ j + %+ 0 xn = 0 . |
|
′ |
|
Процесс преобразования системы (1) к системе (1 ) |
называют |
прямым ходом метода Гаусса.
Если в системе (1′) r = n , то она имеет треугольный вид. Из последнего уравнения bnn xn = cn находим xn , из предпоследнего – xn–1 и т.д. и, наконец, из первого – x1 и, тем самым, – единственное решение системы (1). Описанный процесс называют обратным ходом метода Гаусса.
5 4
Если |
r < n, то в результате обратного хода r |
неизвестных можно |
|||||||||
выразить |
линейно через |
остальные (n – r) |
|
– |
неизвестных. Эти r |
||||||
неизвестных называют базисными, а остальные |
(n – r) свободными. В |
||||||||||
результате получим общее решение системы в виде: |
|||||||||||
|
x |
= c |
+ c |
|
x |
r+ 1 |
+ … + c |
x |
n |
, |
|
|
1 |
10 |
1,r+ 1 |
|
1n |
|
|
|
|||
|
x2 = c20 + c2,r+ 1xr+ 1 + … + c2n x n , |
|
|||||||||
|
… |
… … … |
… … |
… … |
… … … … |
|
|
|
(8) |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= cr0 |
+ cr,r+ 1xr+ 1 + … + crn x n . |
|
|||||||
|
xr |
|
Совокупность базисных неизвестных назовем базисом системы неизвестных. Общее решение (8) записано относительно базиса (x1, x2, ..., xr). Ясно, что его можно записать относительно и других базисов, которых может быть не более Cnr (число сочетаний из n по r).
Чтобы получить какое-нибудь частное решение системы (1), нужно придать свободным неизвестным некоторые числовые значения. Ясно, что в случае r < n система (1) имеет бесконечное множество решений.
Замечание 1. На практике элементарным преобразованиям подвергают не систему уравнений, а ее расширенную матрицу В. Применительно к матричной записи процедура гауссовских исключений формализуется следующим об-
разом. Первый шаг (исключение неизвестной x1) прямого хода выполняется с |
|||
разрешающим элементом a |
, второй шаг (исключение x |
) – с элементом |
a′и |
11 |
2 |
|
22 |
т.д., где разрешающими являются диагональные элементы матрицы. Пересчет элементов матрицы выполняется по следующим правилам: 1) элементы разрешающей строки и всех вышерасположенных строк остаются неизменными; 2) элементы разрешающего столбца, расположенные ниже разрешающего элемента, обращаются в нули; 3) все прочие элементы матрицы вычисляются по правилу прямоугольника, преобразованный элемент равен разности произведений элементов главной и побочной диагоналей
(рис. 1).
Замечание 2. Из метода Гаусса вытекает доказательство теоремы
Кронекера-Капелли. Рис. 1
5 5
Пример 3. Решить систему:
x1 − 2x2 + x |
3 = |
5, |
|
= − 1, |
|
− 2x1 + 3x3 |
||
|
|
= 1. |
x1 + 4x2 + 3x3 |
Решение. Последовательно получаем следующие матрицы:
|
[1] |
− 2 |
1 |
|
5 |
|
|
|
1 − |
2 1 |
|
5 |
|
|
1 |
|
− 2 |
|
|
1 |
|
5 |
|
||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
− 2 |
|
|
0 |
3 |
|
|
|
|
|
|
|
4 ]5 |
|
|
|
|
|
|
|
|
− 4 |
|
|
5 |
|
|
|
|||||
B = |
|
|
|
− 1 |
0 [− |
|
9 |
0 |
|
|
|
|
9 . |
|
|||||||||||||||||||
|
1 |
|
|
4 |
3 |
|
1 |
|
|
|
0 |
|
|
|
|
|
|
|
0 0 |
|
− |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
6 2 |
|
− 4 |
|
|
|
38 |
|
− 38 |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
По последней матрице записываем систему уравнений, равно- |
|||||||||||||||||||||||||||||||||
сильную данной: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
x1 − 2x2 + x3 = 5, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
+ 5x3 = 9, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
− 4x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
38x3 = − |
38. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Начиная |
|
снизу |
вверх, |
последовательно |
|
находим: |
x3 = 1, |
||||||||||||||||||||||||||
–4x2 + 5 1 = 9 |
|
x2 = –1, |
x1 –2 (–1) +1 = 5 |
x1 = 2. |
|
|
Итак, |
(2;–1;1) – |
един- |
||||||||||||||||||||||||
ственное решение исходной системы. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
! Задания для самостоятельной работы |
|
|
|
|
|
||||||||||||||||||||||||||||
1. Решить методом Гаусса системы: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
2x1 + 7x2 + 3x3 |
+ x4 = 5, |
|
|
|
|
x1 + 3x2 + 2x3 = 0, |
|
|
|
|
||||||||||||||||||||||
|
+ 3x2 + 5x3 − |
2x4 = 3, |
|
|
|
|
|
|
|
|
|
|
|
|
= 0, |
|
|
|
|
||||||||||||||
x1 |
|
|
|
2x1 − x2 + 3x3 |
|
|
|
|
|||||||||||||||||||||||||
а) |
x + |
5x |
2 |
− 9x |
3 |
+ |
8x |
4 |
= 1, |
б) |
3x − |
5x |
2 |
+ |
4x |
3 |
= |
0, |
|
|
|
||||||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
+ 18x2 + 4x3 + 5x4 = 12; |
|
|
|
+ 17x2 + 4x3 = 0. |
|
|
|
||||||||||||||||||||||||
|
5x1 |
|
|
|
x1 |
|
|
|
|||||||||||||||||||||||||
2. Исследовать на совместность системы: |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
4x1 − 3x2 + 2x3 |
− x4 = 8, |
|
2x1 + 3x2 − x3 + x4 = 1, |
|
|
|
||||||||||||||||||||||||||
|
|
− 2x2 + x3 − |
3x4 = 7, |
|
|
|
+ 12x2 − 9x3 + 8x4 = 3, |
|
|||||||||||||||||||||||||
3x1 |
8x1 |
|
|||||||||||||||||||||||||||||||
а) |
2x |
− x |
2 |
− 5x |
4 |
= |
6, |
|
|
б) |
4x |
+ |
6x |
2 |
+ |
|
3x |
3 |
− |
2x |
4 |
= |
3, |
|
|||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
5x1 − 3x2 + x3 − |
8x4 = 1; |
2x |
+ |
3x |
2 |
+ 9x |
3 |
− |
7x |
4 |
= |
3. |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
5 6
Лекция 10
Метод полного исключения. Нахождение базисных и опорных решений систем линейных уравнений
Излагается метод полного исключения для решения систем линейных уравнений, приводятся алгоритмы нахождения базисных и опорных решений таких систем.
10. Метод полного исключения. Для решения ряда задач достаточно выполнения операций прямого хода. При решении систем линейных уравнений в Л. 9 выполнялись и прямой, и обратный ходы, в результате которых в расширенной матрице выделялась диагональная подматрица и цель достигалась.
Оказывается, что диагональную подматрицу можно выделить в результате прямого хода, если использовать следующий алгоритм.
Первый шаг. Соответствует исключению неизвестной x1 и выполняется с разрешающим элементом a11 ≠ 0 по правилам прямого хода.
Общий шаг. Соответствует последовательному исключению неизвестных x2, x3,... и выполняется по следующим правилам:
1) назначается разрешающий элемент, им будет коэффициент при исключаемой неизвестной;
2)элементы разрешающей строки остаются неизменными;
3)все элементы разрешающего столбца, кроме разрешающего элемента, заменяются нулями и остаются таковыми до конца преобразований;
4)все прочие элементы матрицы пересчитываются по правилу прямоугольника.
Пример 1. Методом полного исключения решить систему уравнений:
x1 + 2x2 + 3x3 − x4 |
= 1, |
|||||||
|
|
+ 2x2 |
+ x3 − x4 |
= 1, |
||||
3x1 |
||||||||
2x |
+ 3x |
2 |
+ x |
3 |
+ x |
4 |
= 1, |
|
|
1 |
|
|
|
|
|||
|
|
+ 5x2 |
+ 2x3 = 2. |
|||||
5x1 |
Решение. Используем алгоритм полного исключения и последовательно получаем следующие матрицы:
5 7
|
|
[1] 2 3 − 1 |
|
|
1 |
|
|
1 |
2 |
|
|
|
3 |
− 1 |
|
|
1 |
|
|
|
− 4 |
0 |
4 0 |
|
0 |
|
|
||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
− 1 |
|
|
|
|
|
0 |
[− 4 ] − |
8 |
2 |
|
− |
|
|
|
|
|
|
|
− 4 − 8 2 |
|
|
|
|
|||||
B = |
3 2 1 |
|
|
1 |
|
|
2 |
|
0 |
|
− 2 |
|
|||||||||||||||||||
|
2 3 1 |
1 |
|
|
1 |
|
|
0 |
− 1 − |
5 3 |
|
− 1 |
|
|
0 |
|
|
0 12 − 10 |
|
2 |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
5 5 2 |
0 |
|
|
2 |
|
|
0 |
− 5 − |
13 5 |
|
− |
3 |
|
|
|
0 |
|
|
0 12 − 10 |
|
2 |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
1 |
0 |
|
− 1 0 |
|
0 |
|
6 0 0 |
|
− 5 |
|
1 |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
2 |
|
|
4 − |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
1 |
0 12 0 14 |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
0 |
0 |
|
[6 ]− |
5 |
|
1 |
|
0 0 6 |
|
− 5 |
|
1 |
. |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
По последней матрице записываем общее решение системы уравнений: x1 = 16 + 56 x4 , x2 = 16 − 76 x4 , x3 = 16 + 56 x4 где x4 – любое вещественное число.
20. Нахождение базисных решений системы линейных уравнений. Совместная система линейных алгебраических уравнений называется неопределенной, если она имеет более одного решения. Важную роль в приложениях, в частности, в линейном программировании играют базисные решения такой системы уравнений. Запишем общее решение системы (Л. 9.1) в виде (Л. 9.9):
|
x |
= c |
+ c |
x |
r + 1 |
+ %+ c |
x |
, |
|
|
1 |
10 |
1,r + 1 |
|
1n |
n |
|
|
|
x2 = c20 + c2,r + 1xr + 1 + %+ c2n xn , |
|
||||||||
|
|
|
|
|
|
|
|
|
(1) |
%%%%%%%%%%%%% . |
|||||||||
|
xr |
= cr0 + cr,r + 1xr + 1 |
+ %+ crn xn |
|
|||||
|
|
Базисное решение получается из решения (1), если свободным неизвестным придать нулевые значения, т.е. положить xr+1 = xr+2 = ... = xn = 0. Тогда базисные неизвестные будут равны соот-
ветствующим свободным членам, т.е. x1 = c10, x2 = c20, ..., xr = cr 0. Полученное базисное решение (c10; c20; ..., cr0; 0; ...; 0) соответствует
базису (x1, ..., xr). Если общее решение записать в другом базисе, то получим другое базисное решение. Поскольку из системы n неизвестных можно образовать не более Cnr базисов, то и базисных решений у системы (Л. 9.1) может быть не более Cnr.
Пример 2. Найти все базисные решения системы:
5 8
x1 + 3x2 = 14, |
|
|||
2x1 − |
3x3 |
= |
7, |
(2) |
|
x3 |
= |
7. |
|
2x2 + |
|
Решение. В результате прямого хода расширенная матрица данной системы приводится к виду:
|
|
|
|
|
|
|
|
|
|
x |
1 |
x 2 |
|
x 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
B = |
|
1 |
3 |
− |
0 |
|
14 |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
2 |
0 |
3 |
|
7 |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
0 |
2 |
|
1 |
|
7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
x1 |
x 2 |
x 3 |
|
|
|
|
|
|
x1 |
|
x 2 |
|
|
x 3 |
|
|
|
|
|
|
|
|
(3) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
1 |
3 0 |
|
14 |
|
|
|
|
1 |
|
3 0 |
14 |
|
|
x1 |
x 2 |
x3 |
|
|
|||||
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
[− 6 ]− 3 |
|
− 21 |
|
|
|
|
− 6 − 3 |
− 21 |
|
|
|
|
|
|||||||||
0 |
|
|
0 |
|
1 |
3 |
0 |
14 |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
2 |
1 |
7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
||||
|
|
0 |
2 1 |
|
7 |
|
|
|
|
0 |
|
0 0 |
0 |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
которой соответствует система двух уравнений с тремя неизвестными. Так что в общем решении системы две базисные неизвестные линейно выражаются через одну свободную. Возможные свободные неизвестные x1; x2 или x3.
Пусть x1 = 0. Тогда матрица (3) приобретает вид
|
|
|
|
|
|
|
|
|
|
|
x2 |
x3 |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
3 |
0 |
|
|
|
14 |
|
, |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
2 |
1 |
|
|
|
7 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
x2 = |
14 |
2 |
14 |
+ |
|
= 7 x3 = − |
7 |
|
||||||||
из которой следует |
, |
x3 |
. |
||||||||||||||||||||
|
3 |
3 |
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|||||
|
|
|
Таким образом, в базисе (x2, x3) |
|
базисное решение имеет вид |
||||||||||||||||||
|
|
14 |
;− |
7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
0; |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
Пусть теперь x2 = 0 . Тогда матрица (3) запишется в форме |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
x1 |
x3 |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
0 |
|
14 |
|
, |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
0 |
1 |
|
|
7 |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и, значит, x1 = 14, x3 = 7 , а базисное решение имеет вид (14; 0; 7) .
5 9
|
|
|
При x3 = 0 |
матрица (3) имеет вид |
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x1 |
x2 |
|
14 |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
3 |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
2 |
|
7 |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
Отсюда x 2 = |
|
7 |
, |
|
x1 |
|
= |
14 − |
|
7 |
3 = |
|
7 |
|
. Базисное решение |
||||||||||||
|
|
|
|
2 |
|
2 |
2 |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
7 |
|
7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
; |
|
;0 |
. Итак, |
базисные решения следующие: |
||||||||||||||||||||||||
2 |
2 |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
14 |
|
|
|
7 |
|
|
|
|
|
|
|
7 |
|
7 |
|
|
|
||||||
|
|
|
|
|
|
0; |
|
|
|
|
; − |
|
, |
(14; 0; 7), |
|
|
; |
|
;0 . |
|
||||||||||
|
|
|
|
|
|
|
3 |
|
|
2 |
2 |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
30. Нахождение опорных решений. В приложениях,
особенно в математическом программировании, важную роль играют базисные решения, в которых базисные неизвестные принимают неотрицательные значения. Такие решения называют опорными. Чтобы получить опорное решение неопределенной системы линейных уравнений, необходимо с самого начала гауссовых исключений выбирать разрешающие элементы по определенному правилу.
Во-первых, без ограничения общности рассуждений можно считать, что все элементы bi столбца свободных членов исходной расширенной матрицы В системы (Л. 9.1) неотрицательны, ибо если это не так, то обе части соответствующего уравнения нужно умножить на –1.
Опишем правила выбора разрешающих элементов:
1) если в разрешающем столбце есть положительные и отрицательные элементы, то в качестве разрешающего элемента выбирается такой положительный элемент, для которого отношение свободного члена строки к этому элементу будет наименьшим из всех отношений свободных членов к соответствующим положительным элементам разрешающего столбца;
2) если в разрешающем столбце только неположительные элементы, то в качестве разрешающего выбирается такой отрицательный элемент, для которого абсолютная величина отрицательного отношения свободного члена строки к этому элементу будет наибольшей из всех абсолютных величин отрицательных отношений свободных членов к соответствующим отрицательным элементам разрешающего столбца.
Дальше определяем те базисные решения, которые являются и опорными.
6 0