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

[解决办法]
循环不变式其实和 数学归纳法 是一回事