Note so
Thus we need to prove
Let be an eigenvalue of .
Then
where the second line is obtained by multiplying by
Let
Suppose
Then is also strictly diagonally dominant.
So has evals with strictly positive real part by Gershgorin Theorem.
This is a contradiction, thus
So .
Theorem
If both and are symmetric positive definite, then Jacobi method converges