Правило Крамера: решение СЛАУ через определители

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

Что утверждает правило Крамера

Пусть дана квадратная система: $n$ линейных уравнений с $n$ неизвестными, записанная в матричном виде $A\mathbf{x} = \mathbf{b}$, где $A$ - матрица коэффициентов размера $n \times n$, а $\mathbf{b}$ - столбец свободных членов. Обозначим $\Delta = \det A$ - главный определитель системы.

Теорема Крамера. Если $\Delta \neq 0$, система имеет единственное решение, и оно вычисляется по формулам

$x_i = \frac{\Delta_i}{\Delta}, \qquad i = 1, 2, \ldots, n,$

где $\Delta_i$ - определитель матрицы, полученной из $A$ заменой её $i$-го столбца на столбец свободных членов $\mathbf{b}$.

Три слова здесь несут всю нагрузку. Квадратная - уравнений ровно столько же, сколько неизвестных; прямоугольные системы правилу Крамера недоступны. Определитель не равен нулю - это условие невырожденности матрицы, то есть существования обратной $A^{-1}$. Единственное - теорема гарантирует не просто существование, а отсутствие других решений.

Формулы опубликовал Габриэль Крамер в 1750 году в «Введении в анализ алгебраических кривых», хотя эквивалентный результат для малых систем был у Колина Маклорена ещё раньше. По сути правило Крамера - это развёрнутая запись равенства $\mathbf{x} = A^{-1}\mathbf{b}$ через союзную матрицу: каждое частное $\Delta_i / \Delta$ и есть $i$-я координата произведения обратной матрицы на столбец свободных членов.

Формулы Крамера для системы двух уравнений

Самый частый случай в задачах:

$\begin{cases} a_{11}x + a_{12}y = b_1, \\ a_{21}x + a_{22}y = b_2. \end{cases}$

Три определителя выписываются в одну строку:

