Wyznacznik macierzy 4×4 można obliczyć przede wszystkim na dwa sposoby: przez rozwinięcie Laplace’a albo przez sprowadzenie macierzy do postaci trójkątnej za pomocą operacji elementarnych. Pierwsza metoda zamienia jeden wyznacznik czwartego stopnia na wyznaczniki 3×3. Druga pozwala odczytać wynik jako iloczyn elementów głównej przekątnej, z uwzględnieniem wykonanych operacji na wierszach.

Najlepsza metoda zależy od budowy macierzy. Jeżeli jeden wiersz lub jedna kolumna zawiera kilka zer, zwykle warto zastosować rozwinięcie Laplace’a. Przy macierzy wypełnionej liczbami wygodniejsze bywa zerowanie elementów i doprowadzenie jej do postaci trójkątnej. Reguła Sarrusa nie działa bezpośrednio dla macierzy 4×4, ale można jej użyć do obliczania wyznaczników 3×3 powstałych po rozwinięciu Laplace’a.

Czym jest wyznacznik macierzy 4×4?

Wyznacznik jest pojedynczą liczbą przypisaną macierzy kwadratowej. Dla macierzy (A) zapisuje się go jako:

[
\det(A)
]

albo za pomocą pionowych kresek:

[
|A|.
]

Macierz 4×4 ma cztery wiersze i cztery kolumny:

[
A=
\begin{bmatrix}
a_{11}&a_{12}&a_{13}&a_{14}\
a_{21}&a_{22}&a_{23}&a_{24}\
a_{31}&a_{32}&a_{33}&a_{34}\
a_{41}&a_{42}&a_{43}&a_{44}
\end{bmatrix}.
]

Jej wyznacznik jest liczbą, a nie kolejną macierzą. Wartość ta dostarcza między innymi informacji o odwracalności macierzy, liniowej zależności jej wierszy i kolumn oraz o zmianie skali objętości podczas przekształcenia liniowego. Wyznacznik równy zero oznacza, że macierz jest osobliwa i nie ma klasycznej macierzy odwrotnej.

Dla macierzy 4×4 mogą wystąpić trzy podstawowe sytuacje:

[
\det(A)>0,
]

[
\det(A)<0
]

albo:

[
\det(A)=0.
]

Znak wyniku ma znaczenie geometryczne, natomiast jego wartość bezwzględna opisuje współczynnik zmiany czterowymiarowej objętości przez odpowiadające macierzy przekształcenie.

Jak obliczyć wyznacznik macierzy 4×4?

Najczęściej stosuje się dwie metody:

1. rozwinięcie Laplace’a względem wybranego wiersza lub kolumny,
2. sprowadzenie macierzy do postaci trójkątnej.

Rozwinięcie Laplace’a jest uniwersalne i łatwe do zapisania, ale może wymagać wielu działań. Metoda eliminacji jest zwykle szybsza, szczególnie gdy macierz nie zawiera wielu zer.

Metoda	Kiedy jest najwygodniejsza?	Główna trudność
Rozwinięcie Laplace’a	Wiersz lub kolumna zawiera dużo zer	Znaki algebraiczne i kilka wyznaczników 3×3
Postać trójkątna	Macierz jest gęsto wypełniona liczbami	Trzeba kontrolować wpływ operacji na wyznacznik
Własności wyznacznika	Wiersze lub kolumny mają wyraźne zależności	Trzeba zauważyć odpowiednie uproszczenie
Kalkulator lub program	Kontrola wyniku i duże macierze	Narzędzie nie zastępuje znajomości metody

Wybór odpowiedniego wiersza lub kolumny może znacznie skrócić obliczenia. Przy rozwinięciu przez minory zazwyczaj wybiera się ten wiersz albo tę kolumnę, w której znajduje się najwięcej zer. Każdy zerowy element usuwa bowiem jeden składnik rozwinięcia.

Wyznacznik macierzy 4×4 metodą Laplace’a

Rozwinięcie Laplace’a polega na wybraniu jednego wiersza lub jednej kolumny, a następnie zastąpieniu wyznacznika 4×4 sumą wyznaczników 3×3.

Dla rozwinięcia względem (i)-tego wiersza obowiązuje wzór:

[
\det(A)=
a_{i1}C_{i1}
+a_{i2}C_{i2}
+a_{i3}C_{i3}
+a_{i4}C_{i4},
]

gdzie (C_{ij}) jest dopełnieniem algebraicznym elementu (a_{ij}):

