Пусть имеем определитель третьего порядка: .

Минором, соответствующим данному элементу a_ij определителя третьего порядка, называется определитель второго порядка, полученный из данного вычёркиванием строки и столбца, на пересечении которых стоит данный элемент, т.е. i-ой строки и j-го столбца. Миноры соответствующие данному элементу a_ij будем обозначать M_ij.

Например, минором M₁₂, соответствующим элементу a₁₂, будет определитель , который получается вычёркиванием из данного определителя 1-ой строки и 2-го столбца.

Таким образом, формула, определяющая определитель третьего порядка, показывает, что этот определитель равен сумме произведений элементов 1-ой строки на соответствующие им миноры; при этом минор, соответствующий элементу a₁₂, берётся со знаком “–”, т.е. можно записать, что

.

(1)

Аналогично можно ввести определения миноров для определителей второго порядка и высших порядков.

Введём ещё одно понятие.

Алгебраическим дополнениемэлемента a_ij определителя называется его минор M_ij, умноженный на (–1)^i+j.

Алгебраическое дополнение элемента a_ij обозначается A_ij.

Из определения получаем, что связь между алгебраическим дополнением элемента и его минором выражается равенством A_ij = (–1)^i+jM_ij.

Например,

Пример 11. Дан определитель . Найти A₁₃, A₂₁, A₃₂.

Легко видеть, что используя алгебраические дополнения элементов, формулу (1) можно записать в виде:

.

Аналогично этой формуле можно получить разложение определителя по элементам любой строки или столбца.

Например, разложение определителя по элементам 2-ой строки можно получить следующим образом. Согласно свойству 2 определителя имеем:

Разложим полученный определитель по элементам 1-ой строки.

.

(2)

Отсюда т.к. определители второго порядка в формуле (2) есть миноры элементов a₂₁, a₂₂, a₂₃. Таким образом, , т.е. мы получили разложение определителя по элементам 2-ой строки.

Аналогично можно получить разложение определителя по элементам третьей строки. Используя свойство 1 определителей (о транспонировании), можно показать, что аналогичные разложения справедливы и при разложении по элементам столбцов.

Таким образом, справедлива следующая теорема.

Теорема (о разложении определителя по заданной строке или столбцу). Определитель равен сумме произведений элементов какой–либо его строки (или столбца) на их алгебраические дополнения.

Всё вышесказанное справедливо и для определителей любого более высокого порядка.

Пример 12. Вычислить определитель , раскладывая его по элементам 2-го столбца.

Решение.

Обратная матрица

Понятие обратной матрицы вводится только для квадратных матриц.

Если A – квадратная матрица, то обратной для неё матрицей называется матрица, обозначаемая A^-1 и удовлетворяющая условию . (Это определение вводится по аналогии с умножением чисел)

Справедлива следующая теорема:

Теорема. Для того чтобы квадратная матрица A имела обратную, необходимо и достаточно, чтобы её определитель был отличен от нуля.

Способ нахождения обратной матрицы.

Если условия теоремы выполнены, то матрица обратная к матрице находится следующим образом

,

где A_ij - алгебраические дополнения элементов a_ij данной матрицы A.

Итак, чтобы найти обратную матрицу нужно:

1. Найти определитель матрицы A.

2. Найти алгебраические дополнения A_ij всех элементов матрицы A и составить матрицу , элементами которой являются числа A_ij.

3. Найти матрицу, транспонированную полученной матрице , и умножить её на – это и будет .

Аналогично для матриц второго порядка, обратной будет следующая матрица .

Пример13.

1. Найти матрицу, обратную данной . Сделать проверку.

|A| = 2. Найдем алгебраические дополнения элементов матрицы A.

Проверка:

.

Аналогично A∙A^-1 = E.

2. Найти элементы и матрицы A^-1 обратной данной

.

Вычислим |A| = 4. Тогда .

.

3. . Найдем обратную матрицу.

Системы линейных уравнений

Системой m линейных уравнений с n неизвестными называется система вида

где a_ij и b_i (i=1,…,m; b=1,…,n) – некоторые известные числа, а x₁,…,x_n – неизвестные. В обозначении коэффициентов a_ij первый индекс iобозначает номер уравнения, а второй j – номер неизвестного, при котором стоит этот коэффициент.

Коэффициенты при неизвестных будем записывать в виде матрицы , которую назовём матрицей системы.

Числа, стоящие в правых частях уравнений, b₁,…,b_m называются свободными членами.

Совокупность n чисел c₁,…,c_n называется решением данной системы, если каждое уравнение системы обращается в равенство после подстановки в него чисел c₁,…,c_n вместо соответствующих неизвестных x₁,…,x_n.

Наша задача будет заключаться в нахождении решений системы. При этом могут возникнуть три ситуации:

1. Система может иметь единственное решение.

2. Система может иметь бесконечное множество решений. Например, . Решением этой системы является любая пара чисел, отличающихся знаком.

3. И третий случай, когда система вообще не имеет решения. Например, , если бы решение существовало, то x₁ + x₂ равнялось бы одновременно нулю и единице.

Система линейных уравнений, имеющая хотя бы одно решение, называется совместной. В противном случае, т.е. если система не имеет решений, то она называется несовместной.

Рассмотрим способы нахождения решений системы.