循环不变式

微积分基本原理是小单元划分求解逼近最终数值，实际的算法编写过程都是通过这种不断递进的方式来趋近最终的解决方案（局部左右解）。也就是我们可以认为微积分和计算机算法求解原理是一致的，通过无限的趋近来证明或者求解最终问题。说道求解，那物理规律的描述一般是自然规律的一个总结，是人类长期总结经验结果。对于一个复杂问题的计算机解决一般需要一个物理原理公式的描述和微积分求解过程。微积分求解过程必然涉及初始条件、终止判定和循环不变式三个重要的核心问题。