Kalkulator wyznacznika macierzy

Dla macierzy 2×2: det([[a,b],[c,d]]) = ad - bc. Dla macierzy 3×3 reguła Sarrusa lub rozwinięcie Laplace'a daje: det = a(ei-fh) - b(di-fg) + c(dh-eg) dla macierzy [[a,b,c],[d,e,f],[g,h,i]].

W przypadku większych macierzy sprawdza się rozwinięcie wzdłuż dowolnego wiersza lub kolumny: det(A) = Σ(-1)^(i+j) × a_ij × M_ij, gdzie M_ij to minor (wyznacznik podmacierzy powstałej po wykreśleniu wiersza i oraz kolumny j).

Koszt obliczeniowy rośnie silniowo wraz z rozmiarem macierzy przy zastosowaniu rozwinięcia Laplace'a — O(n!) — co czyni tę metodę niepraktyczną dla dużych macierzy. Rozkład LU oblicza wyznaczniki w czasie O(n³) poprzez przedstawienie macierzy jako A = LU i wykorzystanie zależności det(A) = det(L) × det(U) = iloczyn elementów na przekątnej.

Kilka własności pozwala na uproszczenie obliczeń:

• wyznacznik macierzy trójkątnej (górnej lub dolnej) jest równy iloczynowi elementów na przekątnej.
• Zamiana miejscami dwóch wierszy zmienia znak wyznacznika na przeciwny.
• Pomnożenie wiersza przez skalar k mnoży wyznacznik przez k.
• Dodanie do jednego wiersza wielokrotności innego wiersza nie zmienia wartości wyznacznika — na tym opiera się eliminacja Gaussa zapewniająca efektywne obliczenia.
• Wyznacznik iloczynu jest równy iloczynowi wyznaczników: det(AB) = det(A) × det(B).
• Dla macierzy transponowanej: det(A^T) = det(A).
• Dla macierzy odwrotnej zachodzi det(A^(-1)) = 1/det(A).

Te własności umożliwiają uproszczenie obliczeń ręcznych: sprowadzenie macierzy do postaci trójkątnej górnej za pomocą operacji elementarnych na wierszach, śledzenie zmian znaków wynikających z zamian wierszy, a następnie pomnożenie elementów na przekątnej.

Poza rozwiązywaniem układów równań liniowych (wzory Cramera: x_i = det(A_i)/det(A)), wyznaczniki znajdują zastosowanie geometryczne.

Na płaszczyźnie (2D) wartość bezwzględna wyznacznika macierzy 2×2 utworzonej przez dwa wektory daje pole równoległoboku, który rozpinają. W przestrzeni 3D wyznacznik macierzy 3×3 złożonej z trzech wektorów określa objętość równoległościanu. Iloczyn wektorowy można obliczyć za pomocą wyznaczników: a×b = det([[i,j,k],[a1,a2,a3],[b1,b2,b3]]).

W rachunku całkowym jakobian (wyznacznik jakobiego) mierzy, jak transformacja współrzędnych skaluje nieskończenie małe pola lub objętości — co jest kluczowe przy zamianie zmiennych w całkach wielokrotnych.

Wartości własne spełniają równanie det(A - λI) = 0, zwane wielomianem charakterystycznym, co wiąże wyznaczniki z analizą spektralną i teorią stabilności w równaniach różniczkowych.

Wyznacznik to pojedyncza liczba scalarna wyliczana z elementów macierzy kwadratowej, która informuje, czy macierz jest odwracalna oraz w jaki sposób skaluje przestrzeń.

Jak wyjaśnia Wolfram MathWorld, wyznacznik macierzy n×n A, zapisywany jako det(A) lub |A|, jest niezerowy dokładnie wtedy, gdy macierz posiada macierz odwrotną, a jej wiersze są liniowo niezależne.

Geometrycznie wartość bezwzględna wyznacznika jest równa współczynnikowi, o jaki transformacja liniowa rozciąga pole w dwóch wymiarach lub objętość w trzech. Ujemny wyznacznik oznacza dodatkowo, że transformacja odwraca orientację.

Wyznaczniki są definiowane wyłącznie dla macierzy kwadratowych — macierze prostokątne ich nie posiadają.

Aby obliczyć wyznacznik 3×3, rozwiń go wzdłuż pierwszego wiersza za pomocą dopełnień algebrycznych: pomnóż każdy element górnego rzędu przez minor 2×2 pozostający po wykreśleniu jego wiersza i kolumny, stosując naprzemienne znaki +, −, +.

Weźmy macierz [[2,1,3],[0,-1,2],[1,4,-1]]. Trzy minory to: [[-1,2],[4,-1]] = (-1)(-1)−(2)(4) = -7, [[0,2],[1,-1]] = (0)(-1)−(2)(1) = -2 oraz [[0,-1],[1,4]] = (0)(4)−(-1)(1) = 1.

Łącząc je ze znakami, otrzymujemy 2(-7) − 1(-2) + 3(1) = -14 + 2 + 3 = -9. Khan Academy prezentuje tę metodę rozwinięcia w sposób interaktywny dla dowolnej macierzy 3×3.

Dla macierzy 2×2 [[a,b],[c,d]] wyznacznik wynosi ad − bc: pomnóż elementy głównej przekątnej, a następnie odejmij od tego iloczyn elementów przekątnej pobocznej.

