Решатель систем линейных уравнений

Что такое система линейных уравнений

ССЛАУ — это набор n линейных уравнений с n неизвестными x₁, x₂, …, xₙ. В матричной форме: A · x = B, где A — матрица коэффициентов n×n, x — вектор неизвестных, B — вектор свободных членов. Решить СЛАУ — найти такие значения x, что все уравнения одновременно верны.

Метод исключения неизвестных, носящий сегодня имя Гаусса, был известен ещё китайским математикам 2000 лет назад — он описан в трактате «Девять глав о математическом искусстве».— Карл Фридрих Гаусс, XIX век

Три типа решений

Любая квадратная СЛАУ имеет ровно один из трёх исходов:

Основные методы решения

Кроме Гаусса есть ещё несколько классических методов. Выбор зависит от размера системы, численной устойчивости и задачи.

Алгоритм Гаусса

Прямой ход: приводим расширенную матрицу [A | B] к верхнетреугольному виду. Для каждой колонки i: выбираем ведущий элемент (максимум по модулю — для устойчивости), при необходимости меняем строки местами, зануляем элементы ниже. Обратный ход: начиная с xₙ, подставляем найденные значения снизу вверх и находим xₙ₋₁, …, x₁.

Пример: решение системы методом Гаусса по шагам

Разберём систему 2×2 целиком — ровно так же её расписывает калькулятор в блоке «Показать ход решения». Дано: x + 2y = 5 и 3x − y = 1.

Что произошло. Прямой ход: из второго уравнения вычли первое, умноженное на 3, — коэффициент при x во второй строке стал нулём, и система превратилась в «лесенку». Обратный ход: из нижнего уравнения −7y = −14 сразу находим y = 2, подставляем его в верхнее и получаем x = 1. Для систем 3×3 и больше схема та же, просто исключений больше: сначала зануляем всё под первой диагональю, потом под второй — и поднимаемся обратно от xₙ к x₁. Финальная подстановка ответа во все исходные уравнения — обязательный ритуал: она ловит ошибку на любом из шагов.

Типовые ошибки при решении СЛАУ

Метод Гаусса прост по идее, но в ручном счёте есть пять классических ловушек — по ним проваливается большинство контрольных:

Отдельно про ноль на диагонали: это не тупик, а сигнал переставить строки. Калькулятор делает это автоматически (partial pivoting), а при ручном счёте перестановку часто забывают — и либо делят на ноль, либо «теряют» переменную. Если же нулевой оказалась вся колонка ниже диагонали, переставлять нечего: матрица вырожденная, и дальше работает логика из следующего раздела.

Когда система не имеет решений или имеет бесконечно много

Ответ даёт теорема Кронекера—Капелли. Словами: система совместна (имеет хотя бы одно решение) тогда и только тогда, когда ранг матрицы коэффициентов A равен рангу расширенной матрицы [A|B]. Ранг — это число «независимых» строк, то есть уравнений, которые несут новую информацию, а не повторяют и не противоречат остальным. Дальше три случая: ранги равны и совпадают с числом неизвестных n — решение единственное; ранги равны, но меньше n — уравнений «не хватает», появляются свободные переменные и бесконечно много решений; ранг [A|B] больше ранга A — свободные члены противоречат друг другу, решений нет.

Геометрия делает оба случая наглядными. «x + y = 2» и «x + y = 5» — две параллельные прямые: одинаковый наклон, разный сдвиг, общих точек нет. «x + y = 2» и «2x + 2y = 4» — одна и та же прямая, записанная дважды: общих точек бесконечно много, и каждая точка прямой — решение. Решатель распознаёт оба сценария сам: при строке 0 = c выводит «система несовместна», при 0 = 0 — сообщает о бесконечном множестве решений.

Где применяются СЛАУ

Физика и инженерия: расчёт сил в фермах, электрические цепи (законы Кирхгофа), тепловой поток. Экономика: модель межотраслевого баланса Леонтьева, линейное программирование. Компьютерная графика: преобразования координат, матрицы поворота, перспективы. Машинное обучение: линейная регрессия, нейронные сети (матрицы весов). Криптография: шифр Хилла, атаки на схемы с линейной структурой.

Смотрите также математический глоссарий.