Краткий план ответа
Для невырожденной квадратной матрицы составляем блочную матрицу и одними и теми же преобразованиями строк приводим её к .
Сначала обнуляем элементы под ведущими, затем над ними и нормируем ведущие элементы. Это метод Жордана–Гаусса. Если левый блок нельзя привести к , матрица вырождена и обратной нет.
Почему метод работает: совокупность преобразований строк — умножение слева на обратимую матрицу . Получаем ; если , то .
Пример:
Значит, .
Матричный способ решения: при из умножением слева получаем . Для в примере .
Проверка: , а для системы — . Произвольные преобразования столбцов блочной матрицы этот алгоритм не сохраняют.
Подробный разбор
Полный пример нахождения обратной
Заменяем : . Затем : . Делим вторую строку на и прибавляем её к первой:
Итак, .
Матричное решение с этой обратной
Для системы , имеем :
Проверка: , . При вычислении обе половины блочной матрицы преобразуются целиком; нельзя выполнить действие только слева от черты.
Доказательство алгоритма через элементарные матрицы
Каждая операция над строками реализуется умножением слева на соответствующую элементарную матрицу , полученную той же операцией из единичной. Произведение обратимо. Поэтому . Если , то и . Невырожденную матрицу можно привести к , так как её ранг равен числу строк.
Для решения одной системы прямой метод Гаусса обычно короче, чем вычисление всей обратной. Матричный метод особенно естественен, когда обратная уже известна или правых частей несколько.
Проверка себя
Почему при решении AX=b обратную матрицу ставят слева от b?