| 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 | ||||||||