🧮 Линал

Метод Крамера или Гаусса: что выбрать для системы уравнений

Q: Почему Крамер такой дорогой на больших системах?

Определитель порядка $n$, раскрытый по определению, — это $n!$ произведений: для $n = 13$ уже свыше шести миллиардов слагаемых, а Крамеру нужны $n + 1$ определителей. Гаусс при том же $n$ делает порядка $\frac{2}{3}n^3$ операций — около полутора тысяч. На практике же никто не раскрывает определители наивно: их считают тем же Гауссом за $O(n^3)$, и тогда Крамер превращается в «Гаусс, повторённый $n + 1$ раз» — дорого и без диагностики.

Q: Чем матричный метод отличается от Крамера?

По сути ничем существенным: $X = A^{-1}B$ требует невырожденности $A$ — того же условия, что и Крамер, — и отвечает той же единственной точкой. Разница в форме записи: матричный метод компактнее в теории (одно уравнение вместо $n$ дробей), но на практике требует обращения матрицы, что дороже прямого хода Гаусса. Для одиночной системы $Ax = b$ обращать матрицу — как покупать новый станок ради одной детали: Гаусс дешевле.

КрамерГаусс

Коротко: Крамер — калькулятор для маленьких квадратных систем с ненулевым определителем: две-три дроби, и ответ готов. Гаусс — конвейер общего назначения: любые прямоугольные системы, диагноз «нет решений или их бесконечно много» вместо молчания Крамера и цена $O(n^3)$ вместо факториальной. Выбор диктует система, а не вкус.

План на семестр Вердикт: с чего начать

Оба метода доводят до верного ответа, поэтому вопрос «Крамер или Гаусс» — это вопрос не правильности, а цены, области применения и информативности. Крамер перемножает определители и выдаёт каждую переменную готовой дробью. Гаусс гонит матрицу к ступенчатому виду и по дороге рассказывает о системе всё: ранг, противоречия, свободные переменные. На системе два на два спор бессмыслен — считайте тем, что быстрее пишется. Разница начинается с размера, параметров и вырожденных случаев.

Полная теория — в уроках СЛАУ методом Гаусса и Крамер и матричный метод, определители — в уроке определители. Здесь — выбор метода на одном сквозном примере.

