К содержанию

Метод Крамера

Заполни коэффициенты и свободные члены — получишь все определители, ответ и проверку подстановкой. Нулевой определитель разбирается отдельно.

Калькулятор

РАЗМЕР

В клетках можно писать дроби и корни: 1/3, sqrt(2), -0.5. Пустая клетка считается нулём. Перемещение по сетке — стрелками вверх и вниз.

Как это считается

Метод сводит решение системы к вычислению определителей. Каждая неизвестная равна своему определителю, делённому на главный:

xi=ΔiΔ,Δ0

Главный определитель Δ составляется из коэффициентов при неизвестных. Определитель Δᵢ получается из него заменой одного столбца — того, что стоит при искомой переменной, — на столбец свободных членов. Для системы 3×3 определителей выходит четыре.

Условие Δ ≠ 0 — не формальность. Нулевой главный определитель означает, что уравнения зависимы: одно выводится из других. Такая система либо не имеет решений вовсе, либо имеет их бесконечно много, и деление на ноль здесь не техническая помеха, а признак того, что единственного ответа не существует.

Когда метод применим

Крамер и Гаусс решают одну задачу, но подходят для разных случаев.

КРАМЕР ГАУСС
Форма системы Только квадратная Любая
При Δ = 0 Не работает Работает
Удобный размер 2×2 и 3×3 Любой
Что считать n + 1 определитель Преобразования строк
Ответ по одной переменной Можно найти отдельно Только все сразу

Последняя строка — единственное, в чём Крамер выигрывает по существу: если в задаче спрашивают только одну переменную, считать остальные не нужно. Хватит двух определителей вместо всех.

Примеры расчёта

Система 3×3: три вспомогательных определителя

(2118132133114)
  1. Считаем главный определитель

    Δ=[211132311]=25

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

  2. Определитель по переменной x

    Δx=[8111332411]=60

    Столбец номер 1 — тот, что стоит при x, — заменён столбцом свободных членов. Остальные столбцы не трогаем.

  3. Определитель по переменной y

    Δy=[2811132341]=85

    Столбец номер 2 — тот, что стоит при y, — заменён столбцом свободных членов. Остальные столбцы не трогаем.

  4. Определитель по переменной z

    Δz=[2181313314]=5

    Столбец номер 3 — тот, что стоит при z, — заменён столбцом свободных членов. Остальные столбцы не трогаем.

  5. Делим на главный определитель

    x=6025=125,y=8525=175,z=525=15

    Каждая неизвестная равна своему определителю, делённому на главный. Порядок здесь важен: в числителе стоит Δ именно этой переменной.

  6. Проверяем подстановкой

    2(125)+1(175)+1(15)=8 1(125)+3(175)+2(15)=13 3(125)+1(175)+1(15)=4

    Найденные значения подставляем в каждое уравнение. Все равенства верны — решение правильное. Проверка занимает минуту и ловит арифметику в определителях.

x=125,y=175,z=15

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

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

(113227)
  1. Считаем главный определитель

    Δ=[1122]=0

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

  2. Главный определитель равен нулю

    Δ=0    формулы Крамера неприменимы

    Делить на ноль нельзя, и это не формальность: нулевой главный определитель означает, что уравнения системы зависимы. Единственного решения у неё нет.

  3. Смотрим вспомогательные определители

    Δx=1,Δy=1

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

  4. Сравниваем ранги

    rangA=1,rang(AB)=2,n=2

    Ранги равны — решения есть, и их бесконечно много. Ранг расширенной матрицы больше — система несовместна. Это теорема Кронекера — Капелли, и она отвечает там, где Крамер уже бессилен.

система несовместна: решений нет

Второе уравнение — первое, умноженное на два, но правые части этому не соответствуют. Делить на нулевой определитель нельзя, и Крамер здесь бессилен: ответ даёт сравнение рангов, а общее решение — метод Гаусса.

Вопросы

Когда формулы Крамера не работают?

Когда главный определитель равен нулю или система неквадратная. Нулевой Δ означает, что уравнения зависимы: решений либо нет вовсе, либо бесконечно много, и формулы не дают ни того ни другого.

Что делать, если Δ = 0?

Сравнить ранги матрицы и расширенной матрицы. Равны — решений бесконечно много, различаются — система несовместна. Само решение при этом находят методом Гаусса; калькулятор показывает ранги и говорит, какой случай.

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

В главном определителе заменяют один столбец на столбец свободных членов — тот столбец, что стоит при искомой переменной. Остальные столбцы не трогают. Для трёх неизвестных таких определителей три.

Крамер или Гаусс — что выбрать?

На 2×2 и 3×3 Крамер обычно быстрее и его легче проверить. С ростом размера он проигрывает: для 4×4 придётся считать пять определителей четвёртого порядка, тогда как Гаусс работает при любом Δ и любой форме системы.

Ответ вышел дробным — это нормально?

Да, определители целые далеко не всегда делятся нацело. Обыкновенная дробь и есть точный ответ, переводить её в десятичную не нужно — так только теряется точность.

Обязательно ли проверять решение?

Стоит: подстановка занимает минуту и ловит арифметическую ошибку в определителях, которую иначе не видно. Калькулятор делает эту проверку сам и показывает её отдельным шагом.

Почему xᵢ = Δᵢ/Δ вообще работает — что стоит за этой дробью?

Геометрически определитель 2×2 — площадь параллелограмма, построенного на столбцах матрицы коэффициентов. Δᵢ — площадь такого же параллелограмма, где один столбец заменён на вектор свободных членов. Отношение этих двух площадей и даёт координату решения — не совпадение, а прямое следствие того, как вектор решения раскладывается по столбцам.

Похожие калькуляторы

обновлено

Источники: формулы Крамера и теорема Кронекера — Капелли в объёме курса линейной алгебры · определители и проверка решения вычисляются библиотекой SymPy.

Нашёл неточность — напиши через форму, поправим.