Системы линейных алгебраических уравнений (СЛАУ)

Классификация и теорема Кронекера-Капелли

Перед тем как пытаться решить систему, математики проверяют, имеет ли она решения вообще. Система называется совместной, если у нее есть хотя бы одно решение, и несовместной, если решений не существует (уравнения противоречат друг другу). Если решение есть, и оно единственное, система называется определенной. Если решений бесконечно много — неопределенной. Фундаментальный ответ на вопрос о совместности дает теорема Кронекера-Капелли. Она гласит: система линейных уравнений совместна тогда и только тогда, когда ранг основной матрицы системы (матрицы коэффициентов) в точности равен рангу расширенной матрицы (полученной добавлением столбца свободных членов). Ранг матрицы — это максимальное число линейно независимых строк.

Метод Гаусса: универсальный алгоритм

Метод последовательного исключения неизвестных, или метод Гаусса, является самым надежным и универсальным способом решения любых СЛАУ. Его алгоритм состоит из двух этапов: прямого и обратного хода. На прямом ходе расширенная матрица системы с помощью элементарных преобразований строк (перестановка строк, умножение на ненулевое число, сложение строк) приводится к ступенчатому (треугольному) виду. На этом этапе сразу становится понятно, совместна ли система. Если мы получаем строку вида «0 0 ... 0 | ненулевое число», система решений не имеет. Обратный ход Гаусса начинается с последнего уравнения: найдя последнюю переменную, мы подставляем ее в предыдущее уравнение, находим предпоследнюю, и так далее до самого верха.

Правило Крамера для невырожденных систем

Для квадратных систем (где количество уравнений равно количеству неизвестных), определитель матрицы которых не равен нулю, применимо правило Крамера. Этот метод дает явные аналитические формулы для нахождения каждой переменной. Суть правила проста: неизвестная x_i равна отношению определителя вспомогательной матрицы к определителю основной матрицы системы. Вспомогательная матрица получается из основной путем замены i-го столбца на столбец свободных членов. Хотя правило Крамера теоретически прекрасно и позволяет находить любую переменную независимо от других, на практике для систем размерностью более 3x3 оно используется редко из-за огромного объема вычислений определителей.

Матричный метод решения (Метод обратной матрицы)

Еще один способ решения систем, где матрица коэффициентов является квадратной и невырожденной (определитель отличен от нуля), — это матричный метод. Исходное уравнение AX = B умножается слева на обратную матрицу A^(-1). В результате получается изящная формула: X = A^(-1) * B. То есть, чтобы найти вектор неизвестных, достаточно вычислить обратную матрицу и умножить ее на вектор свободных членов. Этот метод очень удобен, когда нужно решить несколько систем уравнений с одинаковой матрицей коэффициентов A, но разными столбцами свободных членов B. Матрица обращается лишь один раз, а далее применяются простые умножения.