Found problems: 24
1992 IMO Longlists, 7
Let $X$ be a bounded, nonempty set of points in the Cartesian plane. Let $f(X)$ be the set of all points that are at a distance of at most $1$ from some point in $X$. Let $f_n(X) = f(f(\cdots(f(X))\cdots))$ ($n$ times). Show that $f_n(X)$ becomes “more circular” as $n$ gets larger.
In other words, if $r_n = \sup\{\text{radii of circles contained in } f_n(X) \}$ and $R_n = \inf \{\text{radii of circles containing } f_n(X)\}$, then show that $R_n/r_n$ gets arbitrarily close to $1$ as $n$ becomes arbitrarily large.
[hide]I'm not sure that I'm posting this in a right forum. If it's in a wrong forum, please mods move it.[/hide]
2021 Saudi Arabia IMO TST, 6
Find all functions $f : \mathbb{Z}\rightarrow \mathbb{Z}$ satisfying
\[f^{a^{2} + b^{2}}(a+b) = af(a) +bf(b)\]
for all integers $a$ and $b$
2018 China Team Selection Test, 6
Let $M,a,b,r$ be non-negative integers with $a,r\ge 2$, and suppose there exists a function $f:\mathbb{Z}\rightarrow\mathbb{Z}$ satisfying the following conditions:
(1) For all $n\in \mathbb{Z}$, $f^{(r)}(n)=an+b$ where $f^{(r)}$ denotes the composition of $r$ copies of $f$
(2) For all $n\ge M$, $f(n)\ge 0$
(3) For all $n>m>M$, $n-m|f(n)-f(m)$
Show that $a$ is a perfect $r$-th power.
1990 IMO Shortlist, 26
Let $ p(x)$ be a cubic polynomial with rational coefficients. $ q_1$, $ q_2$, $ q_3$, ... is a sequence of rationals such that $ q_n \equal{} p(q_{n \plus{} 1})$ for all positive $ n$. Show that for some $ k$, we have $ q_{n \plus{} k} \equal{} q_n$ for all positive $ n$.
2021 Thailand TST, 3
Find all functions $f : \mathbb{Z}\rightarrow \mathbb{Z}$ satisfying
\[f^{a^{2} + b^{2}}(a+b) = af(a) +bf(b)\]
for all integers $a$ and $b$
2017 Bosnia and Herzegovina EGMO TST, 1
It is given sequence wih length of $2017$ which consists of first $2017$ positive integers in arbitrary order (every number occus exactly once). Let us consider a first term from sequence, let it be $k$. From given sequence we form a new sequence of length 2017, such that first $k$ elements of new sequence are same as first $k$ elements of original sequence, but in reverse order while other elements stay unchanged. Prove that if we continue transforming a sequence, eventually we will have sequence with first element $1$.
2000 District Olympiad (Hunedoara), 2
[b]a)[/b] Let $ a,b $ two non-negative integers such that $ a^2>b. $ Show that the equation
$$ \left\lfloor\sqrt{x^2+2ax+b}\right\rfloor =x+a-1 $$
has an infinite number of solutions in the non-negative integers. Here, $ \lfloor\alpha\rfloor $ denotes the floor of $ \alpha. $
[b]b)[/b] Find the floor of $ m=\sqrt{2+\sqrt{2+\underbrace{\cdots}_{\text{n times}}+\sqrt{2}}} , $ where $ n $ is a natural number. Justify.
2014 Bosnia and Herzegovina Junior BMO TST, 4
It is given $5$ numbers $1$, $3$, $5$, $7$, $9$. We get the new $5$ numbers such that we take arbitrary $4$ numbers(out of current $5$ numbers) $a$, $b$, $c$ and $d$ and replace them with $\frac{a+b+c-d}{2}$, $\frac{a+b-c+d}{2}$, $\frac{a-b+c+d}{2}$ and $\frac{-a+b+c+d}{2}$. Can we, with repeated iterations, get numbers:
$a)$ $0$, $2$, $4$, $6$ and $8$
$b)$ $3$, $4$, $5$, $6$ and $7$
2020 IMO Shortlist, A6
Find all functions $f : \mathbb{Z}\rightarrow \mathbb{Z}$ satisfying
\[f^{a^{2} + b^{2}}(a+b) = af(a) +bf(b)\]
for all integers $a$ and $b$
1976 IMO Longlists, 29
Let $I = (0, 1]$ be the unit interval of the real line. For a given number $a \in (0, 1)$ we define a map $T : I \to I$ by the formula
if
\[ T (x, y) = \begin{cases} x + (1 - a),&\mbox{ if } 0< x \leq a,\\ \text{ } \\ x - a, & \mbox{ if } a < x \leq 1.\end{cases} \]
Show that for every interval $J \subset I$ there exists an integer $n > 0$ such that $T^n(J) \cap J \neq \emptyset.$
2018 Pan-African Shortlist, A7
Let $f(n) = n + \lfloor \sqrt{n} \rfloor$. Prove that for every positive integer $m$, the integer sequence $m, f(m), f(f(m)), \dots$ contains at least one square of an integer.
2018 China Team Selection Test, 6
Let $M,a,b,r$ be non-negative integers with $a,r\ge 2$, and suppose there exists a function $f:\mathbb{Z}\rightarrow\mathbb{Z}$ satisfying the following conditions:
(1) For all $n\in \mathbb{Z}$, $f^{(r)}(n)=an+b$ where $f^{(r)}$ denotes the composition of $r$ copies of $f$
(2) For all $n\ge M$, $f(n)\ge 0$
(3) For all $n>m>M$, $n-m|f(n)-f(m)$
Show that $a$ is a perfect $r$-th power.
2003 Bosnia and Herzegovina Team Selection Test, 1
Board has written numbers: $5$, $7$ and $9$. In every step we do the following: for every pair $(a,b)$, $a>b$ numbers from the board, we also write the number $5a-4b$. Is it possible that after some iterations, $2003$ occurs at the board ?
2025 Euler Olympiad, Round 2, 6
For any subset $S \subseteq \mathbb{Z}^+$, a function $f : S \to S$ is called [i]interesting[/i] if the following two conditions hold:
[b]1.[/b] There is no element $a \in S$ such that $f(a) = a$.
[b]2.[/b] For every $a \in S$, we have $f^{f(a) + 1}(a) = a$ (where $f^{k}$ denotes the $k$-th iteration of $f$).
Prove that:
[b]a) [/b]There exist infinitely many interesting functions $f : \mathbb{Z}^+ \to \mathbb{Z}^+$.
[b]b) [/b]There exist infinitely many positive integers $n$ for which there is no interesting function
$$
f : \{1, 2, \ldots, n\} \to \{1, 2, \ldots, n\}.
$$
[i]Proposed by Giorgi Kekenadze, Georgia[/i]
1993 IMO Shortlist, 5
Let $S$ be the set of all pairs $(m,n)$ of relatively prime positive integers $m,n$ with $n$ even and $m < n.$ For $s = (m,n) \in S$ write $n = 2^k \cdot n_o$ where $k, n_0$ are positive integers with $n_0$ odd and define \[ f(s) = (n_0, m + n - n_0). \] Prove that $f$ is a function from $S$ to $S$ and that for each $s = (m,n) \in S,$ there exists a positive integer $t \leq \frac{m+n+1}{4}$ such that \[ f^t(s) = s, \] where \[ f^t(s) = \underbrace{ (f \circ f \circ \cdots \circ f) }_{t \text{ times}}(s). \]
If $m+n$ is a prime number which does not divide $2^k - 1$ for $k = 1,2, \ldots, m+n-2,$ prove that the smallest value $t$ which satisfies the above conditions is $\left [\frac{m+n+1}{4} \right ]$ where $\left[ x \right]$ denotes the greatest integer $\leq x.$
2019 CMI B.Sc. Entrance Exam, 5
Three positive reals $x , y , z $ satisfy \\
$x^2 + y^2 = 3^2 \\
y^2 + yz + z^2 = 4^2 \\
x^2 + \sqrt{3}xz + z^2 = 5^2 .$ \\
Find the value of $2xy + xz + \sqrt{3}yz$
1992 IMO Shortlist, 9
Let $ f(x)$ be a polynomial with rational coefficients and $ \alpha$ be a real number such that \[ \alpha^3 \minus{} \alpha \equal{} [f(\alpha)]^3 \minus{} f(\alpha) \equal{} 33^{1992}.\] Prove that for each $ n \geq 1,$ \[ \left [ f^{n}(\alpha) \right]^3 \minus{} f^{n}(\alpha) \equal{} 33^{1992},\] where $ f^{n}(x) \equal{} f(f(\cdots f(x))),$ and $ n$ is a positive integer.
1995 IMO Shortlist, 3
For an integer $x \geq 1$, let $p(x)$ be the least prime that does not divide $x$, and define $q(x)$ to be the product of all primes less than $p(x)$. In particular, $p(1) = 2.$ For $x$ having $p(x) = 2$, define $q(x) = 1$. Consider the sequence $x_0, x_1, x_2, \ldots$ defined by $x_0 = 1$ and \[ x_{n+1} = \frac{x_n p(x_n)}{q(x_n)} \] for $n \geq 0$. Find all $n$ such that $x_n = 1995$.
1990 IMO Longlists, 95
Let $ p(x)$ be a cubic polynomial with rational coefficients. $ q_1$, $ q_2$, $ q_3$, ... is a sequence of rationals such that $ q_n \equal{} p(q_{n \plus{} 1})$ for all positive $ n$. Show that for some $ k$, we have $ q_{n \plus{} k} \equal{} q_n$ for all positive $ n$.
2017-IMOC, A7
Determine all non negative integers $k$ such that there is a function $f : \mathbb{N} \to \mathbb{N}$ that satisfies
\[ f^n(n) = n + k \]
for all $n \in \mathbb{N}$
1992 IMO Longlists, 35
Let $ f(x)$ be a polynomial with rational coefficients and $ \alpha$ be a real number such that \[ \alpha^3 \minus{} \alpha \equal{} [f(\alpha)]^3 \minus{} f(\alpha) \equal{} 33^{1992}.\] Prove that for each $ n \geq 1,$ \[ \left [ f^{n}(\alpha) \right]^3 \minus{} f^{n}(\alpha) \equal{} 33^{1992},\] where $ f^{n}(x) \equal{} f(f(\cdots f(x))),$ and $ n$ is a positive integer.
1976 IMO Shortlist, 7
Let $I = (0, 1]$ be the unit interval of the real line. For a given number $a \in (0, 1)$ we define a map $T : I \to I$ by the formula
if
\[ T (x, y) = \begin{cases} x + (1 - a),&\mbox{ if } 0< x \leq a,\\ \text{ } \\ x - a, & \mbox{ if } a < x \leq 1.\end{cases} \]
Show that for every interval $J \subset I$ there exists an integer $n > 0$ such that $T^n(J) \cap J \neq \emptyset.$
1995 IMO Shortlist, 1
Does there exist a sequence $ F(1), F(2), F(3), \ldots$ of non-negative integers that simultaneously satisfies the following three conditions?
[b](a)[/b] Each of the integers $ 0, 1, 2, \ldots$ occurs in the sequence.
[b](b)[/b] Each positive integer occurs in the sequence infinitely often.
[b](c)[/b] For any $ n \geq 2,$
\[ F(F(n^{163})) \equal{} F(F(n)) \plus{} F(F(361)).
\]
2021 Taiwan TST Round 3, 4
Find all functions $f : \mathbb{Z}\rightarrow \mathbb{Z}$ satisfying
\[f^{a^{2} + b^{2}}(a+b) = af(a) +bf(b)\]
for all integers $a$ and $b$