А = Е.
Полученное равенство показывает, что для матрицы А существует обратная.
Определители.
Понятие определителя было введено для квадратной матрицы в связи с задачей решения систем линейных уравнений. Оно позволяет более просто, чем теорема 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ê,
где через êА1 j ê обозначен определитель матрицы n-го порядка, получаемой из первоначальной матрицы А вычеркиванием 1-й строки и j-го столбца.
Применяя это определение для матрицы второго порядка, получим формулу
= a 11 a 22 - a 12 a 21.
П р и м е р.
= 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 аi 1 êА i 1 ê +... + (-1) i+nаi n êА i n ê,
êАê = (-1) j+ 1 а 1 j êА1 j ê +... + (-1) j+ n а n j êАn j ê,
где êА ij ê определитель матрицы, получающийся из А вычеркиванием i-й строки и j-го столбца.
Число êА ij ê называется минором элемента а 
. Число
(-1) i+j êА ij ê
называется алгебраическим дополнением или адъюнктом элемента а и обозначается часто êАê ij. При помощи этого понятия формулы из 6) можно переписать в виде
êАê = аi 1êАê i 1 +... + аi n êАê i n , ()
êАê = а 1 j êАê1 j +... + а n j êАên j . ()
Из свойства 6) следует, что если все элементы какой-нибудь строки i (столбца j) равны нулю, за исключением одного элемента а ,стоящего в столбце j (строке i), то имеет место формула
êАê = (-1) i+j аij êА ij ê= аij êАê ij. ()
В формулах (), () элементы а умножаются на свои алгебраические дополнения êАê . Что будет, если взять сумму произведений элементов i-й строки на алгебраические дополнения соответствующих элементов какой-нибудь другой строки. Ответ на этот вопрос дает свойство 7), которое следует из 4), 7).
7) Для j¹i имеет место равенство
аi 1 êA ê j 1 +... + ai n êAê j n = 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
