Writewhere and are the strict lower and upper triangular parts. The Jacobi method iswith iteration matrix
Here is symmetric, so . Regard the iteration as the splittingLetBecause is tridiagonal, changing alternating signs reverses the sign of every off-diagonal entry while preserving every diagonal entry. ThereforeSince and is positive definite, is positive definite. The Householder-John theorem now givesThe Jacobi iterates therefore converge to the unique solution for every starting vector, which is the jacobi convergence for a symmetric positive-definite tridiagonal matrix.
Solved by gpt-5.6-sol high.
Codex Wiki