Визначник матриці — це одне з базових понять лінійної алгебри, з яким рано чи пізно знайомиться кожен студент технічних і математичних спеціальностей. Це не просто число поруч із матрицею, а важлива характеристика, що описує властивості самої матриці та пов’язаних із нею лінійних перетворень.
За допомогою визначника матриці можна розв’язувати системи лінійних рівнянь, перевіряти, чи має система єдиний розв’язок, а також знаходити власні числа та власні вектори. Крім того, визначники з’являються в теорії систем, теорії ймовірностей, фізиці, інженерії та чисельних методах. Хіба не зручно, коли одне число дає стільки важливої інформації про задачу?
У цій статті ми крок за кроком розберемо, що таке визначник матриці, які основні властивості він має та як його обчислювати для матриць різних розмірів. Далі поговоримо про його геометричний зміст і розглянемо прості приклади, щоб теорія природно поєднувалася з практикою і була зрозумілою на рівні реальних задач.
Базове Поняття: Що Таке Визначник Квадратної Матриці
Почнемо з основ. Визначник квадратної матриці — це числова характеристика, яка ставиться у відповідність кожній квадратній матриці. Для матриці \(A\) визначник позначають, як правило, \(\det(A)\) або \(|A|\). Інколи використовують також символ \(\Delta\).
Чому говоримо саме про квадратні матриці? Тому що визначник коректно означений лише для них. Прямокутні матриці можуть бути дуже корисними, але власного визначника вони не мають.
Як же сприймати це число? У загальному вигляді воно обчислюється за спеціальними формулами, які враховують значення елементів матриці та їх розташування по рядках і стовпцях. Уже на рівні означення видно: визначник “чутливий” до структури матриці, а не тільки до набору чисел.
Застосування: Де Визначник Матриці Використовується на Практиці
Що дає це число на практиці? По-перше, визначник тісно пов’язаний з існуванням оберненої матриці. Якщо \(\text{det}(A) \neq 0\), то у матриці \(A\) існує обернена матриця \(A^{-1}\). І навпаки, якщо визначник дорівнює нулю, оберненої матриці не існує. Це дуже важливий критерій, який часто використовується в теорії та задачах.
По-друге, визначник допомагає аналізувати системи лінійних рівнянь. Наприклад, для системи з квадратною матрицею коефіцієнтів:
- Якщо \(\text{det}(A) \neq 0\), система має єдиний розв’язок.
- Якщо \(\text{det}(A) = 0\), система або має нескінченну кількість розв’язків, або є несумісною.
Крім того, визначники виникають у формулах для власних чисел та власних векторів, у записах різних фізичних законів, у теорії ймовірностей та статистиці. Тому вивчення визначників — це не “формальність”, а інструмент, який потім постійно з’являється в інших темах.
Властивості: Основні Правила для Визначника Матриці
Щоб упевнено працювати з визначниками, важливо знати їхні властивості. Вони дозволяють спрощувати обчислення і швидко робити висновки про матрицю ще до детальних обчислень. Розгляньмо основні з них.
- Перестановка рядків або стовпців. Якщо в матриці поміняти місцями два рядки (або два стовпці), знак визначника змінюється на протилежний.
- Ненульовий визначник і обернена матриця. Якщо матриця \(A\) має ненульовий визначник, то існує обернена матриця \(A^{-1}\), причому \(\text{det}(A^{-1}) = \frac{1}{\text{det}(A)}\).
- Нульовий рядок або стовпець. Якщо хоч один рядок (або стовпець) матриці складається повністю з нулів, то визначник такої матриці дорівнює нулю.
- Однакові рядки або стовпці. Якщо два рядки (або два стовпці) матриці збігаються, її визначник також дорівнює нулю.
- Лінійна комбінація рядків або стовпців. Якщо один рядок (або стовпець) є лінійною комбінацією інших, визначник дорівнює нулю. Це пов’язано з лінійною залежністю відповідних векторів.
- Одинична матриця та діагональні матриці. Якщо матриця має одиниці на головній діагоналі та нулі поза нею, тобто є одиничною, тоді \(\text{det}(A) = 1\).
- Додавання кратного іншого рядка або стовпця. Якщо до одного рядка (або стовпця) додати інший рядок (стовпець), помножений на деяку константу \(k\), значення визначника не змінюється. Ця властивість особливо корисна при перетвореннях матриць.
- Трикутні матриці. Якщо матриця є верхньою або нижньою трикутною, її визначник дорівнює добутку елементів на головній діагоналі: \(\text{det}(A) = a_{11} \cdot a_{22} \cdot a_{33} \cdot \dots \cdot a_{nn}\).
- Добуток матриць. Для двох квадратних матриць одного розміру виконується: \(\text{det}(A \cdot B) = \text{det}(A) \cdot \text{det}(B)\).
- Транспонування. Визначник транспонованої матриці не змінюється: \(\text{det}(A^T) = \text{det}(A)\).
Ці властивості часто дозволяють замість безпосереднього обчислення визначника відразу побачити, чи буде він нульовим, або швидко спростити матрицю до зручнішого вигляду.
Прості Випадки: Формули для Визначника Матриці 2×2 та 3×3
Перш ніж переходити до складніших випадків, корисно пригадати, як обчислюється визначник для найпростіших матриць — розмірів 2×2 та 3×3.
Матриця 2×2 — простий старт
Нехай маємо матрицю
\[
A =
\begin{pmatrix}
a_{11} & a_{12} \\
a_{21} & a_{22}
\end{pmatrix};
\]
Тоді її визначник обчислюється за формулою:
\[
\det(A) =
\begin{vmatrix}
a_{11} & a_{12} \\
a_{21} & a_{22}
\end{vmatrix}
= a_{11} \cdot a_{22} – a_{12} \cdot a_{21}
\tag{1}
\]
Тобто ми перемножуємо елементи головної діагоналі, перемножуємо елементи бічної діагоналі і віднімаємо другий добуток від першого. Просто і запам’ятовується досить легко.
Матриця 3×3 — правило Саррюса (правило трикутників)
Для матриці третього порядку
\[
A =
\begin{pmatrix}
a_{11} & a_{12} & a_{13} \\
a_{21} & a_{22} & a_{23} \\
a_{31} & a_{32} & a_{33}
\end{pmatrix};
\]
часто використовують так зване правило Саррюса (його ще називають “правилом трикутників”).
Алгоритм такий: спочатку береться сума трьох добутків елементів, що йдуть “вниз вправо” (по головній діагоналі та двох паралельних до неї діагоналях), а потім від цієї суми віднімається сума трьох добутків елементів, що йдуть “вниз вліво” (по бічній діагоналі та двох паралельних до неї). У підсумку маємо формулу:
\[
\det(A) =
\begin{vmatrix}
a_{11} & a_{12} & a_{13} \\
a_{21} & a_{22} & a_{23} \\
a_{31} & a_{32} & a_{33}
\end{vmatrix}
= a_{11} \cdot a_{22} \cdot a_{33}
+ a_{12} \cdot a_{23} \cdot a_{31}
+ a_{13} \cdot a_{21} \cdot a_{32}
– a_{13} \cdot a_{22} \cdot a_{31}
– a_{11} \cdot a_{23} \cdot a_{32}
– a_{12} \cdot a_{21} \cdot a_{33}
\tag{2}
\]
Це правило зручне для ручних обчислень і добре показує, як у визначнику комбінуються елементи різних рядків і стовпців.
Метод Мінорів: Обчислення Визначника Матриць Вищих Порядків
Коли розмір матриці стає більшим за 3×3, простих “готових” формул уже немає. Однак існує загальний підхід, який працює для матриць будь-якого порядку. Він базується на поняттях мінора та алгебраїчного доповнення.
Мінор і алгебраїчне доповнення — дві ключові ідеї
Нехай маємо квадратну матрицю порядку \(n\). Тоді:
- Мінор \(M_{ij}\) елемента \(a_{ij}\) — це визначник матриці порядку \(n-1\), яку отримуємо, якщо з початкової матриці викреслити \(i\)-й рядок і \(j\)-й стовпець.
- Алгебраїчне доповнення \(A_{ij}\) елемента \(a_{ij}\) — це мінор із “знаком”, який залежить від суми індексів:
\[
A_{ij} = (-1)^{i+j} \cdot M_{ij};
\]
Таким чином, кожен елемент матриці “пов’язаний” зі своїм мінором та алгебраїчним доповненням.
Розклад за рядком або стовпцем
З використанням алгебраїчних доповнень визначник матриці \(A\) можна обчислити, розклавши його за будь-яким рядком або стовпцем. Якщо беремо, наприклад, \(i\)-й рядок, отримаємо:
\[
\det(A) = a_{i1} \cdot A_{i1} + a_{i2} \cdot A_{i2} + a_{i3} \cdot A_{i3} + \dots + a_{in} \cdot A_{in}
\tag{3}
\]
Тобто ми перемножуємо кожен елемент обраного рядка на його алгебраїчне доповнення і підсумовуємо всі ці добутки. Аналогічно можна зробити розклад і за будь-яким стовпцем.
На практиці цей підхід часто реалізують рекурсивно: щоб обчислити визначник матриці порядку \(n\), потрібно обчислити кілька визначників порядку \(n-1\), для яких, у свою чергу, знову можна застосувати розклад, доки не дійдемо до матриць 2×2 або 3×3, де вже можна використовувати формули (1) та (2).
Практична порада — як обрати рядок або стовпець
Чи можна обрати будь-який рядок або стовпець для розкладу? Так, результат буде однаковим. Але з погляду обчислень краще обирати рядок або стовпець із найбільшою кількістю нульових елементів. Тоді частина доданків у формулі (3) буде одразу нульовою, і вам доведеться обчислювати менше мінорів.
Цей прийом особливо важливий при програмній реалізації: правильно обраний рядок або стовпець суттєво знижує кількість операцій.
Геометрія: Геометричний Зміст Визначника Матриці
Окремо варто поговорити про геометричний зміст визначника. Він допомагає краще розуміти, що саме “вимірює” це число.
Випадок 2×2 — площа паралелограма
Розглянемо матрицю
\[
A =
\begin{pmatrix}
a_{11} & a_{12} \\
a_{21} & a_{22}
\end{pmatrix};
\]
Її стовпці можна сприймати як вектори на площині:
-
- Перший вектор — від точки \((0,0)\) до \((a_{11}, a_{21})\).
- Другий вектор — від точки \((0,0)\) до \((a_{12}, a_{22})\).
Ці два вектори утворюють паралелограм.
Тоді модуль визначника матриці \(A\) дорівнює площі цього паралелограма:
\[
S = \left| a_{11} \cdot a_{22} – a_{12} \cdot a_{21} \right|.
\]
Крім того, знак визначника показує “напрямленість” пари векторів: умовно кажучи, чи “повертаємо” ми від першого вектора до другого за годинниковою стрілкою чи проти. Якщо визначник додатний — орієнтація одна, якщо від’ємний — протилежна. Якщо ж визначник дорівнює нулю, це означає, що вектори лежать на одній прямій, паралелограм “сплющився” і його площа, відповідно, стала нульовою.
Вищі розмірності — об’єм паралелепіпеда та \(n\)-вимірні об’єми
У тривимірному просторі (для матриці 3×3) геометричний зміст визначника пов’язаний з об’ємом паралелепіпеда, утвореного векторами-стовпцями матриці. У загальному випадку для матриці розміру n×n визначник можна інтерпретувати як “об’єм” \(n\)-вимірного паралелепіпеда. Це вже складніше уявити, проте ідея залишається тією самою: визначник показує, як матриця “розтягує” або “стискає” одиничний об’єм у відповідному просторі.
Практика Визначників: Приклади та Пояснення
Щоб тема не залишалася лише теоретичною, давайте перейдемо до конкретних задач. Крок за кроком розберемо кілька типових прикладів на обчислення визначника матриці та використаємо вже відомі вам властивості. Звертайте увагу не тільки на відповідь, а й на логіку — саме вона допомагає швидко орієнтуватися в подібних вправах.
Приклад 1: Чому дорівнює визначник матриці \(A\), якщо всі її елементи — нулі?
Згадаємо властивість: якщо всі елементи хоча б одного рядка (або стовпця) дорівнюють нулю, то визначник такої матриці дорівнює нулю. Тут нульові всі рядки, отже, ця умова точно виконується.
Таким чином,
\[
\det(A) = 0;
\]
Приклад 2: Чому дорівнює визначник матриці \(A\), якщо всі її елементи однакові?
Отже, за умовою — усі елементи матриці \(A\) однакові, наприклад, рівні деякому числу \(c\). Що це означає для рядків і стовпців?
У такій матриці всі рядки однакові (і так само всі стовпці однакові). А ми вже знаємо важливу властивість: якщо матриця має хоча б два однакових рядки або стовпці, то її визначник дорівнює нулю.
Отже, незалежно від розміру такої матриці, маємо:
\[
\det(A) = 0;
\]
Приклад 3: Обчислити визначник матриці 2×2
\[
A =
\begin{pmatrix}
1 & 5 \\
3 & 1
\end{pmatrix};
\]
За формулою для матриці 2×2:
\[
\det(A) =
\begin{vmatrix}
1 & 5 \\
3 & 1
\end{vmatrix}
= 1 \cdot 1 – 5 \cdot 3 = 1 – 15 = -14;
\]
Отже, визначник матриці \(A\) дорівнює \(-14\).
Приклад 4: Обчислити визначник матриці 3×3
\[
A =
\begin{pmatrix}
2 & 4 & 5 \\
1 & 0 & 3 \\
3 & -1 & 2
\end{pmatrix};
\]
Скористаємося правилом Саррюса (правилом трикутників). Тоді:
\[
\det(A) =
\left|
\begin{matrix}
2 & 4 & 5 \\
1 & 0 & 3 \\
3 & -1 & 2
\end{matrix}
\right|
= 2 \cdot 0 \cdot 2 + 4 \cdot 3 \cdot 3 + 5 \cdot 1 \cdot (-1)
– 5 \cdot 0 \cdot 3 – 4 \cdot 1 \cdot 2 – 2 \cdot 3 \cdot (-1);
\]
Обчислимо по черзі:
\[
\det(A) = 0 + 36 – 5 – 0 – 8 + 6 = 29;
\]
Отже, визначник матриці \(A\) дорівнює \(29\).
Приклад 5: Обчислити визначник матриці 4×4
\[
A =
\begin{pmatrix}
1 & 5 & 3 & -4 \\
3 & 1 & -2 & 0 \\
5 & -7 & 0 & 10 \\
0 & 3 & -5 & 0
\end{pmatrix};
\]
Зверніть увагу на останній (четвертий) рядок: у ньому є два нулі. Це зручно, адже розклад за таким рядком дозволяє обчислити визначник з меншим обсягом обчислень. Тому виконаємо розклад саме за четвертим рядком:
\[
\det(A) = a_{41} \cdot A_{41} + a_{42} \cdot A_{42} + a_{43} \cdot A_{43} + a_{44} \cdot A_{44};
\]
Для елементів четвертого рядка маємо:
\[
a_{41} = 0;\quad a_{42} = 3;\quad a_{43} = -5;\quad a_{44} = 0;
\]
Отже, у формулі залишаються лише ненульові доданки:
\[
\det(A) = 3 \cdot A_{42} – 5 \cdot A_{43};
\]
Тепер знайдемо відповідні алгебраїчні доповнення:
\[
A_{42} = (-1)^{4+2} \cdot
\left|
\begin{matrix}
1 & 3 & -4 \\
3 & -2 & 0 \\
5 & 0 & 10
\end{matrix}
\right|
= (-1)^6 \cdot (-150) = -150;
\]
\[
A_{43} = (-1)^{4+3} \cdot
\left|
\begin{matrix}
1 & 5 & -4 \\
3 & 1 & 0 \\
5 & -7 & 10
\end{matrix}
\right|
= (-1)^7 \cdot (-36) = 36;
\]
Підставимо ці значення у формулу розкладу:
\[
\det(A) = 3 \cdot (-150) – 5 \cdot 36 = -450 – 180 = -630;
\]
Отже, визначник матриці \(A\) дорівнює \(-630\).
Що Вивчити Далі: Корисні Теми для Продовження
Якщо вам сподобалося працювати з визначниками, логічно зробити наступний крок і розширити коло пов’язаних тем. З чого варто почати?
- Обернена матриця та визначник: Коли матриця має обернену — Побачите, як ненульовий визначник гарантує існування оберненої матриці та входить у формули для її знаходження.
- Метод Гауса та визначник матриці: Шлях до трикутної форми — Дізнаєтеся, як перетворити матрицю до трикутної форми і знайти визначник як добуток діагональних елементів.
- Системи рівнянь і визначник матриці: Правило Крамера на практиці — Побачите, як за правилом Крамера розв’язувати невеликі системи та як у формулах з’являється визначник.
Ці теми доповнюють одна одну й допомагають краще відчути, як визначник проявляється в різних розділах лінійної алгебри та її застосуваннях.
Визначник Матриці: Блок-схема як Основа Для Коду
Якщо ви цікавитеся програмуванням, блок-схема алгоритму розкладу визначника за першим рядком може стати основою для невеликої програми на вашій улюбленій мові. Подивіться на схему й прослідкуйте шлях: від вхідної матриці до отриманого значення визначника. Далі уявіть, що кожен блок — це кілька простих рядків коду. Так ви можете перенести цей алгоритм у Python, C++, Java чи будь-яку іншу мову й обчислювати визначники матриць різних порядків одним запуском програми. Така вправа допоможе краще зрозуміти тему “Визначник матриці” та потренує вміння перетворювати блок-схеми на робочий код.
