数值9(迭代法收敛性证明)