Краткий план ответа
Обратная к квадратной матрице A — матрица A−1, для которой AA−1=A−1A=E.
Теорема: обратная существует тогда и только тогда, когда detA=0, и в этом случае единственна.
Вычисление: C=(Cij) — матрица алгебраических дополнений, adjA=CT. Тогда
A−1=detAadjA.
Доказательство (дополнение к конспекту). Из теорем разложения и аннулирования AadjA=(detA)E=adjAA. При ненулевом определителе делим на него. Обратно, из AB=E следует detAdetB=1. Если B,C обе обратные, B=B(AC)=(BA)C=C.
Свойства: (A−1)−1=A; (λA)−1=λ−1A−1 при λ=0; (AB)−1=B−1A−1; (AT)−1=(A−1)T.
Транспонирование: (AT)ij=aji, строки становятся столбцами. (AT)T=A, (A+B)T=AT+BT, (λA)T=λAT, (AB)T=BTAT.
Для порядка 2: (acbd)−1=ad−bc1(d−c−ba) при ad−bc=0.
Подробный разбор
Подробный алгоритм по дополнениям
- Убедиться, что матрица квадратная, вычислить определитель.
- Если он ненулевой, найти дополнение каждого элемента.
- Составить матрицу дополнений C, затем транспонировать её.
- Разделить все элементы CT на detA.
- Проверить умножением на исходную матрицу.
Доказательства свойств
Равенство (A−1)−1=A следует из симметрии AA−1=A−1A=E. Для λ=0 произведение (λA)(λ−1A−1)=E в обе стороны, поэтому кандидат — обратная матрица. Для произведения:
AB(B−1A−1)=A(BB−1)A−1=E,
и аналогично в обратном порядке. Единственность обратной завершает доказательство. Транспонируя AA−1=E и A−1A=E, получаем обе проверки для (AT)−1=(A−1)T.
Все утверждения о A−1,B−1 предполагают обратимость матриц. Кроме того, detA−1=1/detA, что следует из определителя равенства AA−1=E.
Разобранный пример
A=(2312), detA=4−3=1. Матрица дополнений C=(2−1−32), поэтому A−1=(2−3−12). Проверка произведения даёт строки (4−3,−2+2)=(1,0) и (6−6,−3+4)=(0,1).
Сравним с B=(1224): определитель нулевой, обратной нет, потому что две строки зависимы.
Свойства транспонирования отдельно
(A+B)T=AT+BT и (λA)T=λAT следуют из определения элементов. Транспонирование прямоугольной m×n матрицы даёт n×m. Матрица симметрична, если AT=A; это возможно только при квадратном размере.
Проверка себя
Почему в формуле обратной матрицы нужно транспонировать дополнения?