雅克比迭代收敛充要条件证明