Что такое инвариант цикла?
Короткий ответ
Инвариант цикла - утверждение, которое остается верным перед каждой итерацией. Он помогает объяснить, почему алгоритм дает правильный результат.
Разбор
Например, при суммировании массива перед шагом i переменная sum равна сумме всех предыдущих элементов. После добавления текущего элемента это утверждение остается верным для следующего шага.
Отдельно проверяют завершение: счетчик должен дойти до границы или диапазон должен уменьшаться. Полезные простые случаи - пустой массив, один элемент и последний индекс.