Определитель матрицы онлайн

Обновлено: май 2026

Вычислите определитель (детерминант) квадратной матрицы 2×2, 3×3 или 4×4. Пошаговое решение с разложением по строке, готовые примеры.

Загрузка калькулятора…

Что такое определитель матрицы — определение и смысл

Определитель (детерминант) матрицы — это числовая величина, которая ставится в соответствие каждой квадратной матрице. Определитель обозначается det(A), |A| или символом Δ. Это одно из ключевых понятий линейной алгебры, без которого невозможно представить ни решение систем линейных уравнений, ни теорию линейных пространств, ни аналитическую геометрию. Определитель отвечает на фундаментальный вопрос: является ли данная матрица обратимой. Если det(A) ≠ 0, матрица называется невырожденной (неособой), и для неё существует обратная матрица. Если det(A) = 0, матрица вырождена (сингулярна), обратной не существует.

Историческое развитие определителей началось задолго до формализации теории матриц. Японский математик Сэки Кова и немецкий математик Готфрид Вильгельм Лейбниц независимо друг от друга обнаружили определители в конце XVII века при исследовании систем линейных уравнений. Позже Габриэль Крамер (1750) использовал определители для решения систем уравнений — формулы, известные сегодня как формулы Крамера. Огюстен-Луи Коши систематизировал теорию определителей в XIX веке, а Карл Якоби развил понятие якобиана — определителя матрицы частных производных, ставшего фундаментальным инструментом в математическом анализе.

Наш онлайн-калькулятор позволяет мгновенно вычислить определитель квадратной матрицы размеров 2×2, 3×3 и 4×4. Калькулятор показывает пошаговое решение с разложением по первой строке, что помогает не просто получить ответ, но и понять процесс вычисления. Доступны готовые примеры матриц, включая единичную матрицу, для быстрой проверки работы.

Определитель матрицы 2×2 — формула и примеры

Определитель матрицы второго порядка — простейший случай, с которого начинается изучение детерминантов. Для матрицы A = [[a, b], [c, d]] определитель вычисляется по формуле: det(A) = a·d − b·c. Геометрическая интерпретация: модуль определителя матрицы 2×2 равен площади параллелограмма, построенного на векторах-строках (или столбцах) этой матрицы. Знак определителя показывает ориентацию: положительный — «правая» ориентация, отрицательный — «левая».

Рассмотрим примеры. Для единичной матрицы E = [[1, 0], [0, 1]]: det(E) = 1·1 − 0·0 = 1. Определитель единичной матрицы любого размера всегда равен 1. Для матрицы A = [[3, 7], [1, 5]]: det(A) = 3·5 − 7·1 = 15 − 7 = 8. Так как det ≠ 0, матрица невырождена, и для неё существует обратная. Для матрицы B = [[2, 4], [1, 2]]: det(B) = 2·2 − 4·1 = 4 − 4 = 0. Строки матрицы B пропорциональны (вторая строка — половина первой), поэтому определитель равен нулю.

Формула определителя 2×2 часто используется как базовый блок для вычисления определителей матриц более высоких порядков. Каждый минор матрицы 3×3 является определителем подматрицы 2×2, и именно через формулу ad − bc происходят все промежуточные вычисления при разложении по строке.

Определитель матрицы 3×3 — правило Саррюса и разложение по строке

Для матрицы третьего порядка существуют два основных метода вычисления определителя: разложение по строке (формула Лапласа) и правило Саррюса. Наш калькулятор использует разложение по первой строке, которое является более универсальным методом, применимым к матрицам любого размера.

Разложение по первой строке для матрицы A = [[a₁₁, a₁₂, a₁₃], [a₂₁, a₂₂, a₂₃], [a₃₁, a₃₂, a₃₃]] имеет вид: det(A) = a₁₁·(a₂₂·a₃₃ − a₂₃·a₃₂) − a₁₂·(a₂₁·a₃₃ − a₂₃·a₃₁) + a₁₃·(a₂₁·a₃₂ − a₂₂·a₃₁). Здесь каждый элемент первой строки умножается на свой кофактор (алгебраическое дополнение) — определитель минора 2×2 со знаком (−1)^(i+j). Обратите внимание на чередование знаков: +, −, +.

