用迭代法解线性方程组Ax=b时，迭代格式收敛的充分必要条件（）是或（）。