[
C_{ij}=(-1)^{i+j}M_{ij}.
]

Symbol (M_{ij}) oznacza minor, czyli wyznacznik macierzy 3×3 powstałej po wykreśleniu (i)-tego wiersza i (j)-tej kolumny.

Układ znaków w rozwinięciu Laplace’a

Znaki dopełnień algebraicznych tworzą szachownicę:

[
\begin{bmatrix}
+&-&+&-\
-&+&-&+\
+&-&+&-\
-&+&-&+
\end{bmatrix}.
]

Pierwszy element ma znak dodatni. Kolejne znaki występują naprzemiennie zarówno w wierszach, jak i w kolumnach.

Rozwijając wyznacznik względem pierwszego wiersza, otrzymujemy więc:

[
\det(A)

a_{11}M_{11}
-a_{12}M_{12}
+a_{13}M_{13}
-a_{14}M_{14}.
]

Przy rozwinięciu względem drugiego wiersza znaki będą miały kolejność:

[
-,+,-,+.
]

Pominięcie znaku ((-1)^{i+j}) jest jednym z najczęstszych powodów uzyskania błędnego wyniku.

Wyznacznik macierzy 4×4 krok po kroku – przykład metodą Laplace’a

Obliczmy wyznacznik macierzy:

[
A=
\begin{bmatrix}
1&0&2&0\
0&3&1&0\
2&0&1&1\
0&1&0&2
\end{bmatrix}.
]

Pierwszy wiersz zawiera dwa zera, dlatego warto rozwinąć wyznacznik właśnie względem niego.

Schemat znaków dla pierwszego wiersza to:

[
+,-,+,-.
]

Otrzymujemy:

[
\det(A)

1\cdot M_{11}
-0\cdot M_{12}
+2\cdot M_{13}
-0\cdot M_{14}.
]

Składniki zawierające zera można od razu pominąć:

[
\det(A)=M_{11}+2M_{13}.
]

Krok 1. Obliczenie minora (M_{11})

Wykreślamy pierwszy wiersz i pierwszą kolumnę:

[
M_{11}

\begin{vmatrix}
3&1&0\
0&1&1\
1&0&2
\end{vmatrix}.
]

Rozwijamy ten wyznacznik względem pierwszego wiersza:

[
M_{11}

3
\begin{vmatrix}
1&1\
0&2
\end{vmatrix}

1
\begin{vmatrix}
0&1\
1&2
\end{vmatrix}
+
0
\begin{vmatrix}
0&1\
1&0
\end{vmatrix}.
]

Obliczamy wyznaczniki 2×2:

[
\begin{vmatrix}
1&1\
0&2
\end{vmatrix}

1\cdot2-1\cdot0=2,
]

[
\begin{vmatrix}
0&1\
1&2
\end{vmatrix}

0\cdot2-1\cdot1=-1.
]

Zatem:

[
M_{11}=3\cdot2-1\cdot(-1)=6+1=7.
]

Krok 2. Obliczenie minora (M_{13})

Wykreślamy pierwszy wiersz i trzecią kolumnę:

[
M_{13}

\begin{vmatrix}
0&3&0\
2&0&1\
0&1&2
\end{vmatrix}.
]

Najwygodniej rozwinąć ten wyznacznik względem pierwszego wiersza. Jedynym niezerowym elementem jest liczba 3 znajdująca się na pozycji ((1,2)), której odpowiada znak ujemny:

[
M_{13}

-3
\begin{vmatrix}
2&1\
0&2
\end{vmatrix}.
]

Wyznacznik 2×2 wynosi:

[
\begin{vmatrix}
2&1\
0&2
\end{vmatrix}

2\cdot2-1\cdot0=4.
]

Zatem:

[
M_{13}=-3\cdot4=-12.
]

Krok 3. Złożenie wyniku

Wracamy do rozwinięcia wyznacznika 4×4:

[
\det(A)=M_{11}+2M_{13}.
]

Podstawiamy wartości:

[
\det(A)=7+2\cdot(-12).
]

[
\det(A)=7-24=-17.
]

Ostateczny wynik:

[
\boxed{\det(A)=-17}.
]

Ponieważ wyznacznik jest różny od zera, macierz jest nieosobliwa, ma pełny rząd i posiada macierz odwrotną.

Jak wybrać najlepszy wiersz lub kolumnę?

Rozwinięcie Laplace’a można wykonać względem dowolnego wiersza lub dowolnej kolumny. Wynik zawsze będzie taki sam, ale liczba potrzebnych działań może się znacznie różnić.