Правило Саррюса — мнемонический приём, работающий только для 3×3: к матрице дописывают два первых столбца справа, затем складывают произведения по трём «нисходящим» диагоналям и вычитают произведения по трём «восходящим» диагоналям. Формула: det = a₁₁·a₂₂·a₃₃ + a₁₂·a₂₃·a₃₁ + a₁₃·a₂₁·a₃₂ − a₁₃·a₂₂·a₃₁ − a₁₁·a₂₃·a₃₂ − a₁₂·a₂₁·a₃₃. Важно: правило Саррюса не обобщается на матрицы 4×4 и выше.

Геометрический смысл определителя матрицы 3×3: модуль det(A) равен объёму параллелепипеда, построенного на трёх векторах, являющихся строками (или столбцами) матрицы. Если определитель положителен, тройка векторов образует правую систему координат, если отрицателен — левую. Если det = 0, векторы компланарны (лежат в одной плоскости).

Определитель матрицы 4×4 — кофакторное разложение

Вычисление определителя матрицы четвёртого порядка — более трудоёмкая задача. Основной метод — разложение по строке (или столбцу) с помощью кофакторов. Для матрицы 4×4 разложение по первой строке имеет вид: det(A) = a₁₁·C₁₁ + a₁₂·C₁₂ + a₁₃·C₁₃ + a₁₄·C₁₄, где C₁j = (−1)^(1+j)·M₁j — алгебраическое дополнение (кофактор) элемента a₁j, а M₁j — минор, то есть определитель подматрицы 3×3, полученной вычёркиванием первой строки и j-го столбца.

Таким образом, вычисление определителя 4×4 сводится к вычислению четырёх определителей 3×3, каждый из которых, в свою очередь, раскладывается через определители 2×2. Общее число элементарных операций при наивном разложении определителя n×n по строке равно O(n!), что быстро делает прямое вычисление непрактичным для больших матриц. Для матриц больших размеров применяют метод приведения к треугольному виду (метод Гаусса), после чего определитель равен произведению диагональных элементов с учётом знаков перестановок строк.

Практический совет: при вычислении определителя 4×4 вручную выбирайте для разложения строку или столбец с максимальным числом нулей — это значительно сокращает объём вычислений. Наш калькулятор выполняет разложение по первой строке и показывает все промежуточные вычисления: кофакторы, миноры и итоговое суммирование.

Свойства определителя — ключевые теоремы

Определитель обладает рядом фундаментальных свойств, которые упрощают его вычисление и лежат в основе многих теорем линейной алгебры. Транспонирование: det(AT) = det(A) — определитель не меняется при замене строк на столбцы. Это означает, что все свойства, сформулированные для строк, справедливы и для столбцов. Перестановка строк: при перестановке двух строк (или столбцов) определитель меняет знак. Следствие: если матрица имеет две одинаковые строки, её определитель равен нулю.

Мультипликативность: det(A·B) = det(A)·det(B) — определитель произведения равен произведению определителей. Это одно из важнейших свойств, связывающее определитель с алгебраической структурой матриц. Скалярный множитель: при умножении одной строки матрицы на число k определитель умножается на k. Следствие: det(k·A) = kn·det(A) для матрицы n×n, где вся матрица умножена на k. Линейность по строке: если одна строка матрицы является суммой двух строк, определитель можно разложить в сумму двух определителей.

Элементарные преобразования: при прибавлении к строке линейной комбинации других строк определитель не меняется. Это свойство лежит в основе метода Гаусса для вычисления определителя: приводим матрицу к треугольному виду элементарными преобразованиями, затем определитель равен произведению диагональных элементов. Обратная матрица: det(A−1) = 1/det(A). Определитель треугольной матрицы (верхне- или нижнетреугольной) равен произведению элементов главной диагонали.

Миноры и алгебраические дополнения (кофакторы)

