Found problems: 963
2017 Singapore Senior Math Olympiad, 5
Given $7$ distinct positive integers, prove that there is an infinite arithmetic progression of positive integers $a, a + d, a + 2d,..$ with $a < d$, that contains exactly $3$ or $4$ of the $7$ given integers.
2001 BAMO, 5
For each positive integer $n$, let $a_n$ be the number of permutations $\tau$ of $\{1, 2, ... , n\}$ such that $\tau (\tau (\tau (x))) = x$ for $x = 1, 2, ..., n$. The first few values are $a_1 = 1, a_2 = 1, a_3 = 3, a_4 = 9$.
Prove that $3^{334}$ divides $a_{2001}$.
(A permutation of $\{1, 2, ... , n\}$ is a rearrangement of the numbers $\{1, 2, ... , n\}$ or equivalently, a one-to-one and
onto function from $\{1, 2, ... , n\}$ to $\{1, 2, ... , n\}$. For example, one permutation of $\{1, 2, 3\}$ is the rearrangement $\{2, 1, 3\}$, which is equivalent to the function $\sigma : \{1, 2, 3\} \to \{1, 2, 3\}$ defined by $\sigma (1) = 2, \sigma (2) = 1, \sigma (3) = 3$.)
2024 Korea Summer Program Practice Test, 6
Does there exist a real sequence $\{a_n\}_{n=1}^\infty$ such that
$$a_na_{n+1}\ge a_{n+2}^2 +1$$
for all $n\ge 1$?
1978 Germany Team Selection Test, 4
Let $B$ be a set of $k$ sequences each having $n$ terms equal to $1$ or $-1$. The product of two such sequences $(a_1, a_2, \ldots , a_n)$ and $(b_1, b_2, \ldots , b_n)$ is defined as $(a_1b_1, a_2b_2, \ldots , a_nb_n)$. Prove that there exists a sequence $(c_1, c_2, \ldots , c_n)$ such that the intersection of $B$ and the set containing all sequences from $B$ multiplied by $(c_1, c_2, \ldots , c_n)$ contains at most $\frac{k^2}{2^n}$ sequences.
2017 Bundeswettbewerb Mathematik, 4
The sequence $a_0,a_1,a_2,\dots$ is recursively defined by \[ a_0 = 1 \quad \text{and} \quad a_n = a_{n-1} \cdot \left(4-\frac{2}{n} \right) \quad \text{for } n \geq 1. \] Prove for each integer $n \geq 1$:
(a) The number $a_n$ is a positive integer.
(b) Each prime $p$ with $n < p \leq 2n$ is a divisor of $a_n$.
(c) If $n$ is a prime, then $a_n-2$ is divisible by $n$.
1966 IMO Longlists, 42
Given a finite sequence of integers $a_{1},$ $a_{2},$ $...,$ $a_{n}$ for $n\geq 2.$ Show that there exists a subsequence $a_{k_{1}},$ $a_{k_{2}},$ $...,$ $a_{k_{m}},$ where $1\leq k_{1}\leq k_{2}\leq...\leq k_{m}\leq n,$ such that the number $a_{k_{1}}^{2}+a_{k_{2}}^{2}+...+a_{k_{m}}^{2}$ is divisible by
$n.$
[b]Note by Darij:[/b] Of course, the $1\leq k_{1}\leq k_{2}\leq ...\leq k_{m}\leq n$ should be understood as $1\leq k_{1}<k_{2}<...<k_{m}\leq n;$ else, we could take $m=n$ and $k_{1}=k_{2}=...=k_{m},$ so that the number $a_{k_{1}}^{2}+a_{k_{2}}^{2}+...+a_{k_{m}}^{2}=n^{2}a_{k_{1}}^{2}$ will surely be divisible by $n.$
2020 JBMO Shortlist, 2
Consider the sequence $a_1, a_2, a_3, ...$ defined by $a_1 = 9$ and
$a_{n + 1} = \frac{(n + 5)a_n + 22}{n + 3}$
for $n \ge 1$.
Find all natural numbers $n$ for which $a_n$ is a perfect square of an integer.
2015 Estonia Team Selection Test, 12
Call an $n$-tuple $(a_1, . . . , a_n)$ [i]occasionally periodic [/i] if there exist a nonnegative integer $i$ and a positive integer $p$ satisfying $i + 2p \le n$ and $a_{i+j} = a_{i+p+j}$ for every $j = 1, 2, . . . , p$. Let $k$ be a positive integer. Find the least positive integer $n$ for which there exists an $n$-tuple $(a_1, . . . , a_n)$ with elements from set $\{1, 2, . . . , k\}$, which is not occasionally periodic but whose arbitrary extension $(a_1, . . . , a_n, a_{n+1})$ is occasionally periodic for any $a_{n+1} \in \{1, 2, . . . , k\}$.
2009 Brazil Team Selection Test, 3
Let $ a_1$, $ a_2$, $ \ldots$, $ a_n$ be distinct positive integers, $ n\ge 3$. Prove that there exist distinct indices $ i$ and $ j$ such that $ a_i \plus{} a_j$ does not divide any of the numbers $ 3a_1$, $ 3a_2$, $ \ldots$, $ 3a_n$.
[i]Proposed by Mohsen Jamaali, Iran[/i]
1993 Romania Team Selection Test, 1
Define the sequence ($x_n$) as follows: the first term is $1$, the next two are $2,4$, the next three are $5,7,9$, the next four are $10,12,14,16$, and so on. Express $x_n$ as a function of $n$.
2015 Saudi Arabia GMO TST, 1
Let be given the sequence $(x_n)$ defined by $x_1 = 1$ and $x_{n+1} = 3x_n + \lfloor x_n \sqrt5 \rfloor$ for all $n = 1,2,3,...,$ where $\lfloor x \rfloor$ denotes the greatest integer that does not exceed $x$. Prove that for any positive integer $n$ we have $$x_nx_{n+2} - x^2_{n+1} = 4^{n-1}$$
Trần Nam Dũng
2016 Turkey EGMO TST, 5
A sequence $a_1, a_2, \ldots $ consisting of $1$'s and $0$'s satisfies for all $k>2016$ that
\[ a_k=0 \quad \Longleftrightarrow \quad a_{k-1}+a_{k-2}+\cdots+a_{k-2016}>23. \]
Prove that there exist positive integers $N$ and $T$ such that $a_k=a_{k+T}$ for all $k>N$.
1993 Swedish Mathematical Competition, 5
A triangle with sides $a,b,c$ and perimeter $2p$ is given. Is possible, a new triangle with sides $p-a$, $p-b$, $p-c$ is formed. The process is then repeated with the new triangle. For which original triangles can this process be repeated indefinitely?
2021 Olimphíada, 1
The sequence of reals $a_1, a_2, a_3, \ldots$ is defined recursively by the recurrence:
$$\dfrac{a_{n+1}}{a_n} - 3 = a_n(a_n - 3)$$ Given that $a_{2021} = 2021$, find $a_1$.
2009 Kyiv Mathematical Festival, 5
a) Suppose that a sequence of numbers $x_1,x_2,x_3,...$ satisfies the inequality $x_n-2x_{n+1}+x_{n+2} \le 0$ for any $n$ . Moreover $x_o=1,x_{20}=9,x_{200}=6$. What is the maximal value of $x_{2009}$ can be?
b) Suppose that a sequence of numbers $x_1,x_2,x_3,...$ satisfies the inequality $2x_n-3x_{n+1}+x_{n+2} \le 0$ for any $n$. Moreover $x_o=1,x_1=2,x_3=1$. Can $x_{2009}$ be greater then $0,678$ ?
2007 India IMO Training Camp, 1
A sequence of real numbers $ a_{0},\ a_{1},\ a_{2},\dots$ is defined by the formula
\[ a_{i \plus{} 1} \equal{} \left\lfloor a_{i}\right\rfloor\cdot \left\langle a_{i}\right\rangle\qquad\text{for}\quad i\geq 0;
\]here $a_0$ is an arbitrary real number, $\lfloor a_i\rfloor$ denotes the greatest integer not exceeding $a_i$, and $\left\langle a_i\right\rangle=a_i-\lfloor a_i\rfloor$. Prove that $a_i=a_{i+2}$ for $i$ sufficiently large.
[i]Proposed by Harmel Nestra, Estionia[/i]
2020 Regional Olympiad of Mexico Southeast, 6
Prove that for all $a, b$ and $x_0$ positive integers, in the sequence $x_1, x_2, x_3, \cdots$ defined by
$$x_{n+1}=ax_n+b, n\geq 0$$
Exist an $x_i$ that is not prime for some $i\geq 1$
2024 Singapore Senior Math Olympiad, Q5
Let $a_1,a_2,\dots$ be a sequence of positive numbers satisfying, for any positive integers $k,l,m,n$ such that $k+n=m+l$, $$\frac{a_k+a_n}{1+a_ka_n}=\frac{a_m+a_l}{1+a_ma_l}.$$Show that there exist positive numbers $b,c$ so that $b\le a_n\le c$ for any positive integer $n$.
2012 India IMO Training Camp, 1
Determine all sequences $(x_1,x_2,\ldots,x_{2011})$ of positive integers, such that for every positive integer $n$ there exists an integer $a$ with \[\sum^{2011}_{j=1} j x^n_j = a^{n+1} + 1\]
[i]Proposed by Warut Suksompong, Thailand[/i]
1995 IMO Shortlist, 2
Find the maximum value of $ x_{0}$ for which there exists a sequence $ x_{0},x_{1}\cdots ,x_{1995}$ of positive reals with $ x_{0} \equal{} x_{1995}$, such that
\[ x_{i \minus{} 1} \plus{} \frac {2}{x_{i \minus{} 1}} \equal{} 2x_{i} \plus{} \frac {1}{x_{i}},
\]
for all $ i \equal{} 1,\cdots ,1995$.
2000 Moldova Team Selection Test, 9
The sequence $x_{n}$ is de fined by:
$x_{0}=1, x_{1}=0, x_{2}=1,x_{3}=1, x_{n+3}=\frac{(n^2+n+1)(n+1)}{n}x_{n+2}+(n^2+n+1)x_{n+1}-\frac{n+1}{n}x_{n} (n=1,2,3..)$
Prove that all members of the sequence are perfect squares.
2018 Iran Team Selection Test, 6
$a_1,a_2,\ldots,a_n$ is a sequence of positive integers that has at least $\frac {2n}{3}+1$ distinct numbers and each positive integer has occurred at most three times in it. Prove that there exists a permutation $b_1,b_2,\ldots,b_n$ of $a_i $'s such that all the $n$ sums $b_i+b_{i+1}$ are distinct ($1\le i\le n $ , $b_{n+1}\equiv b_1 $)
[i]Proposed by Mohsen Jamali[/i]
2006 IMO Shortlist, 3
We define a sequence $ \left(a_{1},a_{2},a_{3},\ldots \right)$ by
\[ a_{n} \equal{} \frac {1}{n}\left(\left\lfloor\frac {n}{1}\right\rfloor \plus{} \left\lfloor\frac {n}{2}\right\rfloor \plus{} \cdots \plus{} \left\lfloor\frac {n}{n}\right\rfloor\right),
\] where $\lfloor x\rfloor$ denotes the integer part of $x$.
[b]a)[/b] Prove that $a_{n+1}>a_n$ infinitely often.
[b]b)[/b] Prove that $a_{n+1}<a_n$ infinitely often.
[i]Proposed by Johan Meyer, South Africa[/i]
1998 Abels Math Contest (Norwegian MO), 1
Let $a_0,a_1,a_2,...$ be an infinite sequence of positive integers such that $a_0 = 1$ and $a_i^2 > a_{i-1}a_{i+1}$ for all $i > 0$.
(a) Prove that $a_i < a_1^i$ for all $i > 1$.
(b) Prove that $a_i > i$ for all $i$.
2022 Belarusian National Olympiad, 11.1
A sequence of positive integer numbers $a_1,a_2,\ldots$ for $i \geq 3$ satisfies $$a_{i+1}=a_i+gcd(a_{i-1},a_{i-2})$$
Prove that there exist two positive integer numbers $N, M$, such that $a_{n+1}-a_n=M$ for all $n \geq N$