循环不变式解决办法

循环不变式
为什么循环不变式能证明算法的正确性呢,怎么去理解啊

------解决方案--------------------
循环不变式其实和 数学归纳法 是一回事