Минор Mij элемента aij квадратной матрицы — это определитель подматрицы, полученной вычёркиванием i-й строки и j-го столбца из исходной матрицы. Для матрицы n×n минор является определителем матрицы (n−1)×(n−1). Алгебраическое дополнение (кофактор) — это минор со знаком: Cij = (−1)i+j·Mij. Знак определяется по «шахматному» правилу: если сумма индексов i+j чётна, знак положительный, если нечётна — отрицательный.

Кофакторы играют центральную роль в нескольких важных конструкциях. Во-первых, разложение определителя по i-й строке: det(A) = Σ aij·Cij по j от 1 до n. Аналогично можно разложить по любому столбцу. Во-вторых, обратная матрица вычисляется через матрицу кофакторов: A−1 = (1/det(A))·adj(A), где adj(A) — союзная (присоединённая) матрица, составленная из кофакторов и транспонированная: [adj(A)]ij = Cji.

Для матрицы 3×3 нужно вычислить 9 кофакторов (каждый — определитель 2×2), для матрицы 4×4 — 16 кофакторов (каждый — определитель 3×3). На практике при вычислении определителя достаточно найти кофакторы только одной строки или столбца, а для обратной матрицы — все кофакторы.

Определитель и системы линейных уравнений

Одно из важнейших приложений определителя — решение систем линейных алгебраических уравнений (СЛАУ). По теореме Крамера, если определитель матрицы коэффициентов det(A) ≠ 0, система A·x = b имеет единственное решение, которое находится по формулам: xi = det(Ai) / det(A), где Ai — матрица, полученная из A заменой i-го столбца на вектор свободных членов b.

Формулы Крамера удобны для систем небольшого размера (2×2, 3×3), но для больших систем становятся вычислительно неэффективными: для системы n×n нужно вычислить n+1 определителей порядка n. В таких случаях предпочтительнее метод Гаусса (метод последовательного исключения неизвестных), имеющий вычислительную сложность O(n³).

Определитель также позволяет установить характер решений системы. Если det(A) ≠ 0, система имеет единственное решение. Если det(A) = 0, система либо не имеет решений (несовместна), либо имеет бесконечно много решений. Точный ответ в этом случае даёт теорема Кронекера — Капелли: система совместна тогда и только тогда, когда ранг основной матрицы равен рангу расширенной матрицы.

Определитель в аналитической геометрии

Определители широко используются в аналитической геометрии для решения геометрических задач. Площадь треугольника с вершинами в точках (x₁, y₁), (x₂, y₂), (x₃, y₃) равна половине модуля определителя: S = ½·|det([[x₁, y₁, 1], [x₂, y₂, 1], [x₃, y₃, 1]])|. Если определитель равен нулю, три точки лежат на одной прямой (коллинеарны).

Объём тетраэдра с вершинами A, B, C, D: V = (1/6)·|det([[x_B−x_A, y_B−y_A, z_B−z_A], [x_C−x_A, y_C−y_A, z_C−z_A], [x_D−x_A, y_D−y_A, z_D−z_A]])|. Уравнение плоскости, проходящей через три точки, записывается через определитель 4×4: det([[x−x₁, y−y₁, z−z₁], [x₂−x₁, y₂−y₁, z₂−z₁], [x₃−x₁, y₃−y₁, z₃−z₁]]) = 0.

Ориентированная площадь и ориентированный объём — важные понятия в вычислительной геометрии. Знак определителя показывает ориентацию фигуры: положительный определитель соответствует обходу вершин против часовой стрелки (в 2D) или правой тройке векторов (в 3D). Этот факт активно используется в алгоритмах компьютерной графики, вычислительной геометрии и физическом моделировании для определения взаимного расположения объектов.

Методы вычисления определителя для больших матриц

Для матриц размера n×n, где n > 4, разложение по строке становится вычислительно затратным (сложность O(n!)). На практике используются более эффективные методы. Метод Гаусса (приведение к треугольному виду): матрица приводится к верхнетреугольной форме элементарными преобразованиями строк, после чего определитель равен произведению диагональных элементов с учётом знака (каждая перестановка строк меняет знак). Сложность — O(n³).

