This website contains problems from math contests. Problems and corresponding tags were obtained from the Art of Problem Solving website.

Tags were heavily modified to better represent problems.

AND:
OR:
NO:

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$