Found problems: 963
2015 Balkan MO Shortlist, N2
Sequence $(a_n)_{n\geq 0}$ is defined as $a_{0}=0, a_1=1, a_2=2, a_3=6$,
and $ a_{n+4}=2a_{n+3}+a_{n+2}-2a_{n+1}-a_n, n\geq 0$.
Prove that $n^2$ divides $a_n$ for infinite $n$.
(Romania)
Mathley 2014-15, 2
Given the sequence $(t_n)$ defined as $t_0 = 0$, $t_1 = 6$, $t_{n + 2} = 14t_{n + 1} - t_n$.
Prove that for every number $n \ge 1$, $t_n$ is the area of a triangle whose lengths are all numbers integers.
Dang Hung Thang, University of Natural Sciences, Hanoi National University.
2016 IFYM, Sozopol, 7
We are given a non-infinite sequence $a_1,a_2…a_n$ of natural numbers. While it is possible, on each turn are chosen two arbitrary indexes $i<j$ such that $a_i \nmid a_j$, and then $a_i$ and $a_j$ are changed with their $gcd$ and $lcm$. Prove that this process is non-infinite and the created sequence doesn’t depend on the made choices.
2023 Brazil National Olympiad, 1
Show an infinite sequence $a_1, a_2, \ldots$ of integers with both of the following properties:
• $a_i \neq 0$ for every positive integer $i$, that is, no term in the sequence is equal to zero;
• for all positive integer $n$, $a_n + a_{2n} + \ldots + a_{2023n} = 0$.
1981 Austrian-Polish Competition, 6
The sequences $(x_n), (y_n), (z_n)$ are given by $x_{n+1}=y_n +\frac{1}{x_n}$,$ y_{n+1}=z_n +\frac{1}{y_n}$,$z_{n+1}=x_n +\frac{1}{z_n} $ for $n \ge 0$ where $x_0,y_0, z_0$ are given positive numbers. Prove that these sequences are unbounded.
1989 Romania Team Selection Test, 2
The sequence ($a_n$) is defined by $a_1 = a_2 = 1, a_3 = 199$ and $a_{n+1} =\frac{1989+a_na_{n-1}}{a_{n-2}}$ for all $n \ge 3$. Prove that all terms of the sequence are positive integers
2020 Thailand TSTST, 2
For any positive integer $m \geq 2$, let $p(m)$ be the smallest prime dividing $m$ and $P(m)$ be the largest prime dividing $m$. Let $C$ be a positive integer. Define sequences $\{a_n\}$ and $\{b_n\}$ by $a_0 = b_0 = C$ and, for each positive integer $k$ such that $a_{k-1}\geq 2$,
$$a_k=a_{k-1}-\frac{a_{k-1}}{p(a_{k-1})};$$
and, for each positive integer $k$ such that $b_{k-1}\geq 2$,
$$b_k=b_{k-1}-\frac{b_{k-1}}{P(b_{k-1})}$$
It is easy to see that both $\{a_n\}$ and $\{b_n\}$ are finite sequences which terminate when they reach the number $1$.
Prove that the numbers of terms in the two sequences are always equal.
2014 Peru IMO TST, 15
Let $n$ be a positive integer, and consider a sequence $a_1 , a_2 , \dotsc , a_n $ of positive integers. Extend it periodically to an infinite sequence $a_1 , a_2 , \dotsc $ by defining $a_{n+i} = a_i $ for all $i \ge 1$. If \[a_1 \le a_2 \le \dots \le a_n \le a_1 +n \] and \[a_{a_i } \le n+i-1 \quad\text{for}\quad i=1,2,\dotsc, n, \] prove that \[a_1 + \dots +a_n \le n^2. \]
1986 ITAMO, 2
Determine the general term of the sequence ($a_n$) given by $a_0 =\alpha > 0$ and $a_{n+1} =\frac{a_n}{1+a_n}$
.
2006 IMO Shortlist, 3
The sequence $c_{0}, c_{1}, . . . , c_{n}, . . .$ is defined by $c_{0}= 1, c_{1}= 0$, and $c_{n+2}= c_{n+1}+c_{n}$ for $n \geq 0$. Consider the set $S$ of ordered pairs $(x, y)$ for which there is a finite set $J$ of positive integers such that $x=\textstyle\sum_{j \in J}{c_{j}}$, $y=\textstyle\sum_{j \in J}{c_{j-1}}$. Prove that there exist real numbers $\alpha$, $\beta$, and $M$ with the following property: An ordered pair of nonnegative integers $(x, y)$ satisfies the inequality \[m < \alpha x+\beta y < M\] if and only if $(x, y) \in S$.
[i]Remark:[/i] A sum over the elements of the empty set is assumed to be $0$.
2010 Indonesia TST, 2
Let $ a_0$, $ a_1$, $ a_2$, $ \ldots$ be a sequence of positive integers such that the greatest common divisor of any two consecutive terms is greater than the preceding term; in symbols, $ \gcd (a_i, a_{i \plus{} 1}) > a_{i \minus{} 1}$. Prove that $ a_n\ge 2^n$ for all $ n\ge 0$.
[i]Proposed by Morteza Saghafian, Iran[/i]
2022 Brazil EGMO TST, 5
For a given value $t$, we consider number sequences $a_1, a_2, a_3,...$ such that $a_{n+1} =\frac{a_n + t}{a_n + 1}$ for all $n \ge 1$.
(a) Suppose that $t = 2$. Determine all starting values $a_1 > 0$ such that $\frac43 \le a_n \le \frac32$ holds for all $n \ge 2$.
(b) Suppose that $t = -3$. Investigate whether $a_{2020} = a_1$ for all starting values $a_1$ different from $-1$ and $1$.
2011 German National Olympiad, 6
Let $p>2$ be a prime. Define a sequence $(Q_{n}(x))$ of polynomials such that $Q_{0}(x)=1, Q_{1}(x)=x$ and $Q_{n+1}(x) =xQ_{n}(x) + nQ_{n-1}(x)$ for $n\geq 1.$ Prove that $Q_{p}(x)-x^p $ is divisible by $p$ for all integers $x.$
2015 APMO, 5
Determine all sequences $a_0 , a_1 , a_2 , \ldots$ of positive integers with $a_0 \ge 2015$ such that for all integers $n\ge 1$:
(i) $a_{n+2}$ is divisible by $a_n$ ;
(ii) $|s_{n+1} - (n + 1)a_n | = 1$, where $s_{n+1} = a_{n+1} - a_n + a_{n-1} - \cdots + (-1)^{n+1} a_0$ .
[i]Proposed by Pakawut Jiradilok and Warut Suksompong, Thailand[/i]
2010 Victor Vâlcovici, 1
Let $ \left( a_n\right)_{n\ge 1} $ be a sequence defined by $ a_1>0 $ and $ \frac{a_{n+1}}{a}=\frac{a_n}{a}+\frac{a}{a_n} , $ with $ a>0. $ Calculate $ \lim_{n\to\infty} \frac{a_n}{\sqrt{n+a}} . $
[i]Florin Rotaru[/i]
2016 Saint Petersburg Mathematical Olympiad, 1
In the sequence of integers $(a_n)$, the sum $a_m + a_n$ is divided by $m + n$ with any different $m$ and $n$. Prove that $a_n$ is a multiple of $n$ for any $n$.
2011 Indonesia TST, 4
Let $a, b$, and $c$ be positive integers such that $gcd(a, b) = 1$. Sequence $\{u_k\}$, is given such that $u_0 = 0$, $u_1 = 1$, and u$_{k+2} = au_{k+1} + bu_k$ for all $k \ge 0$. Let $m$ be the least positive integer such that $c | u_m$ and $n$ be an arbitrary positive integer such that $c | u_n$. Show that $m | n$.
[hide=PS.] There was a typo in the last line, as it didn't define what n does. Wording comes from [b]tst-2011-1.pdf[/b] from [url=https://sites.google.com/site/imoidn/idntst/2011tst]here[/url]. Correction was made according to #2[/hide]
2008 Indonesia TST, 2
Let $\{a_n\}_{n \in N}$ be a sequence of real numbers with $a_1 = 2$ and $a_n =\frac{n^2 + 1}{\sqrt{n^3 - 2n^2 + n}}$ for all positive integers $n \ge 2$.
Let $s_n = a_1 + a_2 + ...+ a_n$ for all positive integers $n$. Prove that $$\frac{1}{s_1s_2}+\frac{1}{s_2s_3}+ ...+\frac{1}{s_ns_{n+1}}<\frac15$$
for all positive integers $n$.
2024 Turkey EGMO TST, 4
Let $(a_n)_{n=1}^{\infty}$ be a strictly increasing sequence such that inequality
$$a_n(a_n-2a_{n-1})+a_{n-1}(a_{n-1}-2a_{n-2})\geq 0$$
holds for all $n \geq 3$. Prove that for all $n\geq2$ the inequality
$$a_n \geq a_{n-1}+a_{n-2}+\dots+a_1$$
holds as well.
2014 Taiwan TST Round 3, 5
Let $n$ be a positive integer, and consider a sequence $a_1 , a_2 , \dotsc , a_n $ of positive integers. Extend it periodically to an infinite sequence $a_1 , a_2 , \dotsc $ by defining $a_{n+i} = a_i $ for all $i \ge 1$. If \[a_1 \le a_2 \le \dots \le a_n \le a_1 +n \] and \[a_{a_i } \le n+i-1 \quad\text{for}\quad i=1,2,\dotsc, n, \] prove that \[a_1 + \dots +a_n \le n^2. \]
2008 Germany Team Selection Test, 1
Let $ n > 1$ be an integer. Find all sequences $ a_1, a_2, \ldots a_{n^2 \plus{} n}$ satisfying the following conditions:
\[ \text{ (a) } a_i \in \left\{0,1\right\} \text{ for all } 1 \leq i \leq n^2 \plus{} n;
\]
\[ \text{ (b) } a_{i \plus{} 1} \plus{} a_{i \plus{} 2} \plus{} \ldots \plus{} a_{i \plus{} n} < a_{i \plus{} n \plus{} 1} \plus{} a_{i \plus{} n \plus{} 2} \plus{} \ldots \plus{} a_{i \plus{} 2n} \text{ for all } 0 \leq i \leq n^2 \minus{} n.
\]
[i]Author: Dusan Dukic, Serbia[/i]
1992 IMO Longlists, 69
Let $ \alpha(n)$ be the number of digits equal to one in the binary representation of a positive integer $ n.$ Prove that:
(a) the inequality $ \alpha(n) (n^2 ) \leq \frac{1}{2} \alpha(n)(\alpha(n) + 1)$ holds;
(b) the above inequality is an equality for infinitely many positive integers, and
(c) there exists a sequence $ (n_i )^{\infty}_1$ such that $ \frac{\alpha ( n^2_i )}{\alpha (n_i }$
goes to zero as $ i$ goes to $ \infty.$
[i]Alternative problem:[/i] Prove that there exists a sequence a sequence $ (n_i )^{\infty}_1$ such that $ \frac{\alpha ( n^2_i )}{\alpha (n_i )}$
(d) $ \infty;$
(e) an arbitrary real number $ \gamma \in (0,1)$;
(f) an arbitrary real number $ \gamma \geq 0$;
as $ i$ goes to $ \infty.$
2012 Indonesia TST, 1
The sequence $a_i$ is defined as $a_1 = 2, a_2 = 3$, and
$a_{n+1} = 2a_{n-1}$ or $a_{n+1} = 3a_n - 2a_{n-1}$ for all integers $n \ge 2$.
Prove that no term in $a_i$ is in the range $[1612, 2012]$.
2001 Rioplatense Mathematical Olympiad, Level 3, 3
For every integer $n > 1$, the sequence $\left( {{S}_{n}} \right)$ is defined by ${{S}_{n}}=\left\lfloor {{2}^{n}}\underbrace{\sqrt{2+\sqrt{2+...+\sqrt{2}}}}_{n\ radicals} \right\rfloor $
where $\left\lfloor x \right\rfloor$ denotes the floor function of $x$. Prove that ${{S}_{2001}}=2\,{{S}_{2000}}+1$.
.
2023 Polish MO Finals, 1
Given a sequence of positive integers $a_1, a_2, a_3, \ldots$ such that for any positive integers $k$, $l$ we have $k+l ~ | ~ a_k + a_l$. Prove that for all positive integers $k > l$, $a_k - a_l$ is divisible by $k-l$.