用高斯－塞德尔方法解Ax=b，用x_i^（k+1）记x^（k+1）的第i个分量，且 （a）证明； （b）如果ε^（k）=x^（k）-x^*，其中x^*是方程组的精确解，求证： 其中。