Эти условия могут быть переписаны в виде
А = Е.
Полученное равенство показывает, что для матрицы А существует обратная.
Определители.
Понятие определителя было введено для квадратной матрицы в связи с задачей решения систем линейных уравнений. Оно позволяет более просто, чем теорема 2.1, отвечать на вопрос о существовании обратной матрицы. Определитель матрицы А будем обозначать символами detА или êА ê.
О п р е д е л е н и е. Определителем квадратной матрицы 1-го порядка, образованной числом a, является само число a. Пусть теперь для какого-то натурального числа n³1 мы уже умеем считать определители произвольных квадратных матриц n-го порядка. Тогда для произвольной матрицы А= êêаij êê (n+1) - го порядка по определению полагаем
êА ê= а11 êА11 ê- а12êА12ê+ а13êА13ê- . . . + (-1) 1+(n+1)а1.n+1êА1,n+1ê,
где через êА1j ê обозначен определитель матрицы n-го порядка, получаемой из первоначальной матрицы А вычеркиванием 1-й строки и j-го столбца.
Применяя это определение для матрицы второго порядка, получим формулу
= a11 a22 - a12 a21.
П р и м е р.
= 4´5 - 3´2 = 20 - 6 = 14.
Приведем без доказательства некоторые свойства определителей, помогающие при их вычислении ( доказательства можно найти в [ ] §2).
С в о й с т в а о п р е д е л и т е л е й.
1) Если какая-нибудь строка или какой-нибудь столбец квадратной матрицы целиком состоит из нулей, то определитель этой матрицы равен нулю.
2) Если какую-нибудь строку или какой-нибудь столбец квадратной матрицы умножить на число a, то определитель матрицы также умножится на a.
3) Если в квадратной матрице переставить какие-нибудь две строки (два столбца), то определитель новой матрицы будет равен определителю старой, взятому со знаком минус.
4) Определитель квадратной матрицы, имеющей две одинаковые строки (столбца), равен нулю.
5) Если к элементам i-й строки квадратной матрицы прибавить элементы другой j-й (j ¹ i) ее строки, то определитель новой матрицы будет равен определителю старой.
6) Для произвольной квадратной матрицы А порядка n истины следующие разложения по элементам i-й строки и j-го столбца
êАê = (-1) i+1 аi1 êАi1 ê + . . . + (-1) i+nаin êАin ê,
êАê = (-1) j+1 а1j êА1j ê + . . . + (-1) j+nаnj êАnj ê,
где êАij ê определитель матрицы, получающийся из А вычеркиванием i-й строки и j-го столбца.
Число êАij ê называется минором элемента а 
. Число
(-1) i+j êАij ê
называется алгебраическим дополнением или адъюнктом элемента а и обозначается часто êАêij. При помощи этого понятия формулы из 6) можно переписать в виде
êАê = аi1êАêi1 + . . . + аin êАêin , ( )
êАê = а1j êАê1j + . . . + аnj êАênj . ( )
Из свойства 6) следует, что если все элементы какой-нибудь строки i (столбца j) равны нулю, за исключением одного элемента а ,стоящего в столбце j (строке i), то имеет место формула
êАê = (-1) i+j аij êАij ê= аij êАêij. ( )
В формулах ( ), ( ) элементы а умножаются на свои алгебраические дополнения êАê . Что будет, если взять сумму произведений элементов i-й строки на алгебраические дополнения соответствующих элементов какой-нибудь другой строки. Ответ на этот вопрос дает свойство 7), которое следует из 4), 7).
7) Для j¹i имеет место равенство
аi1 êA êj1 + . . . + ai n êAêjn = 0. ( )
8) Определитель произведения квадратных матриц равен произведению определителей матриц, т. е.
êАВê= êАêêВê.
Рассмотрим на примере нахождение значения определителя 3-го порядка, используя приведенные свойства определителей.
П р и м е р. Вычислить значение определителя
.
Для нахождения значения определителя вычтем из второй строки первую, умноженную на два, затем из третьей вычтем первую, умноженную на три. Из свойства 5) следует, что эти операции не меняют значение определителя. Таким образом получаем определитель, содержащий во 2-м столбце один ненулевой элемент, который позволяет воспользоваться формулой ( ). В результате переходим к определителю второго порядка, который остается после вычеркивания первой строки и второго столбца. Окончательно получим
= 
= (-1) 1+2´1´ 
= - ((-1)´5 - 6´(-5)) = 5-30 = -25.
Рассмотрим квадратную матрицу А, определитель которой не равен нулю. Из алгебраических дополнений элементов матрицы А составим матрицу, затем транспонируем ее и разделим на определитель êАê. Свойства 6), 7) показывают, что в результате мы получим обратную матрицу. Таким образом, если определитель матрицы А не равен нулю, то для матрицы А существует обратная. Формула обратной матрицы имеет вид
А- 1 = 
. ( )
С другой стороны, если матрица А имеет обратную, то из матричного уравнения
АА- 1 = Е ,
переходя к определителям и воспользовавшись свойством 8), получим
êА êêА- 1 ê = êЕ ê= 1.
Отсюда следует, что определитель êАê не равняется нулю.
Соединяя полученные результаты, приходим к утверждению:
Т е о р е м а 2.2. Квадратная матрица А имеет обратную тогда только тогда, когда определитель матрицы А не равен нулю.
ГЛАВА 3