Maths Olympiad Prep

Library / /57 of 70

Algebra Difficulty 8.5 Shortlist Prove it Romania

Given a positive integer number kk, define the function ff on the set of all positive integer numbers to itself by

f(n)={1,if nk+1,f(f(n1))+f(nf(n1)),if n>k+1. f(n) = \begin{cases} 1, & \text{if } n \le k+1, \\ f(f(n-1)) + f(n - f(n-1)), & \text{if } n > k+1. \end{cases}

Show that preimage of every positive integer number under ff is a finite non-empty set of consecutive positive integer numbers.

Solution

It is sufficient to show that the difference Δ(n)=f(n)f(n1)\Delta(n) = f(n) - f(n-1) is 0 or 1 for all integer numbers n2n \ge 2, and ff is unbounded.

Clearly, Δ(n)=0\Delta(n) = 0, 2nk+12 \le n \le k+1, provides the basis for an inductive proof. If n>k+1n > k+1, apply the recurrence. By the induction hypothesis, Δ(n1)\Delta(n-1) is 0 or 1 and

1f(n1)n11 \le f(n-1) \le n-1. Notice that Δ(n)=Δ(nf(n1))\Delta(n) = \Delta(n-f(n-1)) if Δ(n1)=0\Delta(n-1) = 0 and Δ(n)=Δ(f(n1))\Delta(n) = \Delta(f(n-1)) if Δ(n1)=1\Delta(n-1) = 1 to conclude that Δ(n)\Delta(n) is indeed 0 or 1.
To show that ff is unbounded, suppose, if possible, that ff achieves its maximum value NN for the first time at mm to deduce recursively that N=f(m+n)=f(N)+f(mN+n)N = f(m+n) = f(N) + f(m-N+n) for all positive integers nn; that is, f(mN+n)=Nf(N)f(m-N+n) = N-f(N), for all positive integers nn. Setting nNn \ge N yields a contradiction: N=Nf(N)N = N-f(N). The conclusion follows.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.