Теорема
Для элементов обратной матрицы :
Симметричность индексов
Индексы самого элемента и дополнительного минора не совпадают, а симметричны
Доказательство
Обозначим через -й столбец единичной матрицы, т.е. столбец, состоящий из нулей и единицы на -й позиции. Обратим внимание, что -й столбец обратной матрицы (собственно, как и любой другой матрицы) выражается через саму матрицу следующим образом:
что видно из правила умножения матриц.
Далее, умножим это равенство слева на матрицу , получим:
Поскольку задача состоит в поиске элементов столбца ,переобозначим его как и перепишем последнее равенство в терминах теоремы Крамера:
По теореме Крамера, значение -й переменной (т.е. -го элемента столбца), вычисляется по формуле:
где , разумеется, это определитель матрицы , а - определитель матрицы, полученной из заменой -го столбца на -й столбец матрицы (убедитесь, что это так, определив место данного элемента в матрице ).
Теперь разложим по -му же столбцу, не забывая, что в нём только один ненулевой элемент, так как он взят из матрицы :
Обратите внимание
Индексы самого элемента и дополнительного минора не совпадают, а симметричны, что опять же следует из его положения в .
Окончательно получаем для элементов матрицы :