Chapter

Iteration

A module on repeated application of a function: \(f(f(x))\), fixed points, cycles, involutions, idempotents, and iteration chains.
Log in to track solved progress and bookmarks.

Theory

Key Idea

Iteration means repeated application of a function: \(f^2(x)=f(f(x))\), \(f^3(x)=f(f(f(x)))\). In such problems we track not only \(f(x)\), but the whole chain \(x, f(x), f^2(x), \ldots\). Solutions often use fixed points, cycles, and comparison between cycle length and the size of a finite set.

Basic Facts

If \(f^2(x)=x\), then \(f\) is an involution. If \(f^k(x)=x\), then in a finite permutation the orbit of a point is a cycle whose length divides \(k\). If \(f\) is strictly increasing and \(f^k(x)=x\) for all \(x\), then \(f(x)=x\). For additive functions on \(\mathbb Q\), iteration becomes a power of the coefficient.

When to Use This Method

Use the iteration method when the condition contains \(f(f(x))\), \(f^3(x)\), a fixed point \(f(a)=a\), a cycle, or a statement about returning after repeated application. If the function has the form \(ax+b\), compute \(f^2\), \(f^3\) explicitly. If the set is finite, think in terms of cycle decomposition.

How to Recognise the Method

Signs include: expressions \(f(f(x))\), \(f^k(x)\); a condition \(f(f(x))=x+c\); a request to prove existence of a fixed point; a finite set and an iteration power; an additive function with \(f^2(x)=cx\).

Typical Mistakes

Do not confuse \(f^2(x)\) with \((f(x))^2\). Do not assume that every involution is the identity: for example, \(f(x)=-x\) is also an involution. In finite problems, do not forget cycles of smaller length. In monotonicity problems, compare the whole chain, not just one pair of values.

Mini-checklist

1. What does \(f^k\) mean in this problem? 2. Are there fixed points? 3. Which cycle lengths are possible? 4. Can \(f\) be written as \(ax+b\) or \(cx\)? 5. What happens after applying the condition again? 6. Have all found cycles and special cases been checked?

Examples

Example 1. A Fixed Point Is Forbidden

Sometimes iteration immediately excludes fixed points.

Problem. Let \(f(f(x))=x+1\). Prove that \(f\) has no fixed points.

Solution.

If \(f(a)=a\), then \(f(f(a))=f(a)=a\). But the condition gives \(f(f(a))=a+1\). Thus \(a=a+1\), a contradiction.

Comment. Always check what the condition gives at a fixed point.

Example 2. An Increasing Involution

Monotonicity can remove all nontrivial cycles.

Problem. Let \(f:\mathbb R\to\mathbb R\) be strictly increasing and suppose \(f(f(x))=x\). Prove that \(f(x)=x\).

Solution.