LU-разложение: матрица A разлагается в произведение нижнетреугольной L и верхнетреугольной U матриц: A = L·U. Тогда det(A) = det(L)·det(U) = произведение диагональных элементов L × произведение диагональных элементов U. LU-разложение удобно, когда нужно вычислить определитель и одновременно решить систему уравнений.

Метод Барейсса — модификация метода Гаусса для целочисленных матриц, позволяющая избежать дробей в промежуточных вычислениях. Все промежуточные результаты остаются целыми числами, что исключает ошибки округления. Для специальных типов матриц (разреженных, ленточных, блочных) существуют ещё более быстрые алгоритмы. В численных расчётах определитель вычисляется через QR- или SVD-разложения, обеспечивающие лучшую численную устойчивость.

Применение определителей в физике и инженерии

В механике определитель тензора инерции определяет, является ли тело физически реализуемым. Якобиан (определитель матрицы Якоби) используется при переходе между системами координат, например при вычислении интегралов в цилиндрических или сферических координатах. В электротехнике определители применяются при анализе электрических цепей методом контурных токов и узловых напряжений: коэффициенты системы уравнений Кирхгофа образуют матрицу, определитель которой показывает, имеет ли система единственное решение.

В квантовой механике определитель Слейтера описывает волновую функцию системы фермионов с учётом принципа Паули (антисимметрия относительно перестановки частиц). В теории упругости определитель матрицы деформаций характеризует изменение объёма тела при деформации. В теории управления определитель матрицы управляемости Калмана показывает, является ли система полностью управляемой.

В компьютерной графике определитель матрицы преобразования 3×3 показывает, сохраняет ли преобразование ориентацию (det > 0), меняет её (det < 0) или вырождает пространство (det = 0). В машинном обучении определитель ковариационной матрицы используется в многомерном нормальном распределении и определяет «объём» области высокой вероятности. Логарифм определителя входит в функцию правдоподобия при оценке параметров многомерного гауссовского распределения.

Определитель и собственные значения матрицы

Определитель тесно связан с собственными значениями матрицы. Собственные значения λ₁, λ₂, …, λₙ квадратной матрицы A находятся из характеристического уравнения: det(A − λE) = 0, где E — единичная матрица. Это уравнение n-й степени относительно λ. При этом справедливы соотношения: det(A) = λ₁·λ₂·…·λₙ — определитель равен произведению всех собственных значений, а tr(A) = λ₁ + λ₂ + … + λₙ — след равен их сумме.

Из связи определителя с собственными значениями следует, что матрица вырождена (det = 0) тогда и только тогда, когда хотя бы одно собственное значение равно нулю. Это имеет глубокий геометрический смысл: матрица с нулевым собственным значением «сжимает» пространство хотя бы в одном направлении в точку, что соответствует нулевому «объёму» образа.

Источники

  • Ильин В. А., Позняк Э. Г. «Линейная алгебра» — фундаментальный учебник по матричной алгебре для вузов
  • Беклемишев Д. В. «Курс аналитической геометрии и линейной алгебры» — классический российский учебник
  • Стренг Г. «Линейная алгебра и её применения» — современный учебник с прикладными примерами
  • Кострикин А. И. «Введение в алгебру» — строгое изложение теории определителей

Похожие калькуляторы

Калькулятор матрицОперации с матрицами, определитель
Система уравненийМетод Крамера, 2×2
Калькулятор комбинаторикиРазмещения, сочетания, перестановки
Калькулятор степенейВозведение в степень

Часто задаваемые вопросы