$\Delta = \begin{vmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{vmatrix}, \qquad \Delta_x = \begin{vmatrix} b_1 & a_{12} \\ b_2 & a_{22} \end{vmatrix}, \qquad \Delta_y = \begin{vmatrix} a_{11} & b_1 \\ a_{21} & b_2 \end{vmatrix}.$

Обратите внимание на позицию столбца $\mathbf{b}$: в $\Delta_x$ он стоит первым, в $\Delta_y$ - вторым. Это и есть «замена $i$-го столбца», и здесь студенты ошибаются чаще всего.

Определитель второго порядка считается крест-накрест: произведение элементов главной диагонали минус произведение элементов побочной. Именно поэтому все три числа выписываются устно, а вся задача сводится к аккуратности со знаками.

Возьмём систему $3x + 2y = 7$, $x - y = -1$. Тогда $\Delta = 3\cdot(-1) - 2\cdot 1 = -5$, что не ноль, значит решение единственно. Далее $\Delta_x = 7\cdot(-1) - 2\cdot(-1) = -5$ и $\Delta_y = 3\cdot(-1) - 7\cdot 1 = -10$. Отсюда $x = -5 / -5 = 1$ и $y = -10 / -5 = 2$. Подстановка подтверждает: $3 + 4 = 7$ и $1 - 2 = -1$.

Геометрический смысл определителя системы

Рассчитать для своей задачи

Каждое уравнение системы двух переменных задаёт прямую на плоскости. Решение системы - общая точка этих прямых. Главный определитель $\Delta$ с точностью до знака равен площади параллелограмма, натянутого на строки матрицы коэффициентов, то есть на нормальные векторы прямых.

Если $\Delta \neq 0$, векторы неколлинеарны, прямые не параллельны и пересекаются ровно в одной точке - отсюда единственность решения. Если $\Delta = 0$, площадь вырождается в ноль: нормали смотрят в одну сторону, прямые либо параллельны, либо совпадают.

Та же логика работает и в пространстве. Для системы трёх уравнений $\Delta$ - это смешанное произведение нормалей трёх плоскостей, а его модуль равен объёму параллелепипеда на этих векторах. Ненулевой объём означает, что плоскости пересекаются в единственной точке.

Система третьего порядка: разбор по шагам

Решим систему

$\begin{cases} x + 2y + 3z = 14, \\ 2x - y + z = 3, \\ 3x + y - z = 2. \end{cases}$

Главный определитель раскрываем по первой строке (или правилом Саррюса, результат тот же):

$\Delta = \begin{vmatrix} 1 & 2 & 3 \\ 2 & -1 & 1 \\ 3 & 1 & -1 \end{vmatrix} = 1\cdot 0 - 2\cdot(-5) + 3\cdot 5 = 25.$

Определитель отличен от нуля, значит правило Крамера применимо. Заменяем поочерёдно столбцы:

$\Delta_x = \begin{vmatrix} 14 & 2 & 3 \\ 3 & -1 & 1 \\ 2 & 1 & -1 \end{vmatrix} = 25, \qquad \Delta_y = \begin{vmatrix} 1 & 14 & 3 \\ 2 & 3 & 1 \\ 3 & 2 & -1 \end{vmatrix} = 50, \qquad \Delta_z = \begin{vmatrix} 1 & 2 & 14 \\ 2 & -1 & 3 \\ 3 & 1 & 2 \end{vmatrix} = 75.$

Ответ: $x = 25/25 = 1$, $y = 50/25 = 2$, $z = 75/25 = 3$. Проверка подстановкой в исходные уравнения даёт $14$, $3$ и $2$ - сходится.

Полезная привычка: до подстановки в формулы Крамера приведите систему к каноническому виду. Все неизвестные должны стоять в одном и том же порядке слева, свободные члены - справа. Пропущенная переменная означает коэффициент ноль, а не пустое место в определителе.

Что делать, если главный определитель равен нулю

Рассчитать для своей задачи

При $\Delta = 0$ правило Крамера не работает: формулы $x_i = \Delta_i / \Delta$ теряют смысл. Это не ответ «решений нет», а сигнал, что нужен другой инструмент. Возможны два случая:

• Хотя бы один $\Delta_i \neq 0$ - система несовместна, решений нет. Прямые параллельны и не имеют общих точек.
• Все $\Delta_i = 0$ - система либо имеет бесконечно много решений, либо всё же несовместна; одних определителей мало, требуется анализ рангов.

Простой пример на первый случай: $x + y = 1$, $2x + 2y = 5$. Здесь $\Delta = 1\cdot 2 - 1\cdot 2 = 0$, но $\Delta_x = 1\cdot 2 - 1\cdot 5 = -3 \neq 0$, и система несовместна: левые части отличаются множителем два, а правые нет. Если во втором уравнении справа поставить двойку, обнулятся уже все три определителя, и решений станет бесконечно много: уравнения совпадают с точностью до множителя.

Строгий критерий даёт теорема Кронекера–Капелли: система совместна тогда и только тогда, когда ранг матрицы коэффициентов равен рангу расширенной матрицы. Если этот общий ранг $r$ меньше числа неизвестных $n$, решений бесконечно много и семейство описывается $n - r$ свободными параметрами. Практический путь в вырожденном случае - метод Гаусса: он доводит матрицу до ступенчатого вида и одновременно отвечает и на вопрос о совместности, и на вопрос о размерности множества решений.

Крамер против метода Гаусса: цена вычислений

Рассчитать для своей задачи

Правило Крамера красиво, но дорого. Чтобы решить систему порядка $n$, нужно посчитать $n + 1$ определитель. Если раскрывать их по определению, через сумму по перестановкам, объём работы растёт как $(n+1)!\,n$ - для системы порядка $20$ это заведомо больше числа операций, которое успеет сделать любой компьютер за разумное время. Метод Гаусса решает ту же задачу примерно за $\tfrac{2}{3}n^3$ операций.

Если определители считать не по определению, а тем же исключением Гаусса, асимптотика становится приемлемой, но выигрыша всё равно нет: вы выполняете обычное исключение $n + 1$ раз вместо одного. Для больших разреженных систем используют итерационные схемы вроде метода Гаусса-Зейделя, для плотных - прямые разложения, например LU-разложение матрицы, которое позволяет решать систему повторно с новыми правыми частями почти даром.

Есть и вопрос устойчивости. Когда $\Delta$ близок к нулю, деление на него резко усиливает погрешности исходных данных, и ответ становится ненадёжным. Численно это описывает число обусловленности матрицы: чем оно выше, тем больше верных знаков теряется в ответе. Поэтому область правила Крамера - аналитические выкладки, системы порядка два и три, а также теоретические доказательства, где важна явная формула, а не скорость.

Частые ошибки

• Замена не того столбца. Для $x_2$ на столбец свободных членов заменяется второй столбец, а не вторая строка. Строки в правиле Крамера не трогают вообще.
• Забытый нулевой коэффициент. Если в уравнении нет переменной $z$, в определитель идёт ноль. Пропуск сдвигает столбцы и портит все три определителя.
• Применение при $\Delta = 0$. Получив ноль, нельзя «просто поделить» или объявить, что решений нет: сначала проверьте $\Delta_i$, затем ранги.
• Знаки при разложении. Множитель $(-1)^{i+j}$ у миноров теряется чаще всего в среднем элементе первой строки: он входит со знаком минус.
• Система не приведена к каноническому виду. Неизвестные в разных уравнениях стоят в разном порядке или часть слагаемых осталась справа от знака равенства.

FAQ

Можно ли применять правило Крамера к системе, где уравнений больше, чем неизвестных? Нет. Матрица коэффициентов обязана быть квадратной, иначе определитель не определён. Переопределённые и недоопределённые системы решают методом Гаусса, а при несовместности ищут приближение методом наименьших квадратов.

Что означает $\Delta_x = \Delta_y = \Delta = 0$? Что определителей недостаточно для ответа. Такая система либо имеет бесконечно много решений, либо несовместна. Разделяет случаи сравнение рангов основной и расширенной матриц по теореме Кронекера-Капелли.

Почему правило Крамера не используют в вычислительной практике? Из-за стоимости и неустойчивости. Даже при аккуратной реализации это $n + 1$ определитель вместо одного прямого хода исключения, а при малом главном определителе погрешности растут. На системах порядка выше трёх Гаусс проще и точнее.

Коротко

Правило Крамера решает квадратную систему $A\mathbf{x} = \mathbf{b}$ с ненулевым главным определителем: каждая неизвестная равна отношению $\Delta_i / \Delta$, где $\Delta_i$ получается заменой $i$-го столбца матрицы на столбец свободных членов. Условие $\Delta \neq 0$ геометрически означает, что прямые или плоскости системы пересекаются в единственной точке. При $\Delta = 0$ метод неприменим и вопрос решают ранги матриц. На системах второго и третьего порядка правило Крамера удобно и быстро, на больших системах уступает методу Гаусса и матричным разложениям.