Пример 5. Конечные циклы
В конечной области итерация описывается циклами.
Задача. На множестве из \(10\) элементов задана перестановка \(f\), причём \(f^3(x)=x\) для всех \(x\). Докажите, что если у неё нет неподвижных точек, то это невозможно.
Решение.Циклы перестановки имеют длины, делящие \(3\), то есть \(1\) или \(3\). Если неподвижных точек нет, все циклы имеют длину \(3\). Тогда число элементов должно делиться на \(3\), но \(10\) не делится на \(3\). Противоречие.
Комментарий. Такие рассуждения часто встречаются в олимпиадной комбинаторике и алгебре.