Maths Olympiad Prep

Library / /4 of 45

Algebra Difficulty 4.9 AIME Prove it Romania

Find all functions f:NNf : \mathbb{N}^* \to \mathbb{N}^* such that
f(n)+f(n+1)+f(f(n))=3n+1, for all nN. f(n) + f(n+1) + f(f(n)) = 3n + 1, \text{ for all } n \in \mathbb{N}^*.

Solution

From f(1)+f(2)+f(f(1))=4f(1) + f(2) + f(f(1)) = 4 follows f(1){1,2}f(1) \in \{1, 2\}.

If f(1)=1f(1) = 1, then f(2)=2f(2) = 2 and an easy induction shows that f(n)=nf(n) = n.

If f(1)=2f(1) = 2, then f(2)=1f(2) = 1 and, inductively,
f(n)={n+1,if n is oddn1,if n is even. f(n) = \begin{cases} n + 1, & \text{if } n \text{ is odd} \\ n - 1, & \text{if } n \text{ is even} \end{cases}.
Both the above found functions fulfill the initial condition.

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 and solution reproduced as published; topic and difficulty added by this site.