Found problems: 1239
Let $N$ be a positive integer. Consider the sequence $a_1, a_2, ..., a_N$ of positive integers, none of which is a multiple of $2^{N+1}$. For $n \ge N +1$, the number $a_n$ is defined as follows: choose $k$ to be the number among $1, 2, ..., n - 1$ for which the remainder obtained when $a_k$ is divided by $2^n$ is the smallest, and define $a_n = 2a_k$ (if there are more than one such $k$, choose the largest such $k$). Prove that there exist $M$ for which $a_n = a_M$ holds for every $n \ge M$.
Given positive integers $a_1$, $a_2$, $...$, $a_m$ ($m \ge 1$). Consider the sequence $\{u_n\}_{n=1}^{\infty}$, with $$u_n = a_1^n + a_2^n + ... + a_m^n.$$ We know that this sequence has a finite number of prime divisors. Prove that $a_1 = a_2 = ...= a_m$.
For an infinite sequence $a_1, a_2,. . .$ denote as it's [i]first derivative[/i] is the sequence $a'_n= a_{n + 1} - a_n$ (where $n = 1, 2,..$.), and her $k$- th derivative as the first derivative of its $(k-1)$-th derivative ($k = 2, 3,...$). We call a sequence [i]good[/i] if it and all its derivatives consist of positive numbers.
Prove that if $a_1, a_2,. . .$ and $b_1, b_2,. . .$ are good sequences, then sequence $a_1\cdot b_1, a_2 \cdot b_2,..$ is also a good one.
R. Salimov
Find the number of sequences with $2022$ natural numbers $n_1, n_2, n_3, \ldots, n_{2022}$, such that in every sequence:
$\bullet$ $n_{i+1}\geq n_i$
$\bullet$ There is at least one number $i$, such that $n_i=2022$
$\bullet$ For every $(i, j)$ $n_1+n_2+\ldots+n_{2022}-n_i-n_j$ is divisible to both $n_i$ and $n_j$
Let $(x_n)_{n=1}^\infty$ be a sequence defined recursively with: $x_1=2$ and $x_{n+1}=\frac{x_n(x_n+n)}{n+1}$ for all $n \ge 1$. Prove that $$n(n+1) >\frac{(x_1+x_2+ \ldots +x_n)^2}{x_{n+1}}.$$
[i]Proposed by Nikola Velov[/i]
Let $(F_n)_{n\geq 1} $ be the Fibonacci sequence $F_1 = F_2 = 1, F_{n+2} = F_{n+1} + F_n (n \geq 1),$ and $P(x)$ the polynomial of degree $990$ satisfying
\[ P(k) = F_k, \qquad \text{ for } k = 992, . . . , 1982.\]
Prove that $P(1983) = F_{1983} - 1.$
Let $\alpha$ be a real number with $\alpha>1$. Let the sequence $(a_n)$ be defined as
$$a_n=1+\sqrt[\alpha]{2+\sqrt[\alpha]{3+\ldots+\sqrt[\alpha]{n+\sqrt[\alpha]{n+1}}}}$$
for all positive integers $n$. Show that there exists a positive real constant $C$ such that $a_n<C$ for all positive integers $n$.
Let $n$ be an odd positive integer, and let $x_1,x_2,\cdots ,x_n$ be non-negative real numbers. Show that \[ \min_{i=1,\ldots,n} (x_i^2+x_{i+1}^2) \leq \max_{j=1,\ldots,n} (2x_jx_{j+1}) \]where $x_{n+1}=x_1$.
A ternary sequence is one whose terms all lie in the set $\{0, 1, 2\}$. Let $w$ be a length $n$ ternary sequence $(a_1,\ldots,a_n)$. Prove that $w$ can be extended leftwards and rightwards to a length $m=6n$ ternary sequence \[(d_1,\ldots,d_m) = (b_1,\ldots,b_p,a_1,\ldots,a_n,c_1,\ldots,c_q), \quad p,q\geqslant 0,\]containing no length $t > 2n$ palindromic subsequence.
(A sequence is called palindromic if it reads the same rightwards and leftwards. A length $t$ subsequence of $(d_1,\ldots,d_m)$ is a sequence of the form $(d_{i_1},\ldots,d_{i_t})$, where $1\leqslant i_1<\cdots<i_t \leqslant m$.)
[b]6.[/b] Let $H_{n}(x)$ be the [i]n[/i]th Hermite polynomial. Find
$ \lim_{n \to \infty } (\frac{y}{2n})^{n} H_{n}(\frac{n}{y})$
For an arbitrary real y. [b](S.5)[/b]
$H_n(x)=(-1)^n e^{x^2}\frac{d^n}{dx^n}\left(e^{{-x^2}}\right)$
Given a natural number $n$, for which we can find a prime number less than $\sqrt{n}$ that is not a divisor of $n$. The sequence $a_1, a_2,... ,a_n$ is the numbers $1, 2,... ,n$ arranged in some order. For this sequence, we will find the longest ascending subsequense $a_{i_1} < a_{i_2} < ... < a_{i_k}$, ($i_1 <...< i_k$) and the longest decreasing substring $a_{j_1} > ... > a_{j_l}$, ($j_1 < ... < j_l$) . Prove that at least one of these two subsequnsces $a_{i_1} , . . . , a_{i_k}$ and $a_{j_1} > ... > a_{j_l}$ contains a number that is not a divisor of $n$.
Let \( a_1 \) be an integer greater than or equal to 2. Consider the sequence such that its first term is \( a_1 \), and for \( a_n \), the \( n \)-th term of the sequence, we have
\[
a_{n+1} = \frac{a_n}{p_k^{e_k - 1}} + 1,
\]
where \( p_1^{e_1} p_2^{e_2} \cdots p_k^{e_k} \) is the prime factorization of \( a_n \), with \( 1 < p_1 < p_2 < \cdots < p_k \), and \( e_1, e_2, \dots, e_k \) positive integers.
For example, if \( a_1 = 2024 = 2^3 \cdot 11 \cdot 23 \), the next two terms of the sequence are
\[
a_2 = \frac{a_1}{23^{1-1}} + 1 = \frac{2024}{1} + 1 = 2025 = 3^4 \cdot 5^2;
\]
\[
a_3 = \frac{a_2}{5^{2-1}} + 1 = \frac{2025}{5} + 1 = 406.
\]
Determine for which values of \( a_1 \) the sequence is eventually periodic and what all the possible periods are.
[b]Note:[/b] Let \( p \) be a positive integer. A sequence \( x_1, x_2, \dots \) is eventually periodic with period \( p \) if \( p \) is the smallest positive integer such that there exists an \( N \geq 0 \) satisfying \( x_{n+p} = x_n \) for all \( n > N \).
Let $a_1, a_2, \cdots, a_n$ be a sequence of nonnegative integers. For $k=1,2,\cdots,n$ denote \[ m_k = \max_{1 \le l \le k} \frac{a_{k-l+1} + a_{k-l+2} + \cdots + a_k}{l}. \] Prove that for every $\alpha > 0$ the number of values of $k$ for which $m_k > \alpha$ is less than $\frac{a_1+a_2+ \cdots +a_n}{\alpha}.$
Let $k$ be a positive integer. A sequence of integers $a_1, a_2, \cdots$ is called $k$-pop if the following holds: for every $n \in \mathbb{N}$, $a_n$ is equal to the number of distinct elements in the set $\{a_1, \cdots , a_{n+k} \}$. Determine, as a function of $k$, how many $k$-pop sequences there are.
[i]Proposed by Sutanay Bhattacharya[/i]
It is known that the general term $\{a_n\}$ of the sequence is $a_n =(\sqrt3 +\sqrt2)^{2n}$ ($n \in N*$), let $b_n= a_n +\frac{1}{a_n}$ .
(1) Find the recurrence relation between $b_{n+2}$, $b_{n+1}$, $b_n$.
(2) Find the unit digit of the integer part of $a_{2011}$.
Let $a_1 <a_2 < \ldots$ be an increasing sequence of positive integers. Let the series
$$\sum_{i=1}^{\infty} \frac{1}{a_i }$$
be convergent. For any real number $x$, let $k(x)$ be the number of the $a_i$ which do not exceed $x$. Show
that $\lim_{x\to \infty} \frac{k(x)}{x}=0.$
Let $d \geq 2$ be a positive integer. Define the sequence $a_1,a_2,\dots$ by
$$a_1=1 \ \text{and} \ a_{n+1}=a_n^d+1 \ \text{for all }n\geq 1.$$
Determine all pairs of positive integers $(p, q)$ such that $a_p$ divides $a_q$.
Let $a_n$ be a sequence given by $a_1 = 18$, and $a_n = a_{n-1}^2+6a_{n-1}$, for $n>1$. Prove that this sequence contains no perfect powers.
Sides of a triangle form an arithmetic sequence with common difference $2$, and its area is $6 \text{ cm }^2$. Find its
sides.
A sequence of natural numbers $a_1, a_2, a_3,..$ is called [i]periodic modulo[/i] $n$ if there exists a positive integer $k$ such that, for any positive integer $i$, the terms $a_i$ and $a_{i+k}$ are equal modulo $n$. Does there exist a strictly increasing sequence of natural numbers that
a) is not periodic modulo finitely many positive integers and is periodic modulo all the other positive integers?
b) is not periodic modulo infinitely many positive integers and is periodic modulo infinitely many positive integers?
Consider the set of all strictly decreasing sequences of $n$ natural numbers having the property that in each sequence no term divides any other term of the sequence. Let $A = (a_j)$ and $B = (b_j)$ be any two such sequences. We say that $A$ precedes $B$ if for some $k$, $a_k < b_k$ and $a_i = b_i$ for $i < k$. Find the terms of the first sequence of the set under this ordering.
Let the sequence $(a_n)$ be constructed in the following way:
$$
a_1=1,\mbox{ }a_2=1,\mbox{ }a_{n+2}=a_{n+1}+\frac{1}{a_n},\mbox{ }n=1,2,\ldots.
$$
Prove that $a_{180}>19$.
[i](Folklore)[/i]
The sequence $x_1,x_2, ...$ is defined by the following equations:
$$x_1=19, \ \ x_2=97, \ \ x_{n+2} =x_n - \frac{1}{x_{n+1}}$$
for $n \ge 1$. Prove that there exists a positive integer $k$ such that $x_k=0$ and find $k$.
(A Berzinsh)
A sequence $(a_n)$ of positive integers satisfies$(a_m,a_n) = a_{(m,n)}$ for all $m,n$.
Prove that there is a unique sequence $(b_n)$ of positive integers such that $a_n = \prod_{d|n} b_d$
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$.