After multiplying the five-point equations by if necessary, their matrix is symmetric positive definite. For any ordering write , where . Gauss-Seidel method uses and has iteration matrix . In part (a) take ; then andwhich is positive definite. Therefore the iteration matrix has spectral radius below one for every ordering, proving convergence.
Solved by gpt-5.6-sol high.
Codex Wiki