$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$ .

Consider the sequence $z_n = (1+i)(2+i)...(n+i)$. Prove that the sequence $Im$ $z_n$ contains infinitely many positive and infinitely many negative numbers.

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$.

$\boxed{A3}$The sequence $a_1,a_2,a_3,...$ is defined by $a_1=a_2=1,a_{2n+1}=2a_{2n}-a_n$ and $a_{2n+2}=2a_{2n+1}$ for $n\in{N}.$Prove that if $n>3$ and $n-3$ is divisible by $8$ then $a_n$ is divisible by $5$

A sequence of natural numbers $a_1,a_2,...$ satisfies $a_1 = 1, a_{n+2} = 2a_{n+1} - a_n +2$ for $n \in N$. Prove that for every natural $n$ there exists a natural $m$ such that $a_na_{n+1} = a_m$.

Let $X$ be a finite set of real numbers. For any $x,x' \in X$ with $x<x'$, define a function $f(x,x')$, then $f$ is called an ordered pair function on $X$. For any given ordered pair function $f$ on $X$, if there exist elements $x_1 <x_2 <\cdots<x_k$ in $X$ such that $f(x_1 ,x_2 ) \le f(x_2 ,x_3 ) \le \cdots \le f(x_{k-1} ,x_k )$, then $x_1 ,x_2 ,\cdots,x_k$ is called an $f$-ascending sequence of length $k$ in $X$. Similarly, define an $f$-descending sequence of length $l$ in $X$. For integers $k,l \ge 3$, let $h(k,l)$ denote the smallest positive integer such that for any set $X$ of $s$ real numbers and any ordered pair function $f$ on $X$, there either exists an $f$-ascending sequence of length $k$ in $X$ or an $f$-descending sequence of length $l$ in $X$ if $s \ge h(k,l)$. Prove: 1.For $k,l>3,h(k,l) \le h(k-1,l)+h(k,l-1)-1$; 2.$h(k,l) \le \binom{l-2}{k+l-4} +1$.

An infinite sequence $a_1, a_2,\ldots$ of positive integers is such that $a_n \geq 2$ and $a_{n+2}$ divides $a_{n+1} + a_n$ for all $n \geq 1$. Prove that there exists a prime which divides infinitely many terms of the sequence.

Suppose that $\{a_n\}$ is a sequence such that $a_{n+1}=(1+\frac{k}{n})a_{n}+1$ with $a_{1}=1$.Find all positive integers $k$ such that any $a_n$ be integer.

Let $g$ and $h$ be two distinct elements of a group $G$, and let $n$ be a positive integer. Consider a sequence $w=(w_1,w_2,\dots)$ which is not eventually periodic and where each $w_i$ is either $g$ or $h$. Denote by $H$ the subgroup of $G$ generated by all elements of the form $w_kw_{k+1}\dotsc w_{k+n-1}$ with $k \ge 1$. Prove that $H$ does not depend on the choice of the sequence $w$ (but may depend on $n$).

The positive integers $a_0, a_1, a_2, \ldots, a_{3030}$ satisfy $$2a_{n + 2} = a_{n + 1} + 4a_n \text{ for } n = 0, 1, 2, \ldots, 3028.$$ Prove that at least one of the numbers $a_0, a_1, a_2, \ldots, a_{3030}$ is divisible by $2^{2020}$.

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$.

Given a sequence $\{x_n\}$, $$x_1 = x_2 = 1, x_{n+2} = x^2_{n+1} - \frac{x_n}{2}$$ Prove that the sequence has limit and find it.

$(a_{n})_{n=1}^{\infty}$ is an integer sequence, $a_{1}=1$, $a_{2}=2$ and for $n\geq{1}$, $a_{n+2}=a_{n+1}^{2}+(n+2)a_{n+1}-a_{n}^{2}-na_{n}$. $a)$ Prove that the set of primes that divides at least one term of the sequence can not be finite. $b)$ Find 3 different prime numbers that do not divide any terms of this sequence.

Let $a_0,a_1,a_2,\dots $ be a sequence of real numbers such that $a_0=0, a_1=1,$ and for every $n\geq 2$ there exists $1 \leq k \leq n$ satisfying \[ a_n=\frac{a_{n-1}+\dots + a_{n-k}}{k}. \]Find the maximum possible value of $a_{2018}-a_{2017}$.