Najlepiej wybrać:

• wiersz z największą liczbą zer,
• kolumnę z największą liczbą zer,
• wiersz lub kolumnę zawierającą liczby 1 albo (-1),
• część macierzy prowadzącą do prostych minorów 3×3.

Jeżeli wybrany wiersz zawiera trzy zera, trzeba obliczyć tylko jeden wyznacznik 3×3. Gdy nie ma w nim żadnego zera, powstaną cztery wyznaczniki 3×3.

Przykładowo dla wiersza:

[
[0,0,5,0]
]

rozwinięcie zawiera tylko jeden niezerowy składnik. Dla wiersza:

[
[2,3,4,5]
]

trzeba obliczyć cztery minory.

Wybór wiersza lub kolumny nie jest więc częścią definicji wyniku, ale decyzją rachunkową, która może znacząco uprościć rozwiązanie.

Czy można użyć reguły Sarrusa do macierzy 4×4?

Reguła Sarrusa działa wyłącznie dla wyznaczników 3×3. Nie można dopisywać kolejnych kolumn do macierzy 4×4 i stosować analogicznego schematu przekątnych.

Poprawne zastosowanie Sarrusa w zadaniu z macierzą 4×4 wygląda następująco:

1. rozwijamy wyznacznik 4×4 metodą Laplace’a,
2. otrzymujemy wyznaczniki 3×3,
3. każdy wyznacznik 3×3 możemy obliczyć regułą Sarrusa.

Nie istnieje standardowa „reguła Sarrusa 4×4”. Próba jej mechanicznego rozszerzenia prowadzi do pominięcia części składników, ponieważ ogólny wzór dla macierzy 4×4 zawiera 24 odpowiednio oznaczone iloczyny.

Dlaczego pełny wzór dla macierzy 4×4 jest niewygodny?

Ogólny wzór Leibniza dla wyznacznika macierzy (n\times n) zawiera:

[
n!
]

składników.

Dla macierzy 4×4 jest ich:

[
4!=4\cdot3\cdot2\cdot1=24.
]

Każdy składnik jest iloczynem czterech elementów macierzy i ma znak dodatni albo ujemny zależny od odpowiedniej permutacji.

Pełne rozwinięcie jest poprawne matematycznie, ale przy obliczeniach ręcznych ma kilka wad:

• łatwo pominąć jeden z 24 składników,
• trudno kontrolować znaki,
• zapis zajmuje dużo miejsca,
• metoda nie wykorzystuje zer i zależności między wierszami,
• sprawdzenie wyniku jest uciążliwe.

Z tego powodu w praktyce wyznacznik macierzy 4×4 oblicza się najczęściej przez rozwinięcie Laplace’a albo przekształcenie do postaci trójkątnej. W przypadku bardziej złożonych macierzy narzędzia numeryczne wykorzystują zwykle rozkłady macierzy, a nie bezpośrednie wypisywanie wszystkich składników.

Wyznacznik macierzy 4×4 metodą eliminacji Gaussa

Drugą podstawową metodą jest sprowadzenie macierzy do postaci górnotrójkątnej:

[
U=
\begin{bmatrix}
u_{11}&u_{12}&u_{13}&u_{14}\
0&u_{22}&u_{23}&u_{24}\
0&0&u_{33}&u_{34}\
0&0&0&u_{44}
\end{bmatrix}.
]

Wyznacznik macierzy trójkątnej jest równy iloczynowi elementów głównej przekątnej:

[
\det(U)=u_{11}u_{22}u_{33}u_{44}.
]

Trzeba jednak kontrolować, w jaki sposób wykonywane operacje wierszowe zmieniają wyznacznik. Khan Academy przedstawia obliczanie wyznacznika 4×4 właśnie przez sprowadzenie macierzy do postaci trójkątnej.

Wpływ operacji na wyznacznik

Operacja na wierszach	Wpływ na wyznacznik
Dodanie wielokrotności jednego wiersza do innego	Nie zmienia wyznacznika
Zamiana dwóch wierszy miejscami	Zmienia znak wyznacznika
Pomnożenie wiersza przez liczbę (k)	Mnoży wyznacznik przez (k)
Podzielenie wiersza przez (k)	Dzieli wyznacznik przez (k)

Najbezpieczniej wykonywać przede wszystkim operacje typu:

[
W_j\leftarrow W_j+kW_i,
]

ponieważ nie zmieniają one wyznacznika.

Przykład obliczenia przez postać tr