4.7. Метод решения системы путем исключения неизвестных.

Можно рекомендовать следующий метод решения систем линейных уравнений, который является методом исключения неизвестных (или методом Гаусса). Пусть дана система

                                        (1'')

Если мы умножим какое-либо уравнение системы (1") на постоянное число и прибавим его к другому уравнению системы, то получим новую систему, эквивалентную прежней. Новая система уравнений будет иметь свою матрицу , соответствующим образом преобразованную из матрицы  (). Преобразование заключается в том, что некоторая строка матрицы  видоизменяется прибавлением к ней другой строки, умноженной на соответствующее число.

Подобным образом, если умножить какое-либо из уравнений системы на число , оставив остальные уравнения прежними, то получим новую систему, очевидно, эквивалентную исходной. Новая система будет иметь свою матрицу , соответствующим образом преобразованную из матрицы  (). На этот раз преобразование заключается в том, что строка, соответствующая указанному уравнению, умножается на .

Появляется также необходимость переставлять местами два уравнения системы (1"), получив, таким образом, формально новую, но эквивалентную исходной систему. В этом случае преобразование  сводится к перестановке местами двух строк матрицы .

Указанные три преобразования называют элементарными преобразованиями матрицы.

Технически, вместо того чтобы писать новую систему уравнений, ограничиваются тем, что пишут только соответствующую ей матрицу . Всегда можно, применяя подходящим образом элементарные операции над системой уравнений или, что все равно, над матрицей , добиться либо решения заданной системы (1"), либо прийти к явно противоречивой системе. Так как последняя эквивалентна системе (1"), то это докажет противоречивость системы (1").

Ниже приводятся примеры применения этого метода.

Операция обозначает, что  получается из  посредством одной или нескольких элементарных преобразований.

Пример 7. Решить систему

Конечно, согласно теореме 1, мы могли бы просчитать все пять определителей четвертого порядка и найти . Здесь было бы много повторяющихся вычислений.

Составим матрицу :

,

где, как мы видим, последний столбец состоит из правых частей нашей системы. Умножая первую строку на (-1) и прибавляя ее к третьей и четвертой строкам, получим матрицу

.

В матрице  элементы третьей строки, являющиеся коэффициентами при неизвестных, кроме одного, равны нулю. Переместим эту строку на место второй строки. Тогда элемент, не равный нулю, окажется на главной диагонали:

.

Вторую строку можно еще умножить на (-1), чтобы запись была проще:

.

Дальнейшие преобразования матриц очевидны:

Отсюда , , , . Чтобы не допустить ошибки, рекомендуется осуществить проверку, подставив полученные значения в исходные уравнения системы.

Рассмотрим с этой точки зрения пример 5:

.

Таким образом, исходная система эквивалентна следующей:

В последней строке свободный член равен единице, а коэффициенты при неизвестных равны нулю, поэтому система несовместна.

Наконец, в примере 6

Отсюда

,  ,

т.е. система имеет бесконечное множество решений:

,   ,    ,

где  - любое число .