Let $m \geq 2$ be a fixed positive integer, and $(a_n)_{n\geq 1}$ be a sequence of nonnegative real numbers such that, for all $n\geq 1$, we have that $a_{n+1} \leq a_n - a_{mn}$. a) Prove that the sequence $b_n = \sum_{k=1}^{n} a_k$ is bounded above. b) Prove that the sequence $c_n = \sum_{k=1}^{n} k^2 a_k$ is bounded above.

We’re playing a game with a sequence of $2008$ non-negative integers. A move consists of picking a integer $b$ from that sequence, of which the neighbours $a$ and $c$ are positive. We then replace $a, b$ and $c$ by $a - 1, b + 7$ and $c - 1$ respectively. It is not allowed to pick the first or the last integer in the sequence, since they only have one neighbour. If there is no integer left such that both of its neighbours are positive, then there is no move left, and the game ends. Prove that the game always ends, regardless of the sequence of integers we begin with, and regardless of the moves we make.

Let $x_0=a,x_1=b$ and $x_{n+1}=2x_n-9x_{n-1}$ for each $n\in\mathbb N$, where $a,b$ are integers. Find the necessary and sufficient condition on $a$ and $b$ for the existence of an $x_n$ which is a multiple of $7$.

Find all real values of $K$ which satisfies the following. Let there be a sequence of real numbers $\{a_n\}$ which satisfies the following for all positive integers $n$. (i). $0 < a_n < n^K$. (ii). $a_1 + a_2 + \cdots + a_n < \sqrt{n}$. Then, there exists a positive integer $N$ such that for all integers $n>N$, $$a^{2018}_1 + a^{2018}_2 + \cdots +a^{2018}_n < \frac{n}{2018}$$

For any sequence of real numbers $(a_n), n \in N$, define a new sequence $(b_n)$ as $b_n =a_{n+2}+sa_{n+1}+ta_{n}$, where $s,t$ are given real numbers. Find all ordered pairs $(s,t)$ satisfying the following property: any sequence $(a_n)$ converges as soon as the sequence $(b_n)$ converges.

Consider all arithmetical sequences of real numbers $(x_i)^{\infty}=1$ and $(y_i)^{\infty} =1$ with the common first term, such that for some $k > 1, x_{k-1}y_{k-1} = 42, x_ky_k = 30$, and $x_{k+1}y_{k+1} = 16$. Find all such pairs of sequences with the maximum possible $k$.

Consider the sequence $a_1, a_2, a_3, \ldots$ with $$ a_n = \frac{1}{n(n+1)}.$$ In how many ways can the number $\frac{1}{1980}$ be represented as the sum of finitely many consecutive terms of this sequence?

Consider an infinite sequence $$1, 2, 2, 3, 3, 3, 4, 4, 4, 4, 5, \ldots, \underbrace{n,\ldots,n}_{n\text{ times}},\ldots.$$ Find the 1000th term of the sequence.

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]

Consider a sequence whose first term is a given positive integer \( N > 1 \). Consider the prime factorization of \( N \). If \( N \) is a power of 2, the sequence consists of a single term: \( N \). Otherwise, the second term of the sequence is obtained by replacing the largest prime factor \( p \) of \( N \) with \( p + 1 \) in the prime factorization. If the new number is not a power of 2, we repeat the same procedure with it, remembering to factor it again into primes. If it is a power of 2, the numerical sequence ends. And so on. For example, if the first term of the sequence is \( N = 300 = 2^2 \cdot 3 \cdot 5^2 \), since its largest prime factor is \( p = 5 \), the second term is \( 2^2 \cdot 3 \cdot (5 + 1)^2 = 2^4 \cdot 3^3 \). Repeating the procedure, the largest prime factor of the second term is \( p = 3 \), so the third term is \( 2^4 \cdot (3 + 1)^3 = 2^{10} \). Since we obtained a power of 2, the sequence has 3 terms: \( 2^2 \cdot 3 \cdot 5^2 \), \( 2^4 \cdot 3^3 \), and \( 2^{10} \). a) How many terms does the sequence have if the first term is \( N = 2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 13 \cdot 17 \cdot 19 \cdot 23 \)? b) Show that if a prime factor \( p \) leaves a remainder of 1 when divided by 3, then \( \frac{p+1}{2} \) is an integer that also leaves a remainder of 1 when divided by 3. c) Present an initial term \( N \) less than 1,000,000 (one million) such that the sequence starting from \( N \) has exactly 11 terms.

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.