Что такое определитель матрицы?
Определитель (детерминант) матрицы — это числовая характеристика, которая ставится в соответствие каждой квадратной матрице. Определитель обозначается det(A) или |A|. Он показывает, является ли матрица обратимой (det ≠ 0 — невырожденная) или нет (det = 0 — вырожденная, сингулярная). Геометрически определитель связан с площадями и объёмами: модуль определителя матрицы 2×2 равен площади параллелограмма, а модуль определителя матрицы 3×3 — объёму параллелепипеда, построенных на векторах-строках матрицы.
Как вычислить определитель матрицы 2×2?
Для матрицы 2×2 вида [[a, b], [c, d]] определитель вычисляется по простой формуле: det = a·d − b·c. Это произведение элементов главной диагонали минус произведение элементов побочной диагонали. Например, для матрицы [[3, 7], [1, 5]] определитель равен 3·5 − 7·1 = 15 − 7 = 8.
Как найти определитель матрицы 3×3?
Определитель матрицы 3×3 можно вычислить разложением по первой строке (формула Лапласа): det(A) = a₁₁·(a₂₂·a₃₃ − a₂₃·a₃₂) − a₁₂·(a₂₁·a₃₃ − a₂₃·a₃₁) + a₁₃·(a₂₁·a₃₂ − a₂₂·a₃₁). Также можно использовать мнемоническое правило Саррюса: сумма произведений элементов по трём «главным» диагоналям минус сумма произведений по трём «побочным» диагоналям.
Как вычислить определитель матрицы 4×4?
Определитель матрицы 4×4 вычисляется разложением по первой строке с использованием кофакторов (алгебраических дополнений). Для каждого элемента первой строки вычисляется минор 3×3 (определитель подматрицы, полученной вычёркиванием соответствующей строки и столбца), затем каждый минор умножается на элемент строки и на знак (−1)^(i+j). Итого: det = a₁₁·C₁₁ + a₁₂·C₁₂ + a₁₃·C₁₃ + a₁₄·C₁₄, где C₁j — кофактор элемента a₁j. Правило Саррюса для 4×4 не работает.
Какие свойства определителя матрицы существуют?
Основные свойства: 1) det(Aᵀ) = det(A) — определитель не меняется при транспонировании. 2) При перестановке двух строк (или столбцов) определитель меняет знак. 3) Если у матрицы есть две одинаковые строки, det = 0. 4) При умножении строки на число k определитель умножается на k. 5) det(k·A) = kⁿ·det(A) для матрицы n×n. 6) det(A·B) = det(A)·det(B). 7) Определитель треугольной матрицы равен произведению диагональных элементов. 8) det(A⁻¹) = 1/det(A).
Когда определитель матрицы равен нулю?
Определитель равен нулю в следующих случаях: 1) Две строки (или столбца) матрицы одинаковы. 2) Одна строка является линейной комбинацией других строк (строки линейно зависимы). 3) Матрица содержит нулевую строку или столбец. 4) Ранг матрицы меньше её порядка. Если det = 0, матрица называется вырожденной (сингулярной), для неё не существует обратной матрицы, а соответствующая система линейных уравнений не имеет единственного решения.
Зачем нужен определитель матрицы?
Определитель имеет множество применений: 1) Проверка обратимости матрицы — обратная матрица существует только при det ≠ 0. 2) Решение систем линейных уравнений по формулам Крамера. 3) Вычисление обратной матрицы через союзную матрицу. 4) Нахождение площадей и объёмов в аналитической геометрии. 5) Вычисление собственных значений матрицы (характеристическое уравнение det(A − λE) = 0). 6) Проверка линейной независимости системы векторов.
Что такое разложение определителя по строке или столбцу?
Разложение по строке (или столбцу) — это метод вычисления определителя через алгебраические дополнения (кофакторы). Определитель равен сумме произведений элементов любой строки (или столбца) на их алгебраические дополнения: det(A) = Σ aᵢⱼ·Cᵢⱼ по j. Алгебраическое дополнение Cᵢⱼ = (−1)^(i+j)·Mᵢⱼ, где Mᵢⱼ — минор (определитель матрицы, полученной вычёркиванием i-й строки и j-го столбца). Для упрощения вычислений выбирают строку или столбец с наибольшим числом нулей.
Чем определитель отличается от следа матрицы?
Определитель (det) и след (trace, tr) — это две разные числовые характеристики квадратной матрицы. След — это сумма элементов главной диагонали: tr(A) = a₁₁ + a₂₂ + ... + aₙₙ. Определитель — гораздо более сложная функция, зависящая от всех элементов матрицы. Оба связаны с собственными значениями: след равен сумме собственных значений, а определитель — их произведению. След линеен (tr(A+B) = tr(A) + tr(B)), а определитель мультипликативен (det(A·B) = det(A)·det(B)).