Краткий план ответа
Определитель — число, сопоставленное квадратной матрице.
Для матрицы третьего порядка:
Это правило Саррюса: три произведения берём с плюсом, три с минусом. Оно применимо только к порядку 3.
Основные свойства (для любого порядка):
- .
- Перестановка двух строк меняет знак.
- Множитель одной строки выносится за знак определителя.
- Нулевая строка, две одинаковые или пропорциональные строки дают нулевой определитель.
- Определитель линеен по каждой отдельной строке при остальных фиксированных.
- Прибавление к строке другой строки, умноженной на число, сохраняет определитель.
- Определитель треугольной матрицы равен произведению диагональных элементов.
Все свойства строк верны и для столбцов. В частности, , для .
Пример: .
Подробный разбор
Почему верны свойства определителя
Для общего порядка можно использовать формулу по перестановкам из темы 9. В каждом её произведении участвует ровно один элемент каждой строки. Отсюда линейность по строке и вынесение общего множителя. При обмене двух строк перестановки меняют чётность — знак определителя меняется.
Если две строки одинаковы, обмен не меняет матрицу, но меняет знак числа, поэтому и . Для пропорциональных строк выносим коэффициент и получаем одинаковые строки. При нулевой строке каждое произведение содержит нулевой множитель.
Если , линейность даёт исходный определитель плюс умножить на определитель с двумя одинаковыми строками; второе слагаемое нулевое. При транспонировании произведения переиндексируются обратными перестановками, имеющими ту же чётность, поэтому значение сохраняется.
Треугольная матрица
Для верхнетреугольной матрицы в первом столбце только один потенциально ненулевой элемент . Разложение по столбцу даёт , где снова верхнетреугольная. Повторяем и получаем . Для нижнетреугольной применяем транспонирование.
Разобранный пример
Делаем , . Получаем строки , , . Затем : диагональ , поэтому . Ни одна операция не меняла определитель.
Не следует говорить «любое элементарное преобразование сохраняет определитель»: перестановка меняет знак, масштабирование строки — множитель.
Проверка себя
Почему умножение всей матрицы на число даёт множитель в степени n?