证明矩阵 对于是正定的，而雅可比迭代只对是收敛的。