Na przykład wyznacznik macierzy [[3,8],[4,6]] wynosi (3)(6) − (8)(4) = 18 − 32 = -14. Ta sama reguła dla macierzy 2×2 prowadzi do tożsamości Cassiniego: det([[F₍n+1₎,F₍n₎],[F₍n₎,F₍n-1₎]]) = (−1)ⁿ dla kolejnych liczb Fibonacciego, które można wygenerować za pomocą kalkulatora ciągu Fibonacciego. Ten wzór, skatalogowany przez Wolfram MathWorld, stanowi bazę dla każdego większego wyznacznika, ponieważ rozwinięcie Laplace'a rekurencyjnie sprowadza macierz n×n do sum minorów 2×2.

Wyznacznik macierzy 2×2 odpowiada również pólu ze znakiem równoległoboku rozpiętego przez dwa wektory kolumnowe, dlatego wartość zerowa oznacza, że wektory są współliniowe, a macierz jest osobliwa.

Wyznacznik wynoszący dokładnie zero oznacza, że macierz jest osobliwa: nie ma macierzy odwrotnej, jej wiersze i kolumny są liniowo zależne, a sama macierz spłaszcza przestrzeń do niższego wymiaru.

Według Encyclopaedia Britannica układ liniowy Ax = b z osobliwą macierzą współczynników nie ma żadnego rozwiązania lub ma ich nieskończenie wiele, ale nigdy dokładnie jedno. Niezerowy wyznacznik wskazuje na macierz nieosobliwą (odwracalną), co gwarantuje istnienie dokładnie jednego rozwiązania.

Ponieważ wyznacznik skaluje pole powierzchni lub objętość, wartość zero odpowiada przekształceniu, które spłaszcza przestrzeń – na przykład odwzorowuje region trójwymiarowy na płaszczyznę, nadając mu zerową objętość i uniemożliwiając odwrócenie operacji.

Duże wyznaczniki najłatwiej obliczyć, sprowadzając macierz do postaci trójkątnej górnej zamiast stosować czyste rozwinięcie Laplace'a. Jak zauważa Wolfram MathWorld, wyznacznik macierzy trójkątnej jest równy iloczynowi jej elementów na przekątnej, więc eliminacja Gausa pozwala obliczyć wyznacznik 4×4 lub 5×5 w około n³ operacji zamiast n! kofaktorów wymaganych przez bezpośrednie rozwinięcie.

Podczas redukcji śledź dwa efekty:

• zamiana dwóch wierszy miejscami mnoży wyznacznik przez −1
• pomnożenie wiersza przez k mnoży wyznacznik przez k

Dodanie wielokrotności jednego wiersza do innego nie zmienia wartości wyznacznika. Ten kalkulator automatycznie zajmuje się obsługą tych działań dla macierzy o rozmiarze do 5×5.

Wyznaczniki pojawiają się daleko poza podręcznikami.

W geometrii wartość bezwzględna wyznacznika 2×2 daje pole równoległoboku, a wyznacznika 3×3 – objętość równoległościanu rozpiętego przez trzy wektory. Wzór Cramera służy do rozwiązywania małych układów równań liniowych przy użyciu ilorazów wyznaczników, a iloczyn wektorowy dwóch wektorów 3D wyraża się jako symboliczny wyznacznik 3×3.

W rachunku wielu zmiennych jakobian (wyznacznik Jacobiego), opisany w NIST Digital Library of Mathematical Functions, mierzy, jak zmiana zmiennych skaluje całki.

Inżynierowie używają równania charakterystycznego det(A − λI) = 0 do wyznaczania wartości własnych, które rządzą modami drgań, stabilnością konstrukcji i zachowaniem układów regulacji.

Uważaj na te najczęstsze błędy:

• Najczęstszym błędem jest zapominanie o naprzemiennych znakach kofaktorów +, −, +, −; znak pozycji (i, j) to (−1)^(i+j), a nie po prostu plus.
• Drugim błędem jest stosowanie skrótu Sarruse'a dla macierzy 4×4 lub większych – Sarrus działa tylko dla wymiaru 3×3.
• Uczniowie gubią też znak minus po zamianie wierszy, ponieważ każda taka zamiana odwraca znak wyznacznika.
• Kolejną pułapką jest traktowanie wyznacznika jak operacji na macierzach: det(A + B) nie jest równe det(A) + det(B), chociaż det(AB) jest równe det(A)·det(B).
• Na koniec pamiętaj, że wyznaczniki istnieją tylko dla macierzy kwadratowych; macierz 2×3 go nie posiada.

Przed połączeniem zweryfikuj arytmetycznie każdy minor 2×2.

Garść własności, które można udowodnić z definicji kofaktorowej, sprawia, że wyznaczniki są przewidywalne.

• Wyznacznik macierzy jednostkowej wynosi 1, a każda macierz z wierszem lub kolumną samych zer ma wyznacznik 0.
• Dwa identyczne wiersze również sprawiają, że wyznacznik spada do zera, ponieważ wiersze są liniowo zależne.
• Transponowanie macierzy pozostawia jej wyznacznik bez zmian, więc det(Aᵀ) = det(A).
• Wyznacznik iloczynu rozkłada się jako det(AB) = det(A)·det(B), co oznacza, że det(A⁻¹) = 1/det(A), o ile macierz odwrotna istnieje.
• Pomnożenie całej macierzy n×n przez skalar k skaluje wyznacznik przez kⁿ, a nie przez k.

Khan Academy omawia dowody każdej z tych własności.