Математика / Матрицы, определители
Решение системы 2x2 по правилу Крамера
Правило Крамера выражает решение системы двух линейных уравнений через определители. Метод работает, когда главный определитель системы не равен нулю.
Формула
Ненулевой главный определитель соответствует двум непараллельным прямым с одной точкой пересечения.
При 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. Для больших систем оно быстро становится громоздким, потому что требует вычисления нескольких определителей. Поэтому в вычислительной линейной алгебре его используют в основном как теоретический инструмент.
Как пользоваться формулой
- Запишите систему в стандартном порядке неизвестных.
- Составьте матрицу коэффициентов и вычислите главный определитель Delta.
- Если Delta равен нулю, не применяйте формулу единственного решения.
- Замените нужный столбец коэффициентов правыми частями и вычислите Delta_x, Delta_y.
- Разделите каждый вспомогательный определитель на главный и проверьте подстановкой.
Историческая справка
Правило Крамера названо в честь швейцарского математика Габриэля Крамера, который в 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
Определитель матрицы 2x2 равен разности произведений диагоналей. Он показывает, во сколько раз линейное преобразование меняет ориентированную площадь.
Математика
Обратная матрица 2x2
Обратная матрица 2x2 существует только при ненулевом определителе. Она обращает действие исходной матрицы: A^{-1}A = I, то есть возвращает исходный вектор.
Математика
Ранг матрицы через миноры
Ранг матрицы равен наибольшему порядку ненулевого минора. Он показывает, сколько строк или столбцов матрицы действительно независимы.