第 12 章：零点、不动点与迭代求解¶ 本章把连续性转化为三类可核验合同：介值定理提供存在证书，二分法提供区间误差证书， 第二部压缩映射理论提供唯一、迭代收敛与几何误差证书。 学习路径¶ 本章共4个核心单元，8学时（理论6，应用2）。 连续函数怎样保证取遍中间值？ 有固定点是否意味着简单迭代会收敛？ 怎样把有根证明变成误差可证的算法？ 不同存在与计算证书各自保证什么？ 第三部在此结束。本章不引入第四部的方法。