Введение
Математические модели процессов часто или сразу строятся как линейные алгебраические системы или сводятся к ним. Необходимость решения СЛАУ возникает при вычислении определителя, обращения матриц, нахождении собственных чисел.
Методы численного решения системы Ax=b, где A - матрица n x n, det A ≠ 0, x - искомый вектор, b - заданный вектор, разделяются на два класса: прямые и итерационные. Прямые методы позволяют находить решение системы за конечное число арифметических операций. Если операции реализуются точно, то решение будет точным (прямые методы еще называют точными). На деле при вычислении на ЭВМ прямые методы не приводят к точному решению вследствие погрешностей округления.
Итерационные методы позволяют найти точное решение путем бесконечного повторения единообразных действий т.е. решение, которое реально можно получить, будет приближенным.
Постановка задачи
Требуется решить систему линейных алгебраических уравнений с вещественными коэффициентами вида
a11x1 + a12x2 + … + a1nxn = b1,a21x2 + a22x2 + … + a2nxn = b2,.........
an1x1 + an2x2 + … + annxn = bn
с помощью метода исключения Гаусса.
Пример 1. Покажем, как методом Гаусса можно решить следующую систему:
Обнулим коэффициенты при x во второй и третьей строчках. Для этого домножим их на 
и 1 соответственно и сложим с первой строкой:
Теперь обнулим коэффициент при y в третьей строке, домножив вторую строку на - 6 и сложив с третьей:
В результате мы привели исходную систему к треугольному виду, тем самым закончив первый этап алгоритма.
На втором этапе разрешим полученные уравнения в обратном порядке.
Имеем:
z = - 1 из третьего;
y = 3 из второго, подставив полученное z
x = 2 из первого, подставив полученные z и y.
Таким образом исходная система решена.
Пример 2. Покажем, как методом Гаусса можно решить следующую систему:
Составим расширенную матрицу системы.
.
Таким образом, исходная система может быть представлена в виде:
, откуда получаем: x =1, y = 2, z = 3.
Математические и алгоритмические основы решения задачи
Описание метода
Метод Гаусса - классический метод решения системы линейных алгебраических уравнений (СЛАУ). Состоит в постепенном понижении порядка системы и исключении неизвестных.
Пусть исходная система выглядит следующим образом
,
. (1)
Тогда согласно свойству элементарных преобразований над строками эту систему можно привести к трапециальному виду:
, 
.
Переменные 
называются главными переменными. Все остальные называются свободными.
Если 
, то рассматриваемая система несовместна.
Предположим, что 
.
Перенесём свободные переменные за знаки равенств и поделим каждое из уравнений системы на свой коэффициент при самом левом 
, i=1,…,r. (где i - номер строки):
где i=1,…,r, k=i+1, …, n.
Если свободным переменным системы (2) придавать все возможные значения и вычислить через них главные переменные, то мы получим все решения этой СЛАУ. Так как эта система получена путём элементарных преобразований над исходной системой (1), то по теореме об эквивалентности при элементарных преобразованиях полученное нами решение является решением системы (1).
Следствия:
Если в совместной системе все переменные главные, то такая система является определённой.
Если количество переменных в системе превосходит число уравнений, то такая система является либо неопределённой, либо несовместной.
Условие совместности:
Упомянутое выше условие может быть сформулировано в качестве необходимого и достаточного условия совместности:
Напомним, что рангом совместной системы называется ранг её основной матрицы (либо расширенной, так как они равны).
Алгоритм
Численное решение систем вида:
(3)
или Ax=b методом Гаусса заключается в последовательном исключении неизвестных. Система (3) поэтапно приводится к треугольному виду. Сначала исключается x1 из 2-го, 3-го,..., n-го уравнений, для этого необходимо сложить уравнения 2,3,...,n с первым уравнением, умноженным на - a21/a11, - a31/a11,..., - an1/a11 соответственно.
(4)
Потом x2 из 3-го,..., n-го умножением второго уравнения на - a¹32/a¹22, - a¹42/a¹22,..., - a¹n2/a¹22 и сложением с 3,4,. n уравнениями.
И дальше по аналогии система приводится к треугольному виду:
.
Процесс приведения системы к треугольному виду называется прямым ходом. Общие формулы для прямого хода:
,
,
где k =1,...,n - 1; i,j = k+1,...,n.
Для нахождения решения теперь необходимо вычислить неизвестные, начиная с n-го уравнения. Процесс вычисления значений неизвестных называется обратным ходом.
На каждом этапе xk находится по формуле
,
где k = n, n-1,...,
Функциональные модели и блок-схемы решения задачи
Функциональные модели и блок-схемы решения задачи представлены на рисунках 1 и 2.
Условные обозначения:
I, J - временные переменные;
A - временная матрица;
B - массив свободных членов матрицы;
X - массив решений;
NUMB - временная переменная;
MATRIX - матрица для расчета;
ROW_COL, R_C, LEN - количество строк и столбцов в матрице;
ARRAY_B - рабочий массив свободных членов.
Рисунок 1 - Функциональная модель решения задачи для функции PRINT_RES
Рисунок 2 - Блок-схема решения задачи для функции METHOD_GAUS