证明 因为P(B)≤B<1,所以迭代格式 (1.2)收敛。其次，由关系式 X(k)-X'=B(X(k-D-X) 有 xw-XI例X--X s到4lx-X-+w-xD =1-x+1x-x 从而有 Xw-Xl-B恥≤Bx-x-g 因此有 -X高- (1.7) ( ) * ( 1) * ( ) k k X X B X X − − = − 证明 因为 ，所以迭代格式 （1.2）收敛。其次，由关系式 ( ) 1 B B   从而有 ( ) * ( ) ( 1) (1 ) . , k k k X X B B X X − − −  − 有 ( ) * ( 1) * . k k X X B X X − −  − ( ) ( ) * ( 1) .( ) k k k B X X X X −  − + − ( ) ( 1) ( ) * . . , k k k B X X B X X − = − + − 因此有 ( ) * ( ) ( 1) , 1 k k k B X X X X B − −  − − （1.7）