où Cij la matrice de permutation dont les coefficients (Cij )k,ℓ sont donnés par :
⎧
⎨1 si k = ℓ et k ̸∈ {(M − 1)j + i, (M − 1)i + j},
⎪
(Cij )k,ℓ = 1 si k = (M − 1)j + i, et ℓ = (M − 1)i + j
⎪
⎩
0 dans tous les autres cas.
On en déduit que Y a les mêmes valeurs propres que X, et qu’elle est donc symétrique définie positive.
On en conclut que la méthode des directions alternées avec les choix de X et Y données ci dessus et
α > 0 (en l’occurence ici la direction x puis la direction y) converge.