Математика / Матрицы, определители

Решение системы 2x2 по правилу Крамера

Правило Крамера выражает решение системы двух линейных уравнений через определители. Метод работает, когда главный определитель системы не равен нулю.

Опубликовано: Обновлено:

Формула

$$x=\frac{\Delta_x}{\Delta},\quad y=\frac{\Delta_y}{\Delta}$$
Схема Определитель и пересечение прямых

Ненулевой главный определитель соответствует двум непараллельным прямым с одной точкой пересечения.

При Delta = 0 правило Крамера для единственного решения не применяется.

Обозначения

$\Delta$
определитель матрицы коэффициентов, произведение единиц коэффициентов
$\Delta_x$
определитель, где первый столбец коэффициентов заменен правыми частями, зависит от системы
$\Delta_y$
определитель, где второй столбец коэффициентов заменен правыми частями, зависит от системы
$x,y$
неизвестные системы, зависит от задачи

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

  • Система должна быть квадратной: два уравнения и две неизвестные для этой формулы.
  • Главный определитель Delta должен быть ненулевым.
  • Коэффициенты и правые части должны быть записаны в одном порядке неизвестных.

Ограничения

  • Если Delta = 0, правило в такой форме не дает решение: система может иметь бесконечно много решений или не иметь решений.
  • Для больших систем правило Крамера вычислительно неэффективно по сравнению с методом Гаусса и матричными разложениями.
  • Метод чувствителен к ошибкам знаков в определителях 2 x 2, особенно при отрицательных коэффициентах.

Подробное объяснение

Правило Крамера решает квадратную систему через определители. Для системы ax + by = e, cx + dy = f главный определитель равен Delta = ad - bc. Если Delta не равен нулю, матрица коэффициентов обратима, а система имеет единственное решение. Чтобы найти x, первый столбец коэффициентов заменяют правыми частями и получают Delta_x = ed - bf. Чтобы найти y, заменяют второй столбец и получают Delta_y = af - ec.

Смысл правила можно увидеть через матричную запись Ax = b. Если A обратима, то x = A^{-1}b. Формула обратной матрицы 2 x 2 приводит именно к дробям Delta_x/Delta и Delta_y/Delta. Поэтому правило Крамера не является отдельным трюком: это следствие обратимости матрицы и свойств определителя.

Геометрически два линейных уравнения задают две прямые на плоскости. Если Delta не равен нулю, прямые пересекаются в одной точке. Если Delta равен нулю, прямые параллельны или совпадают, и единственного решения нет. В первом случае система несовместна, во втором решений бесконечно много.

В ручных задачах правило Крамера удобно для 2 x 2 и иногда для 3 x 3. Для больших систем оно быстро становится громоздким, потому что требует вычисления нескольких определителей. Поэтому в вычислительной линейной алгебре его используют в основном как теоретический инструмент.

Как пользоваться формулой

  1. Запишите систему в стандартном порядке неизвестных.
  2. Составьте матрицу коэффициентов и вычислите главный определитель Delta.
  3. Если Delta равен нулю, не применяйте формулу единственного решения.
  4. Замените нужный столбец коэффициентов правыми частями и вычислите Delta_x, Delta_y.
  5. Разделите каждый вспомогательный определитель на главный и проверьте подстановкой.

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

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

Историческая линия формулы

Метод традиционно связывают с Габриэлем Крамером, но он опирается на более широкое развитие определителей, включая ранние идеи Лейбница. Для учебной страницы корректно указывать Крамера как фигуру, связанную с правилом, и отдельно отмечать, что теория определителей формировалась коллективно.

Пример

Решим систему 2x + 3y = 13, x - y = 1. Матрица коэффициентов A = [[2, 3], [1, -1]], главный определитель Delta = 2·(-1) - 3·1 = -5. Для Delta_x заменяем первый столбец правыми частями: [[13, 3], [1, -1]], получаем 13·(-1) - 3·1 = -16. Для Delta_y заменяем второй столбец: [[2, 13], [1, 1]], получаем 2·1 - 13·1 = -11. Тогда x = Delta_x/Delta = (-16)/(-5) = 3,2, y = Delta_y/Delta = (-11)/(-5) = 2,2. Проверка: 2·3,2 + 3·2,2 = 6,4 + 6,6 = 13, а 3,2 - 2,2 = 1. Решение найдено корректно, и ненулевой Delta подтверждает, что другого решения у этой системы нет.

Частая ошибка

Частая ошибка - перепутать, какой столбец заменять для Delta_x и Delta_y. Для Delta_x заменяют столбец коэффициентов при x, для Delta_y - столбец коэффициентов при y. Вторая ошибка - делить на главный определитель, не проверив, что он не равен нулю. Третья ошибка - менять порядок неизвестных между исходной системой и определителями. Еще одна ошибка - воспринимать Delta = 0 как автоматическое отсутствие решений: при нулевом главном определителе нужно отдельно проверять совместность системы.

Практика

Задачи с решением

Система с целым решением

Условие. Решите систему x + 2y = 7, 3x - y = 4.

Решение. Delta = 1·(-1) - 2·3 = -7. Delta_x = 7·(-1) - 2·4 = -15. Delta_y = 1·4 - 7·3 = -17. Тогда x = (-15)/(-7) = 15/7, y = (-17)/(-7) = 17/7.

Ответ. x = 15/7, y = 17/7

Нулевой главный определитель

Условие. Можно ли применить правило Крамера для единственного решения системы 2x + 4y = 6, x + 2y = 3?

Решение. Главный определитель равен 2·2 - 4·1 = 0. Формулы x = Delta_x/Delta и y = Delta_y/Delta неприменимы. В этой системе второе уравнение является половиной первого, поэтому решений бесконечно много.

Ответ. Нет; решений бесконечно много

Дополнительные источники

  • OpenStax Precalculus 9.8 Solving Systems with Cramer's Rule
  • MIT OpenCourseWare 18.06SC Linear Algebra, unit on elimination and inverse matrices
  • Jim Hefferon, Linear Algebra, chapter One: Systems

Связанные формулы

Математика

Определитель матрицы 2x2

$\det\begin{pmatrix}a&b\\c&d\end{pmatrix}=ad-bc$

Определитель матрицы 2x2 равен разности произведений диагоналей. Он показывает, во сколько раз линейное преобразование меняет ориентированную площадь.

Математика

Обратная матрица 2x2

$A^{-1}=\frac{1}{ad-bc}\begin{pmatrix}d&-b\\-c&a\end{pmatrix}$

Обратная матрица 2x2 существует только при ненулевом определителе. Она обращает действие исходной матрицы: A^{-1}A = I, то есть возвращает исходный вектор.

Математика

Ранг матрицы через миноры

$\operatorname{rank}A=\max\{r:\text{существует ненулевой минор порядка }r\}$

Ранг матрицы равен наибольшему порядку ненулевого минора. Он показывает, сколько строк или столбцов матрицы действительно независимы.