Układy Równań Liniowych

Układy równań liniowych pojawiają się wszędzie — w fizyce, ekonomii, informatyce. Zamiast rozwiązywać je "na piechotę" metodą podstawiania, algebra liniowa oferuje nam potężne narzędzia: regułę Cramera, eliminację Gaussa i twierdzenie Kroneckera-Capellego.

1. Układ równań jako problem macierzowy

Każdy układ równań liniowych możemy zapisać w postaci macierzowej $A \cdot X = B$:

$$ \begin{cases} 2x + 3y = 8 \\\\ 4x - y = 2 \end{cases} \quad \Longrightarrow \quad \begin{bmatrix} 2 & 3 \\\\ 4 & -1 \end{bmatrix} \cdot \begin{bmatrix} x \\\\ y \end{bmatrix} = \begin{bmatrix} 8 \\\\ 2 \end{bmatrix} $$

2. Reguła Cramera

Jeśli wyznacznik macierzy współczynników $\det(A) \neq 0$, układ ma dokładnie jedno rozwiązanie dane wzorami:

$$ x_i = \frac{\det(A_i)}{\det(A)} $$

gdzie $A_i$ to macierz $A$ z $i$-tą kolumną zastąpioną wektorem wyrazów wolnych $B$.

Dla układu $2 \times 2$:

$$ x = \frac{\begin{vmatrix} b_1 & a_{12} \\\\ b_2 & a_{22} \end{vmatrix}}{\det(A)}, \quad y = \frac{\begin{vmatrix} a_{11} & b_1 \\\\ a_{21} & b_2 \end{vmatrix}}{\det(A)} $$

3. Eliminacja Gaussa

Metoda uniwersalna, która działa dla układów dowolnego rozmiaru. Polega na sprowadzeniu macierzy rozszerzonej $[A|B]$ do postaci schodkowej za pomocą operacji elementarnych, a następnie rozwiązywaniu od ostatniego wiersza w górę (tzw. back-substitution).

Dozwolone operacje:

Zamiana dwóch wierszy
Pomnożenie wiersza przez stałą $\neq 0$
Dodanie wielokrotności jednego wiersza do drugiego

4. Twierdzenie Kroneckera-Capellego

To twierdzenie odpowiada na pytanie: kiedy układ ma rozwiązanie?

$\text{rz}(A) \neq \text{rz}(A|B)$ → układ jest sprzeczny (brak rozwiązań)
$\text{rz}(A) = \text{rz}(A|B) = n$ → układ jest oznaczony (dokładnie jedno rozwiązanie)
$\text{rz}(A) = \text{rz}(A|B) < n$ → układ jest nieoznaczony (nieskończenie wiele rozwiązań)

5. Układy z parametrem

Gdy w macierzy współczynników pojawia się parametr (np. $m$), wyznacznik staje się funkcją tego parametru. Badamy wtedy, dla jakich wartości $m$ wyznacznik jest zerem (i układ traci jednoznaczność).

Dla dociekliwych: Kiedy układ nie ma rozwiązania?

Geometrycznie, układ dwóch równań z dwiema niewiadomymi to dwie proste na płaszczyźnie. Mają one dokładnie jedno przecięcie (układ oznaczony), pokrywają się (nieskończenie wiele rozwiązań) lub są równoległe (brak rozwiązań). Analogicznie w 3D: trzy równania to trzy płaszczyzny — mogą się przecinać w jednym punkcie, wzdłuż prostej, albo w ogóle nie mieć wspólnego punktu.

Algebraicznie, układ jest sprzeczny, gdy jedno z równań "zaprzecza" informacji z pozostałych — np. po eliminacji Gaussa dostajemy wiersz postaci $[0 \ 0 \ 0 \ | \ 5]$, co oznacza $0 = 5$ — sprzeczność!