f(i) | f(j) | base | |
A | a | c | i |
b | d | j |
base | ||||||
↓ | ← | ← | X = | x | i | |
↓ | ↓ | ← | y | j | ||
f(i) | f(j) | base | ||||
A = | a | c | i | A X = | x a + y c | |
b | d | j | x b + y d |
u | v | base | i | j | base | ||
P = | a' | c' | i | inversion de la matrice P : P−1 = | d'/Δ | −c'/Δ | u |
b' | d' | j | −b'/Δ | a'/Δ | v |
|| | élim. j | || | élim. i | |||||||
u | = | a' | i | + | b' | j | || | × d' | || | × − c' |
v | = | c' | i | + | d' | j | || | × − b' | || | × a' |
u | v | base | |||||||||
↙ | ← | ← | P | a' | c' | i | |||||
↓ | ↙ | ← | b' | d' | j | ||||||
↓ | ↓ | ||||||||||
f(i) | f(j) | base | f(u) | f(v) | base | ||||||
↙ | ← | ← | A | a | c | i | A P | i | |||
↓ | ↙ | ← | b | d | j | j | |||||
↓ | ↓ | ||||||||||
i | j | base | f(u) | f(v) | base | ||||||
P−1 | d'/Δ | −c'/Δ | u | P−1 A P | u | ||||||
−b'/Δ | a'/Δ | v | v |