Метод Крамера решения систем уравнений¶

Метод Крамера — способ решения систем линейных алгебраических уравнений с квадратной невырожденной матрицей, при котором значения неизвестных выражаются через отношения определителей (детерминантов). Метод назван в честь швейцарского математика Габриэля Крамера, опубликовавшего соответствующее правило в 1750 году. Он относится к точным аналитическим методам и применим, когда число уравнений совпадает с числом неизвестных, а главный определитель системы отличен от нуля.

¶Суть метода

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

$$ \begin{cases} a_{11}x_1 + a_{12}x_2 + \dots + a_{1n}x_n = b_1,\\ a_{21}x_1 + a_{22}x_2 + \dots + a_{2n}x_n = b_2,\\ \dots\\ a_{n1}x_1 + a_{n2}x_2 + \dots + a_{nn}x_n = b_n, \end{cases} $$

где коэффициенты при неизвестных образуют квадратную матрицу $A$ порядка $n$. Обозначим через $\Delta$ определитель этой матрицы (главный определитель системы). Если $\Delta \neq 0$, система имеет единственное решение, и каждое неизвестное вычисляется по формуле

$$ x_i = \frac{\Delta_i}{\Delta}, $$

где $\Delta_i$ — определитель матрицы, полученной из $A$ заменой $i$-го столбца столбцом свободных членов $(b_1, b_2, \dots, b_n)$.

¶Условия применимости

Метод Крамера работает при одновременном выполнении условий:

число уравнений равно числу неизвестных (матрица системы квадратная);
главный определитель системы $\Delta \neq 0$, то есть матрица невырожденная.

Если $\Delta = 0$, метод непосредственно не применяется: система может быть несовместной либо иметь бесконечное множество решений. В этом случае используют метод Гаусса или исследование ранга матрицы. Таким образом, метод Крамера не является универсальным, а покрывает лишь случай единственного решения.

¶Пример для двух уравнений

Для системы двух уравнений с двумя неизвестными

$$ \begin{cases} a_1 x + b_1 y = c_1,\\ a_2 x + b_2 y = c_2 \end{cases} $$

главный определитель равен $\Delta = a_1 b_2 - a_2 b_1$. Тогда

$$ x = \frac{c_1 b_2 - c_2 b_1}{\Delta}, \qquad y = \frac{a_1 c_2 - a_2 c_1}{\Delta}. $$

Такая запись удобна для ручных вычислений и часто встречается в школьном курсе алгебры.

¶Свойства и обоснование

Формулы Крамера выводятся из свойств определителей и матричной записи системы $AX = B$. Умножая обе части равенства на присоединённую (взаимную) матрицу, получают выражение $X = A^{-1}B$, откуда покомпонентно и следуют отношения определителей. Метод тесно связан с понятием обратной матрицы и теоремой Крамера, утверждающей существование и единственность решения при $\Delta \neq 0$.

К достоинствам метода относят наглядность и возможность вычислить отдельно любое неизвестное, не находя остальные. К недостаткам — высокую вычислительную трудоёмкость: для системы порядка $n$ требуется вычислить $n+1$ определитель, что при больших $n$ неэффективно по сравнению с методом Гаусса, имеющим кубическую сложность.

¶Вычислительная сложность

Прямое вычисление определителей через разложение по строке или столбцу требует порядка $n!$ операций, что делает метод Крамера практически непригодным для больших систем. При использовании более быстрых алгоритмов вычисления определителей (например, приведением к треугольному виду) сложность снижается, однако и тогда метод уступает гауссову исключению. Поэтому в вычислительной практике метод Крамера применяют главным образом для систем малой размерности — двух, трёх, реже четырёх уравнений, а также в теоретических рассуждениях.

¶Применение

Метод Крамера используется:

при решении систем линейных уравнений небольшой размерности в учебных задачах;
в аналитических выкладках, где важна явная формула зависимости решения от коэффициентов;
в экономических и инженерных расчётах для моделей с малым числом переменных;
при доказательстве теорем линейной алгебры, связанных с обратной матрицей и определителями.

В России метод изучается в курсе алгебры средней школы и в вузовских дисциплинах «Линейная алгебра» и «Аналитическая геометрия».

¶Связь с другими методами

Метод Крамера представляет собой частный случай матричного метода решения через обратную матрицу. Наряду с ним применяются метод Гаусса, метод Жордана — Гаусса и итерационные методы (например, метод Зейделя). Выбор метода определяется размерностью системы, требованиями к точности и возможностями вычислительной техники. Для больших разреженных систем предпочтение отдают итерационным и прямым матричным алгоритмам.

¶Историческая справка

Правило было сформулировано Габриэлем Крамером в работе «Введение в анализ алгебраических кривых» (1750). Отдельные частные случаи для двух и трёх неизвестных встречались и раньше, однако Крамер первым изложил общий принцип выражения неизвестных через определители. Дальнейшее развитие теория получила в трудах математиков XVIII–XIX веков, заложивших основы современной линейной алгебры.

Источники: учебники по линейной алгебре, теорема Крамера, материалы по теории определителей и системам линейных уравнений.