Как решить матричное уравнение: AX = B и XA = B
Дано: матрицы и . Найти: матрицу сначала из уравнения , затем из уравнения с теми же данными.
Оба уравнения решаются одним приёмом: обе части домножаются на обратную матрицу с той стороны, с которой к неизвестной примыкает . Ответ: из получается , из - совсем другая матрица . Калькулятор сверху пересчитает оба случая под ваши числа, ниже - решение по шагам.
Решение по шагам: уравнение AX = B
Шаг 1. Проверяем определитель. Метод обратной матрицы работает только тогда, когда невырождена, поэтому расчёт всегда начинается с определителя:
Определитель ненулевой, значит обратная матрица существует и решение единственно.
Шаг 2. Находим обратную матрицу. Для матрицы второго порядка есть готовое правило: элементы главной диагонали меняются местами, у побочной диагонали меняется знак, всё делится на определитель:
Шаг 3. Проверяем обратную матрицу. Эту проверку стоит делать всегда: она стоит одного умножения и ловит ошибку знака ещё до основного расчёта.
Получилась единичная матрица, обратная найдена верно.
Шаг 4. Умножаем обе части слева. В уравнении матрица стоит слева от неизвестной, поэтому и приписывается слева к обеим частям. Итоговая формула , считаем произведение поэлементно:
Шаг 5. Проверка подстановкой. Подставляем найденную матрицу в исходное уравнение и умножаем на :
Ответ: .
Уравнение XA = B: тот же метод, другая сторона
Теперь неизвестная стоит слева от , и это меняет весь расчёт. Домножать надо справа: , откуда . Обратная матрица та же самая, менять её не нужно, меняется только порядок сомножителей в произведении.
Проверяем подстановкой, но теперь в порядке :
Ответ: .
Сравните два ответа: матрицы и одни и те же, а решения не совпадают ни одним элементом. Это и есть главный практический вывод темы. Умножение матриц некоммутативно, поэтому сторона, с которой приписывается , не формальность, а часть условия. Если в контрольной уравнение записано как , а решено как , ответ будет неверным даже при безупречной арифметике.
Формула и откуда она берётся
Вывод занимает две строки и опирается всего на два свойства умножения матриц: ассоциативность и роль единичной матрицы. Умножим обе части уравнения слева на и переставим скобки:
Скобки переставлять можно (ассоциативность), произведение даёт единичную матрицу по определению обратной, а умножение на ничего не меняет. Для уравнения рассуждение дословно то же, только приписывается справа, и получается .
Обратная матрица любого порядка считается через союзную (присоединённую) матрицу: , где составлена из алгебраических дополнений и затем транспонирована. Для порядка 2 эта громоздкая формула сворачивается в правило из шага 2, а начиная с порядка 3 считать союзную матрицу вручную долго: девять миноров против одного прохода метода Гаусса.
Условие применимости ровно одно: . Если же матрица квадратная и правая часть является столбцом, матричное уравнение превращается в обычную систему линейных уравнений, и её удобнее решать правилом Крамера через определители или методом Гаусса, не выписывая обратную матрицу целиком.
Что делать с другими формами уравнения
В контрольных встречаются четыре типовые формы, и все сводятся к разобранным двум.
| Уравнение | Как домножаем | Решение |
|---|---|---|
| на слева | ||
| на справа | ||
| на слева и на справа | ||
| выносим : |
Третья строка требует, чтобы обе матрицы, и , были невырождены, а четвёртая напоминает про частую ловушку: вынести за скобку можно только с одной стороны, и вместо единицы там появляется единичная матрица , а не число 1.
Отдельно стоит вырожденный случай. Если , обратной матрицы нет и метод неприменим. Уравнение тогда расписывают поэлементно, получают систему линейных уравнений относительно элементов и исследуют её на совместность: сравнивают ранг основной и расширенной матрицы по теореме Кронекера-Капелли. Решений либо нет вовсе, либо бесконечно много, и в ответе появляются свободные параметры. Само по себе вырождение не всегда помеха: в задаче на собственные значения матрицы определитель намеренно приравнивают к нулю - именно вырожденность и даёт ненулевое решение.
Для матриц большого порядка обратную вообще не считают. Приписывают к справа матрицу , получают расширенную таблицу и приводят её элементарными преобразованиями строк к виду, где слева стоит единичная матрица, а справа сразу оказывается . Этот приём заметно устойчивее к ошибкам округления, чем формула с определителем, а для плохо обусловленных матриц устойчивость решает всё: маленькое возмущение правой части может дать огромное изменение ответа, если число обусловленности велико.
Частые ошибки
- Домножили не с той стороны. Самая частая и самая дорогая ошибка: в уравнении пишут вместо . Разобранный пример показывает разницу наглядно: два ответа не совпадают ни в одном элементе.
- Забыли поделить на определитель. Союзная матрица найдена верно, но множитель потерян, и все элементы ответа отличаются от правильных в раз.
- Перепутали, что меняется в матрице второго порядка. Местами меняются элементы главной диагонали, а знак меняется у элементов побочной. Обратный вариант даёт матрицу, которая не даст единичную при проверке.
- Не проверили определитель до начала расчёта. При обратной матрицы не существует, и все дальнейшие выкладки бессмысленны.
- Не согласовали размеры. В уравнении число строк равно числу столбцов , а число столбцов равно числу столбцов . Если размеры не стыкуются, произведение просто не определено.
- Пропустили проверку подстановкой. Умножение матриц занимает минуту и ловит любую арифметическую ошибку, а на экзамене подтверждает ответ без помощи преподавателя.
FAQ
Чем решение матричного уравнения отличается от решения системы уравнений? Ничем принципиальным. Если и являются столбцами, запись и есть матричная форма системы линейных уравнений, а называют матричным методом её решения. Когда содержит несколько столбцов, вы просто решаете несколько систем с одной и той же матрицей коэффициентов сразу.
Можно ли поделить одну матрицу на другую? Нет, деления матриц не существует. Единственная замена деления это умножение на обратную матрицу, и у него, в отличие от деления чисел, есть сторона: результаты и в общем случае разные, что и показано в разборе выше.
Как понять, с какой стороны приписывать обратную матрицу? Смотрите, где стоит относительно неизвестной, и приписывайте с той же стороны в обеих частях равенства. Правило легко запомнить так: должна встать вплотную к , чтобы они схлопнулись в единичную матрицу, а не оказаться от неё через .
Что делать, если матрица третьего порядка? Алгоритм тот же, меняется только способ поиска обратной. Считать девять алгебраических дополнений вручную долго, поэтому обычно приводят расширенную таблицу из и единичной матрицы к ступенчатому виду методом Гаусса-Жордана и читают обратную матрицу в правой половине.
Коротко
- Считаем . Если он равен нулю, метод обратной матрицы неприменим, и уравнение исследуют через ранги.
- Находим : для порядка 2 меняем местами элементы главной диагонали, меняем знак у побочной и делим на определитель. Проверяем равенство .
- Смотрим на положение относительно : при домножаем слева и получаем , при домножаем справа и получаем .
- Перемножаем матрицы поэлементно и подставляем результат в исходное уравнение для проверки.
- Для примера с и ответы такие: для и для .
Похожие задачи
Как решить систему матричным методом: разбор 3 на 3
Решаем систему трёх линейных уравнений матричным методом: запись AX = B, определитель, союзная матрица, формула X = A в минус первой степени на B и проверка подстановкой.
Линейная алгебраКак найти присоединённую матрицу: разбор 3 на 3
Разбираем, как найти присоединённую матрицу 3 на 3: девять алгебраических дополнений, знаки позиций, транспонирование матрицы дополнений и формула обратной матрицы с проверкой.
Линейная алгебраКак вычислить определитель третьего порядка: пример
Разбор задачи: как вычислить определитель третьего порядка по правилу треугольников Саррюса, проверить ответ разложением по строке с нулём и распознать нулевой определитель по свойствам.
Линейная алгебраКак найти минор матрицы: разбор с примером
Разбираем, как найти минор матрицы: вычёркиваем строку и столбец, считаем определитель второго порядка, ставим знак позиции и раскладываем определитель по строке.
Линейная алгебраКак найти фундаментальную систему решений: разбор
Разбираем, как найти фундаментальную систему решений однородной СЛАУ: ранг матрицы, число свободных неизвестных n минус r, базисные решения, общее решение и проверка.
Линейная алгебраКак найти проекцию вектора на подпространство
Как найти ортогональную проекцию вектора на подпространство через матрицу Грама и нормальные уравнения: разбор с числами, ортогональная составляющая, расстояние и калькулятор.