Suppose \(f(a)>a\). Then by increasingness, \(f(f(a))>f(a)\), so \(a>f(a)\), a contradiction. Similarly, if \(f(a)

Comment. The whole chain \(a, f(a), f^2(a)\) is compared.

Example 3. Affine Iteration

For \(ax+b\), compute iterates explicitly.

Problem. Find all \(f(x)=ax+b\) such that \(f(f(x))=x+6\).

Solution.

We have \(f(f(x))=a(ax+b)+b=a^2x+b(a+1)\). Thus \(a^2=1\). If \(a=1\), then \(2b=6\), so \(b=3\). If \(a=-1\), then \(b(a+1)=0\), but we need \(6\), impossible. The answer is \(f(x)=x+3\).

Comment. Affine tasks often reduce to a system for \(a,b\).

Example 4. Additive Iteration

On \(\mathbb Q\), additivity turns iteration into a power of a number.

Problem. Find all additive \(f:\mathbb Q\to\mathbb Q\) such that \(f(f(x))=9x\).

Solution.

Additivity on \(\mathbb Q\) gives \(f(x)=cx\), \(c\in\mathbb Q\). Then \(f(f(x))=c^2x\). Hence \(c^2=9\), so \(c=3\) or \(c=-3\). The answer is \(f(x)=3x\), \(f(x)=-3x\).

Comment. This is the iterative version of the linear Cauchy fact.

Example 5. Finite Cycles

On a finite domain, iteration is described by cycles.

Problem. A permutation \(f\) is given on a set of \(10\) elements, and \(f^3(x)=x\) for all \(x\). Prove that it cannot have no fixed points.

Solution.

The cycles of the permutation have lengths dividing \(3\), so they have length \(1\) or \(3\). If there are no fixed points, all cycles have length \(3\). Then the number of elements must be divisible by \(3\), but \(10\) is not divisible by \(3\). Contradiction.

Comment. This reasoning appears often in olympiad combinatorics and algebra.

Example 6. Polynomial Iteration

A polynomial composed with itself is strongly restricted by degree.

Problem. Find all \(P\in\mathbb R[x]\) such that \(P(P(x))=x\).

Solution.

If \(P\) is constant, impossible. Let \(\deg P=d\). Then \(d^2=1\), hence \(d=1\). Let \(P(x)=ax+b\). We get \(P(P(x))=a^2x+b(a+1)=x\). Thus \(a^2=1\), \(b(a+1)=0\). The answer is \(P(x)=x\) or \(P(x)=-x+b\).

Comment. This is a polynomial involution.

Example 7. Idempotence

The condition \(f(f(x))=f(x)\) is about the image, not necessarily all points.

Problem. Let \(f(f(x))=f(x)\) for all \(x\). Prove that every point in the image of \(f\) is fixed.

Solution.

If \(y\) lies in the image, then \(y=f(x)\) for some \(x\). Hence \(f(y)=f(f(x))=f(x)=y\). Therefore every image point is a fixed point.

Comment. This is useful when the function cannot be fully determined.

Example 8. Strictly Increasing Finite Iteration

One idea works for cycles of any length.

Problem. Let \(f:\mathbb R\to\mathbb R\) be strictly increasing and \(f^k(x)=x\) for all \(x\), where \(k\ge2\). Prove that \(f(x)=x\).

Solution.

If \(f(a)>a\), then increasingness gives \(f^2(a)>f(a)>a\), then \(f^3(a)>f^2(a)\), and so on. Thus \(f^k(a)>a\), contradicting \(f^k(a)=a\). The case \(f(a)

Comment. This is the final template for ordered cycles.

Problems

Problems

#8.1
#8.1

Forbidden Fixed Point

Iteration Grade 10 Grade 11 ★★☆☆☆

Let \(f(f(x))=x+1\) for all \(x\). Prove that there is no \(a\) such that \(f(a)=a\).

Details
Problem: ALG-B3-M08-P001
Difficulty: Level 2 of 5
Tag: Iteration
Grade: Grade 10, Grade 11
#8.2
#8.2

Image of an Idempotent

Iteration Grade 10 Grade 11 ★★☆☆☆

Let \(f(f(x))=f(x)\) for all \(x\). Prove that every element in the image of \(f\) is a fixed point.

Details
Problem: ALG-B3-M08-P002
Difficulty: Level 2 of 5
Tag: Iteration
Grade: Grade 10, Grade 11
#8.3
#8.3

Increasing Involution

Involution Grade 10 Grade 11 ★★☆☆☆

Let \(f:\mathbb R\to\mathbb R\) be strictly increasing and suppose \(f(f(x))=x\). Prove that \(f(x)=x\) for all \(x\).

Details
Problem: ALG-B3-M08-P003
Difficulty: Level 2 of 5
Tag: Involution
Grade: Grade 10, Grade 11
#8.4
#8.4

Affine Involution

Involution Grade 10 Grade 11 ★★☆☆☆

Find all functions \(f(x)=ax+b\) such that \(f(f(x))=x\).

Details
Problem: ALG-B3-M08-P004
Difficulty: Level 2 of 5
Tag: Involution
Grade: Grade 10, Grade 11
#8.5
#8.5

Cycles of Length Three

Cycles Grade 10 Grade 11 ★★☆☆☆

A permutation \(f\) of a set with \(10\) elements satisfies \(f^3(x)=x\) for all \(x\). Prove that it has a fixed point.

Details
Problem: ALG-B3-M08-P005
Difficulty: Level 2 of 5
Tag: Cycles
Grade: Grade 10, Grade 11
#8.6
#8.6

Additive Square

Additive Grade 10 Grade 11 ★★★☆☆

Find all additive \(f:\mathbb Q\to\mathbb Q\) such that \(f(f(x))=4x\).

Details
Problem: ALG-B3-M08-P006
Difficulty: Level 3 of 5
Tag: Additive
Grade: Grade 10, Grade 11
#8.7
#8.7

Additive Cube

Additive Grade 10 Grade 11 ★★★☆☆

Find all additive \(f:\mathbb Q\to\mathbb Q\) such that \(f^3(x)=8x\).

Details
Problem: ALG-B3-M08-P007
Difficulty: Level 3 of 5
Tag: Additive
Grade: Grade 10, Grade 11
#8.8
#8.8

Square as a Shift

Iteration Grade 10 Grade 11 ★★★☆☆

Find all \(f(x)=ax+b\) such that \(f^2(x)=x+6\).

Details
Problem: ALG-B3-M08-P008
Difficulty: Level 3 of 5
Tag: Iteration
Grade: Grade 10, Grade 11
#8.9
#8.9

Cube as a Shift

Iteration Grade 10 Grade 11 ★★★☆☆

Find all \(f(x)=ax+b\) such that \(f^3(x)=x+6\).

Details
Problem: ALG-B3-M08-P009
Difficulty: Level 3 of 5
Tag: Iteration
Grade: Grade 10, Grade 11
#8.10
#8.10

Polynomial Involution

Iteration Grade 10 Grade 11 ★★★☆☆

Find all \(P\in\mathbb R[x]\) such that \(P(P(x))=x\).

Details
Problem: ALG-B3-M08-P010
Difficulty: Level 3 of 5
Tag: Iteration
Grade: Grade 10, Grade 11
#8.11
#8.11

Polynomial Idempotent

Iteration Grade 10 Grade 11 ★★★★☆

Find all \(P\in\mathbb R[x]\) such that \(P(P(x))=P(x)\).

Details
Problem: ALG-B3-M08-P011
Difficulty: Level 4 of 5
Tag: Iteration
Grade: Grade 10, Grade 11
#8.12
#8.12

Without Two-Cycles

Cycles Grade 10 Grade 11 ★★★★☆

A permutation of a set with \(6\) elements satisfies \(f^4(x)=x\). Prove that if it has no fixed points and no cycles of length \(2\), then this is impossible.

Details
Problem: ALG-B3-M08-P012
Difficulty: Level 4 of 5
Tag: Cycles
Grade: Grade 10, Grade 11
#8.13
#8.13

Iteration and Shift on Integers

Recursion Grade 10 Grade 11 ★★★★☆

Let \(f:\mathbb Z\to\mathbb Z\), \(f(n+1)=f(n)+1\), and \(f^2(n)=n+4\). Find \(f(n)\).

Details
Problem: ALG-B3-M08-P013
Difficulty: Level 4 of 5
Tag: Recursion
Grade: Grade 10, Grade 11
#8.14
#8.14

Minimal Growth

Order Grade 10 Grade 11 ★★★★★

Let \(f:\mathbb N\to\mathbb N\), \(f(n)>n\) for all \(n\), and \(f(f(n))=n+2\). Prove that \(f(n)=n+1\).

Details
Problem: ALG-B3-M08-P014
Difficulty: Level 5 of 5
Tag: Order
Grade: Grade 10, Grade 11
#8.15
#8.15

Linear Involution Modulo a Prime

Iteration Grade 10 Grade 11 ★★★★★

Let \(p\) be an odd prime, \(f(x)=ax\) on \(\mathbb Z/p\mathbb Z\), and \(f^2(x)=x\) for all \(x\). Find all possible \(a\).

Details
Problem: ALG-B3-M08-P015
Difficulty: Level 5 of 5
Tag: Iteration
Grade: Grade 10, Grade 11
#8.16
#8.16

Third Polynomial Iteration

Iteration Grade 10 Grade 11 ★★★★★

Find all \(P\in\mathbb R[x]\) such that \(P^3(x)=x\), where \(P^3=P\circ P\circ P\).

Details
Problem: ALG-B3-M08-P016
Difficulty: Level 5 of 5
Tag: Iteration
Grade: Grade 10, Grade 11
#8.17
#8.17

Negative Square

No Solution Grade 10 Grade 11 ★★★★★

Prove that there is no additive \(f:\mathbb Q\to\mathbb Q\) such that \(f(f(x))=-x\) for all \(x\).

Details
Problem: ALG-B3-M08-P017
Difficulty: Level 5 of 5
Tag: No Solution
Grade: Grade 10, Grade 11
#8.18
#8.18

Iteration on the Image

Iteration Grade 10 Grade 11 ★★★★★

Find all \(P\in\mathbb R[x]\) such that \(P(P(x))=P(x)^2\).

Details
Problem: ALG-B3-M08-P018
Difficulty: Level 5 of 5
Tag: Iteration
Grade: Grade 10, Grade 11
#8.19
#8.19

Increasing Cycle of Length Three

Cycles Grade 10 Grade 11 ★★★★★

Let \(f:\mathbb R\to\mathbb R\) be strictly increasing and suppose \(f^3(x)=x\) for all \(x\). Prove that \(f(x)=x\).

Details
Problem: ALG-B3-M08-P019
Difficulty: Level 5 of 5
Tag: Cycles
Grade: Grade 10, Grade 11
#8.20
#8.20

Any Finite Iteration

Cycles Grade 10 Grade 11 ★★★★★

Let \(k\ge2\), \(f:\mathbb R\to\mathbb R\) be strictly increasing, and suppose \(f^k(x)=x\) for all \(x\). Prove that \(f(x)=x\) for all \(x\).

Details
Problem: ALG-B3-M08-P020
Difficulty: Level 5 of 5
Tag: Cycles
Grade: Grade 10, Grade 11

Ladders

No published ladders were found.
Previous Chapter
Next Chapter