Теорема. Элементарные преобразования переводят систему уравнений в равносильную.
Смысл метода Гаусса заключается в том, чтобы преобразовать исходную систему уравнений и получить равносильную разрешенную или равносильную несовместную систему.
Итак, метод Гаусса состоит из следующих шагов:
- Рассмотрим первое уравнение. Выберем первый ненулевой коэффициент и разделим все уравнение на него. Получим уравнение, в которое некоторая переменная xi входит с коэффициентом 1;
- Вычтем это уравнение из всех остальных, умножая его на такие числа, чтобы коэффициенты при переменной xi в остальных уравнениях обнулились. Получим систему, разрешенную относительно переменной xi, и равносильную исходной;
- Если возникают тривиальные уравнения (редко, но бывает; например, 0 = 0), вычеркиваем их из системы. В результате уравнений становится на одно меньше;
- Повторяем предыдущие шаги не более n раз, где n — число уравнений в системе. Каждый раз выбираем для «обработки» новую переменную. Если возникают противоречивые уравнения (например, 0 = 8), система несовместна.
В результате через несколько шагов получим либо разрешенную систему (возможно, со свободными переменными), либо несовместную. Разрешенные системы распадаются на два случая:
- Число переменных равно числу уравнений. Значит, система определена;
- Число переменных больше числа уравнений. Собираем все свободные переменные справа — получаем формулы для разрешенных переменных. Эти формулы так и записываются в ответ.