Found problems: 1239
1989 IMO Longlists, 93
Prove that for each positive integer $ n$ there exist $ n$ consecutive positive integers none of which is an integral power of a prime number.
2020 Vietnam National Olympiad, 1
Let a sequence $(x_n)$ satisfy :$x_1=1$ and $x_{n+1}=x_n+3\sqrt{x_n} + \frac{n}{\sqrt{x_n}}$,$\forall$n$\ge1$
a) Prove lim$\frac{n}{x_n}=0$
b) Find lim$\frac{n^2}{x_n}$
2012 German National Olympiad, 1
Define a sequence $(a_n)$ by $a_0 =-4 , a_1 =-7$ and $a_{n+2}= 5a_{n+1} -6a_n$ for $n\geq 0.$ Prove that there are infinitely many positive integers $n$ such that $a_n$ is composite.
1998 Slovenia Team Selection Test, 6
Let $a_0 = 1998$ and $a_{n+1} =\frac{a_n^2}{a_n +1}$ for each nonnegative integer $n$.
Prove that $[a_n] = 1994- n$ for $0 \le n \le 1000$
1980 IMO Shortlist, 13
Given three infinite arithmetic progressions of natural numbers such that each of the numbers 1,2,3,4,5,6,7 and 8 belongs to at least one of them, prove that the number 1980 also belongs to at least one of them.
1979 Romania Team Selection Tests, 2.
For each $n\in \mathbb{Z}_{>0}$ let $a_n$ be the closest integer to $\sqrt{n}$. Compute the general term of the sequence: $(b_n)_{n\geqslant 1}$ with
\[b_n=\sum_{k=1}^{n^2} a_k.\]
[i]Pall Dalyay[/i]
1998 German National Olympiad, 5
A sequence ($a_n$) is given by $a_0 = 0, a_1 = 1$ and $a_{k+2} = a_{k+1} +a_k$ for all integers $k \ge 0$.
Prove that the inequality $\sum_{k=0}^n \frac{a_k}{2^k}< 2$ holds for all positive integers $n$.
2004 Tournament Of Towns, 4
Arithmetical progression $a_1, a_2, a_3, a_4,...$ contains $a_1^2 , a_2^2$ and $a_3^2$ at some positions. Prove that all terms of this progression are integers.
2012 Korea Junior Math Olympiad, 6
$p > 3$ is a prime number such that $p|2^{p-1} - 1$ and $p \nmid 2^x - 1$ for $x = 1, 2,...,p-2$. Let $p = 2k + 3$. Now we define sequence $\{a_n\}$ as $$a_i = a_{i+k} = 2^i \,\, (1 \le i \le k ), \,\,\,\, a_{j+2k} = a_ja_{j+k} \,\, (j \le 1)$$
Prove that there exist $2k$ consecutive terms of sequence $a_{x+1},a_{x+2},..., a_{x+2k}$ such that $a_{x+i } \not\equiv a_{x+j}$ (mod $p$) for all $1 \le i < j \le 2k$ .
2019 South East Mathematical Olympiad, 5
For positive integer n, define $a_n$ as the number of the triangles with integer length of every side and the length of the longest side being $2n.$
(1) Find $a_n$ in terms of $n;$
(2)If the sequence $\{ b_n\}$ satisfying for any positive integer $n,$ $\sum_{k=1}^n(-1)^{n-k}\binom {n}{k} b_k=a_n.$ Find the number of positive integer $n$ satisfying that $b_n\leq 2019a_n.$
1993 IMO Shortlist, 8
Let $c_1, \ldots, c_n \in \mathbb{R}$ with $n \geq 2$ such that \[ 0 \leq \sum^n_{i=1} c_i \leq n. \] Show that we can find integers $k_1, \ldots, k_n$ such that \[ \sum^n_{i=1} k_i = 0 \] and \[ 1-n \leq c_i + n \cdot k_i \leq n \] for every $i = 1, \ldots, n.$
[hide="Another formulation:"]
Let $x_1, \ldots, x_n,$ with $n \geq 2$ be real numbers such that \[ |x_1 + \ldots + x_n| \leq n. \] Show that there exist integers $k_1, \ldots, k_n$ such that \[ |k_1 + \ldots + k_n| = 0. \] and \[ |x_i + 2 \cdot n \cdot k_i| \leq 2 \cdot n -1 \] for every $i = 1, \ldots, n.$ In order to prove this, denote $c_i = \frac{1+x_i}{2}$ for $i = 1, \ldots, n,$ etc.
[/hide]
2009 Kyiv Mathematical Festival, 5
The sequence of positive integers $\{a_n, n\ge 1\}$ is such that $a_n\le a_{n+1}\le a_n+5$ and $a_n$ is divisible by $n$ for all $n \ge 1$. What are the possible values of $a_1$?
2021 Estonia Team Selection Test, 3
For any odd prime $p$ and any integer $n,$ let $d_p (n) \in \{ 0,1, \dots, p-1 \}$ denote the remainder when $n$ is divided by $p.$ We say that $(a_0, a_1, a_2, \dots)$ is a [i]p-sequence[/i], if $a_0$ is a positive integer coprime to $p,$ and $a_{n+1} =a_n + d_p (a_n)$ for $n \geqslant 0.$
(a) Do there exist infinitely many primes $p$ for which there exist $p$-sequences $(a_0, a_1, a_2, \dots)$ and $(b_0, b_1, b_2, \dots)$ such that $a_n >b_n$ for infinitely many $n,$ and $b_n > a_n$ for infinitely many $n?$
(b) Do there exist infinitely many primes $p$ for which there exist $p$-sequences $(a_0, a_1, a_2, \dots)$ and $(b_0, b_1, b_2, \dots)$ such that $a_0 <b_0,$ but $a_n >b_n$ for all $n \geqslant 1?$
[I]United Kingdom[/i]
1989 IMO Longlists, 55
The set $ \{a_0, a_1, \ldots, a_n\}$ of real numbers satisfies the following conditions:
[b](i)[/b] $ a_0 \equal{} a_n \equal{} 0,$
[b](ii)[/b] for $ 1 \leq k \leq n \minus{} 1,$ \[ a_k \equal{} c \plus{} \sum^{n\minus{}1}_{i\equal{}k} a_{i\minus{}k} \cdot \left(a_i \plus{} a_{i\plus{}1} \right)\]
Prove that $ c \leq \frac{1}{4n}.$
2006 Thailand Mathematical Olympiad, 12
Let $a_n = 2^{3n-1} + 3^{6n-2} + 5^{6n-3}$. Compute gcd$(a_1, a_2, ... , a_{25})$
2009 Belarus Team Selection Test, 2
a) Prove that there is not an infinte sequence $(x_n)$, $n=1,2,...$ of positive real numbers satisfying the relation
$x_{n+2}=\sqrt{x_{n+1}}-\sqrt{x_{n}}$, $\forall n \in N$ (*)
b) Do there exist sequences satisfying (*) and containing arbitrary many terms?
I.Voronovich
2002 Mongolian Mathematical Olympiad, Problem 5
Let $a_0,a_1,\ldots$ be an infinite sequence of positive numbers. Prove that the inequality $1+a_n>\sqrt[n]2a_{n-1}$ holds for infinitely many positive integers $n$.
2021 Simon Marais Mathematical Competition, A2
Define the sequence of integers $a_1, a_2, a_3, \ldots$ by $a_1 = 1$, and
\[ a_{n+1} = \left(n+1-\gcd(a_n,n) \right) \times a_n \]
for all integers $n \ge 1$.
Prove that $\frac{a_{n+1}}{a_n}=n$ if and only if $n$ is prime or $n=1$.
[i]Here $\gcd(s,t)$ denotes the greatest common divisor of $s$ and $t$.[/i]
2019 ISI Entrance Examination, 6
For all natural numbers $n$, let $$A_n=\sqrt{2-\sqrt{2+\sqrt{2+\cdots+\sqrt{2}}}}\quad\text{(n many radicals)}$$ [b](a)[/b] Show that for $n\geqslant 2$, $$A_n=2\sin\frac{\pi}{2^{n+1}}$$ [b](b)[/b] Hence or otherwise, evaluate the limit $$\lim_{n\to\infty} 2^nA_n$$
1971 Dutch Mathematical Olympiad, 2
A sequence of real numbers is called a [i]Fibonacci [/i] sequence if $$t_{n+2} = t_{n+1} + t_n$$ for $n= 1,2,3,. .$ .
Two Fibonacci sequences are said to be [i]essentially different[/i] if the terms of one sequence cannot be obtained by multiplying the terms of the other by a constant. For example, the Fibonacci sequences $1,2,3,5,8,...$ and $1,3,4,7,11,...$ are essentially different, but the sequences $1,2,3,5,8,...$ and $2,4,6,10,16,...$ are not.
(a) Prove that there exist real numbers $p$ and $q$ such that the sequences $1,p,p^2,p^3,...$ and $1,q,q^2,q^3,...$ are essentially different Fibonacci sequences.
(b) Let $a_1,a_2,a_3,...$ and $b_1,b_2,b_3,...$ be essentially different Fibonacci sequences. Prove that for every Fibonacci sequence $t_1,t_2,t_3,...$, there exists exactly one number $\alpha$ and exactly one number $\beta$, such that: $$t_n = \alpha a_n + \beta b_n$$ for $n = 1,2,3,...$
(c) $t_1,t_2,t_3,...$, is the Fibonacci sequence with $t_1 = 1$ and $t_2= 2$. Express $t_n$ in terms of $n$.
1996 Greece National Olympiad, 1
Let $a_n$ be a sequence of positive numbers such that:
i) $\dfrac{a_{n+2}}{a_n}=\dfrac{1}{4}$, for every $n\in\mathbb{N}^{\star}$
ii) $\dfrac{a_{k+1}}{a_k}+\dfrac{a_{n+1}}{a_n}=1$, for every $ k,n\in\mathbb{N}^{\star}$ with $|k-n|\neq 1$.
(a) Prove that $(a_n)$ is a geometric progression.
(n) Prove that exists $t>0$, such that $\sqrt{a_{n+1}}\leq \dfrac{1}{2}a_n+t$
2021 Thailand Mathematical Olympiad, 2
Determine all sequences $a_1,a_2,a_3,\dots$ of positive integers that satisfy the equation
$$(n^2+1)a_{n+1} - a_n = n^3+n^2+1$$
for all positive integers $n$.
1980 Yugoslav Team Selection Test, Problem 3
A sequence $(x_n)$ satisfies $x_{n+1}=\frac{x_n^2+a}{x_{n-1}}$ for all $n\in\mathbb N$. Prove that if $x_0,x_1$, and $\frac{x_0^2+x_1^2+a}{x_0x_1}$ are integers, then all the terms of sequence $(x_n)$ are integers.
2006 Grigore Moisil Urziceni, 1
[b]a)[/b] $ \lim_{n\to\infty } \sum_{j=1}^n\frac{n}{n^2+n+j} =1 $
[b]b)[/b] $ \lim_{n\to\infty } \left( n- \sum_{j=1}^n\frac{n^2}{n^2+n+j} \right) =3/2 $
[i]Cristinel Mortici[/i]
2012 District Olympiad, 4
A sequence $ \left( a_n \right)_{n\ge 1} $ has the property that it´s nondecreasing, nonconstant and, for every natural $ n, a_n\big| n^2. $ Show that at least one of the following affirmations are true.
$ \text{(i)} $ There exists an index $ n_1 $ such that $ a_n=n, $ for all $ n\ge n_1. $
$ \text{(ii)} $ There exists an index $ n_2 $ such that $ a_n=n^2, $ for all $ n\ge n_2. $