{x + 2 y = 5 3 x + 4 y = 11, Δ = 1 \cdot 4 - 2 \cdot 3 = - 2 \neq = 0

рабочая система: определитель ненулевой, решение существует и единственно — Крамер легален

Крамер: две дроби#

x = \frac{5 11 2 4}{Δ} = \frac{20 - 22}{- 2} = 1, y = \frac{1 3 5 11}{Δ} = \frac{11 - 15}{- 2} = 2

столбец правых частей поочерёдно встаёт на место каждого столбца; проверка:

1 + 4 = 5

3 + 8 = 11

Восемь умножений — и ответ. Сила метода раскрывается в символьной работе: если правые части буквенные, формулы Крамера показывают зависимость решения от параметра явной дробью $x = \frac{Δ _{x}}{Δ}$ — инженеры и физики так получают чувствительность системы к изменениям данных. И эта же красота оборачивается ловушкой при больших $n$ : определитель порядка $n$ при честном раскрытии — сумма порядка $n!$ слагаемых, а Крамеру нужны $n + 1$ таких определителей. Уже для $n = 13$ это миллиарды операций на каждый.

Гаусс: ступенька и обратный ход#

Расширенная матрица: $(1324511)$ .
Убираем $x$ из второй строки: $R_{2} - 3 R_{1}$ даёт $(10 2 - 2 5 - 4)$ .
Обратный ход: $- 2 y = - 4$ , отсюда $y = 2$ .
Подстановка в первую строку: $x + 4 = 5$ , отсюда $x = 1$ . Ответ совпал с Крамером: $x = 1$ , $y = 2$ .

На маленькой системе Гаусс сделал лишние движения — но посмотрите, что он показал по дороге: матрица приведена к ступенчатому виду, ранг равен двум, свободных переменных нет. Замените правую часть $11$ на $17$ — и вторая строка станет $(0, - 2 ∣ 2)$ : решение всё равно есть. Замените коэффициент $4$ на $6$ — строки станут пропорциональными, и Гаусс честно скажет, что случилось: либо противоречие, либо бесконечное семейство решений. Крамер на вырожденной системе молчит: $Δ = 0$ , формулы запрещены, а что именно произошло — из нулевого определителя не видно.

Критерий	Метод Крамера	Метод Гаусса
Требования	квадратная система, $Δ \neq = 0$	любые $m \times n$
Ответ	каждая переменная — готовая дробь	общее решение с параметризацией
$Δ = 0$ / несовместность	молчит: случай запрещён	различает «нет решений» и «их бесконечно много»
Цена при больших $n$	порядка $n!$ на каждый определитель	$\frac{2}{3} n^{3}$ на всю систему
Системы с параметром	на $2 \times 2$ — изящно: дробь $\frac{Δ _{x}}{Δ}$	надёжнее в общем случае
Недоопределённые и переопределённые	неприменим	штатный режим работы
Когда выбирать	маленькие квадратные системы, символьные выкладки	всё остальное, включая численные расчёты

Крамер — инструмент частного случая, доведённый до совершенства; Гаусс — универсальный протокол

Алгоритм выбора за тридцать секунд#

Система квадратная и маленькая ( $2 \times 2$ или $3 \times 3$ ), коэффициенты числовые — Крамер: $n + 1$ определитель, ответ дробями.
В условии есть параметр, а система маленькая — посчитайте Крамером в символах: условие единственности сразу запишется как неравенство на определитель.
Система не квадратная, большая (от $4 \times 4$ ) или попросили общее решение — Гаусс без вариантов.
Определитель оказался нулевым — переходите на Гаусс: только ступенька скажет, нет решений или их бесконечно много.
Численный расчёт с округлениями — Гаусс с выбором ведущего элемента: контроль ошибок встроен в метод.

Система двух уравнений = две прямые

Меняй числа!

Введите коэффициенты системы и смотрите на прямые. Решение — точка, где они пересекаются. Попробуйте сделать прямые параллельными: решений не будет. А теперь сделайте их одинаковыми — их бесконечно много!

ax + by = c dx + ey = f

abcdef

det

-3.00

2.33

0.33

Случай

единственное

det = ae − bd: если он ноль, прямые параллельны или совпадают — правило Крамера отказывает.

Метод Гаусса: шаг за шагом

СЛАУ 3×3

Кнопка «Шаг» выполняет одну элементарную операцию над строками и объясняет её словами. Прямой ход приведёт матрицу к ступенчатому виду, обратный ход последовательно выразит неизвестные.

Система

2x₂ + 2x₃ = 10

2x₁ + 3x₂ + 4x₃ = 20

2x₁ − x₂ + 2x₃ = 6

Расширенная матрица (A|b)

x₁x₂x₃b

102210

223420

32−126

Нажмите «Шаг» — выполнится одна элементарная операция над строками и появится её объяснение. Ведущий (разрешающий) элемент подсвечен янтарным.

Особые случаи:

История шагов

Здесь появится список всех выполненных операций.

Шаг

0 из 10

Ранг

Статус

единственное

Решение x₁; x₂; x₃

—

Типы элементарных операций: I — поменять строки местами, II — умножить строку на число ≠ 0, III — прибавить к строке другую, умноженную на число. Решение системы они не меняют.

Проверь себя+15 XP

Определитель системы $Δ = 0$ . Что это означает?

Проверь себя+15 XP

Система из четырёх уравнений с четырьмя неизвестными, числовые коэффициенты, нужен ответ с тремя верными знаками. Что рациональнее?

Проверь себя+15 XP

Система ${a x + y = 2 x + a y = 0$ с параметром $a$ . Какое условие единственности решения даст Крамер?

Частые вопросы

Когда метод Крамера действительно лучший выбор?

Три ситуации. Первая: квадратная система $2 \times 2$ или $3 \times 3$ с числами — ответ получается двумя-тремя дробями быстрее, чем запись расширенной матрицы. Вторая: символьные коэффициенты — формулы $x_{i} = \frac{Δ _{i}}{Δ}$ явно показывают зависимость решения от параметров, что незаменимо в задачах «при каких $a$ единственное решение». Третья: теоретические рассуждения — ненулевой определитель мгновенно гарантирует существование и единственность без единого шага исключения.

Почему Крамер такой дорогой на больших системах?

Определитель порядка $n$ , раскрытый по определению, — это $n!$ произведений: для $n = 13$ уже свыше шести миллиардов слагаемых, а Крамеру нужны $n + 1$ определителей. Гаусс при том же $n$ делает порядка $\frac{2}{3} n^{3}$ операций — около полутора тысяч. На практике же никто не раскрывает определители наивно: их считают тем же Гауссом за $O (n^{3})$ , и тогда Крамер превращается в «Гаусс, повторённый $n + 1$ раз» — дорого и без диагностики.

Гаусс всегда даёт точный ответ?

В точной арифметике — да. В машинной с плавающей точкой ошибки округления накапливаются, и маленький ведущий элемент раздувает погрешность. Лечится частичным выбором ведущего элемента — на каждом шаге ведёт строка с максимальным по модулю элементом — а при жёстких требованиях к точности — итерационным уточнением. Теория ошибок и сравнение с LU-разложением — в уроке численные методы СЛАУ и в сравнении Гаусс против LU.

Чем матричный метод отличается от Крамера?

По сути ничем существенным: $X = A^{- 1} B$ требует невырожденности $A$ — того же условия, что и Крамер, — и отвечает той же единственной точкой. Разница в форме записи: матричный метод компактнее в теории (одно уравнение вместо $n$ дробей), но на практике требует обращения матрицы, что дороже прямого хода Гаусса. Для одиночной системы $A x = b$ обращать матрицу — как покупать новый станок ради одной детали: Гаусс дешевле.

Что дальше: тренировка обоих методов — в тренажёре СЛАУ и на страницах задачи на СЛАУ и задачи на матрицы; алгоритм с проверками — в разборе как решать СЛАУ; определения — в терминах метод Гаусса, метод Крамера и определитель; быстрый счёт — у решателя методом Гаусса. Более узкое сравнение тех же инструментов — Гаусс против Крамера в общем разборе, альтернатива для численной работы — Гаусс против LU-разложения.