Oznaczenia:

Układ równań poprawek:

ATA x + ATL = 0,

ATA x = -ATL - oznaczam jako Ux = b

Następnie po dokonaniu redukcji niewiadomych (części niewiadomych układu) -

przyjmuję następujące oznaczenia:

Rx = bR

Układ równań dla 3 grup niewiadomych

0x01 graphic
0x01 graphic
0x01 graphic

0x01 graphic
0x01 graphic

0x01 graphic
0x01 graphic

Po redukcji niewiadomych z grup I i II otrzymujemy

0x01 graphic
0x01 graphic
0x01 graphic
0x01 graphic

Rozpatrzenie układu równań dla niewiadomych z grup I i III

0x01 graphic
- macierz obejmująca tylko obserwacje z 1 wiersza macierzy A

0x01 graphic
0x01 graphic

0x01 graphic
0x01 graphic

Po redukcji niewiadomych z I grupy

0x01 graphic
0x01 graphic

Rozpatrzenie układu równań dla niewiadomych z grup II i III

0x01 graphic
- macierz obejmująca tylko obserwacje z 2 wiersza macierzy A

0x01 graphic
0x01 graphic

0x01 graphic
0x01 graphic

Po redukcji niewiadomych z I grupy

0x01 graphic
0x01 graphic

Porównanie z układem równań dla wszystkich trzech grup

Porównując układy równań rozwiązane dla grup (I, III) oraz (II, III) z pełnym układem równań można zauważyć, że 3 zespół wierszy zredukowanej macierzy U (czyli macierzy R) oraz odpowiedni wektor wyrazów wolnych można wyrazić za pomocą macierzy i wektorów uzyskanych w redukcji dla poszczególnych grup, czyli

0x01 graphic
, 0x01 graphic

Dzięki tym zależnościom po wykonaniu redukcji dla grup (I, III) oraz (II, III) można łatwo obliczyć niewiadome z grupy III (uwzględniając naturalnie tylko 3 zespół wierszy macierzy R).

Po wyliczeniu niewiadomych z grupy łącznej, na podstawie macierzy R1 i R2 uzyskujemy niewiadome z pozostałych grup.