Found problems: 1782
Prove that for every $n\in \mathbb N$, there exists a set $S$ of $n$ positive integers such that for any two distinct $a,b\in S$, $a-b$ divides $a$ and $b$ but none of the other elements of $S$.
[i]Proposed by Iurie Boreico[/i]
A $(3n + 1) \times (3n + 1)$ table $(n \in \mathbb{N})$ is given. Prove that deleting any one of its squares yields a shape cuttable into pieces of the following form and its rotations: ''L" shape formed by cutting one square from a $2 \times 2$ squares.
Find all functions $ f: \mathbb{Z}\setminus\{0\}\to \mathbb{Q}$ such that for all $ x,y \in \mathbb{Z}\setminus\{0\}$:
\[ f \left( \frac{x+y}{3}\right) =\frac{f(x)+f(y)}{2}, \; \; x, y \in \mathbb{Z}\setminus\{0\}\]
Does there exist a pair $ (f; g)$ of strictly monotonic functions, both from $ \mathbb{N}$ to $ \mathbb{N}$, such that \[ f(g(g(n))) < g(f(n))\] for every $ n \in\mathbb{N}$?
Two positive valued sequences $\{ a_{n}\}$ and $\{ b_{n}\}$ satisfy:
(a): $a_{0}=1 \geq a_{1}$, $a_{n}(b_{n+1}+b_{n-1})=a_{n-1}b_{n-1}+a_{n+1}b_{n+1}$, $n \geq 1$.
(b): $\sum_{i=1}^{n}b_{i}\leq n^{\frac{3}{2}}$, $n \geq 1$.
Find the general term of $\{ a_{n}\}$.
A positive integer $n$ is said to be a [i]perfect power[/i] if $n=a^b$ for some integers $a,b$ with $b>1$.
$(\text{a})$ Find $2004$ perfect powers in arithmetic progression.
$(\text{b})$ Prove that perfect powers cannot form an infinite arithmetic progression.
Consider the following operation on positive real numbers written on a blackboard:
Choose a number $ r$ written on the blackboard, erase that number, and then write a pair of positive real numbers $ a$ and $ b$ satisfying the condition $ 2 r^2 \equal{} ab$ on the board.
Assume that you start out with just one positive real number $ r$ on the blackboard, and apply this operation $ k^2 \minus{} 1$ times to end up with $ k^2$ positive real numbers, not necessarily distinct. Show that there exists a number on the board which does not exceed kr.
[b](a)[/b] Prove that for all positive integers $m,n$ we have
\[\sum_{k=1}^n k(k+1)(k+2)\cdots (k+m-1)=\frac{n(n+1)(n+2) \cdots (n+m)}{m+1}\]
[b](b)[/b] Let $P(x)$ be a polynomial with rational coefficients and degree $m.$ If $n$ tends to infinity, then prove that
\[\frac{\sum_{k=1}^n P(k)}{n^{m+1}}\]
Has a limit.
Consider a sequence of numbers $(a_1, a_2, \ldots , a_{2^n}).$ Define the operation
\[S\biggl((a_1, a_2, \ldots , a_{2^n})\biggr) = (a_1a_2, a_2a_3, \ldots , a_{2^{n-1}a_{2^n}, a_{2^n}a_1).}\]
Prove that whatever the sequence $(a_1, a_2, \ldots , a_{2^n})$ is, with $a_i \in \{-1, 1\}$ for $i = 1, 2, \ldots , 2^n,$ after finitely many applications of the operation we get the sequence $(1, 1, \ldots, 1).$
If $ \{a_k\}$ is a sequence of real numbers, call the sequence $ \{a'_k\}$ defined by $ a_k' \equal{} \frac {a_k \plus{} a_{k \plus{} 1}}2$ the [i]average sequence[/i] of $ \{a_k\}$. Consider the sequences $ \{a_k\}$; $ \{a_k'\}$ - [i]average sequence[/i] of $ \{a_k\}$; $ \{a_k''\}$ - average sequence of $ \{a_k'\}$ and so on. If all these sequences consist only of integers, then $ \{a_k\}$ is called [i]Good[/i]. Prove that if $ \{x_k\}$ is a [i]good[/i] sequence, then $ \{x_k^2\}$ is also [i]good[/i].
Determine if there are positive integers $a, b$ such that all terms of the sequence defined by
\[ x_{1}= 2010,x_{2}= 2011\\ x_{n+2}= x_{n}+ x_{n+1}+a\sqrt{x_{n}x_{n+1}+b}\quad (n\ge 1) \] are integers.
Let $k$ be an odd number that is greater than or equal to $3$. Prove that there exists a $k^{th}$-degree integer-valued polynomial with non-integer-coefficients that has the following properties:
(1) $f(0)=0$ and $f(1)=1$; and.
(2) There exist infinitely many positive integers $n$ so that if the following equation: \[ n= f(x_1)+\cdots+f(x_s), \] has integer solutions $x_1, x_2, \dots, x_s$, then $s \geq 2^k-1$.
Write down some numbers $a_1,a_2,\ldots, a_n$ from left to right on a line. Step 1, we write $a_1+a_2$ between $a_1,a_2$; $a_2+a_3$ between $a_2,a_3$, …, $a_{n-1}+a_n$ between $a_{n-1},a_n$, and then we have new sequence $b=(a_1, a_1+a_2,a_2,a_2+a_3,a_3, \ldots, a_{n-1}, a_{n-1}+a_n, a_n)$. Step 2, we do the same thing with sequence b to have the new sequence c again…. And so on. If we do 2013 steps, count the number of the number 2013 appear on the line if
a) $n=2$, $a_1=1, a_2=1000$
b) $n=1000$, $a_i=i, i=1,2\ldots, 1000$
Sorry for my bad English
[color=#008000]Moderator says: alternate phrasing here: https://www.artofproblemsolving.com/Forum/viewtopic.php?f=42&t=516134[/color]
Define a sequence $(a_n)_{n \geq 1}$ by $a_1 =1$ and $a_2 =2$ and $a_{n+2} = 2 a_{n+1} - a_n + 2$ for $n \geq 1$. prove that for any $m$ , $a_m a_{m+1}$ is also a term in this sequence.
Prove that $\sum \frac{1}{i_1i_2 \ldots i_k} = n$ is taken over all non-empty subsets $\left\{i_1,i_2, \ldots, i_k\right\}$ of $\left\{1,2,\ldots,n\right\}$. (The $k$ is not fixed, so we are summing over all the $2^n-1$ possible nonempty subsets.)
Given integer $n\geq 2$ and real numbers $x_1,x_2,\cdots, x_n$ in the interval $[0,1]$. Prove that there exist real numbers $a_0,a_1,\cdots,a_n$ satisfying the following conditions:
(1) $a_0+a_n=0$;
(2) $|a_i|\leq 1$, for $i=0,1,\cdots,n$;
(3) $|a_i-a_{i-1}|=x_i$, for $i=1,2,\cdots,n$.
Prove that:
a) the sequence $a_n=\frac{1}{n+1}+\frac{1}{n+2}+\ldots+\frac{1}{n+n},\ n\ge 1$ is monotonic.
b) there is a sequence $(a_n)_{n\ge 1}\in \{0,1\}$ such that:
\[\lim_{n\to \infty} \left(\frac{a_1}{n+1}+\frac{a_2}{n+2}+\ldots +\frac{a_n}{n+n}\right)=\frac{1}{2}\]
[i]Radu Gologan[/i]
Consider two odd natural numbers $a$ and $b$ where $a$ is a divisor of $b^2+2$ and $b$ is a divisor of $a^2+2.$ Prove that $a$ and $b$ are the terms of the series of natural numbers $\langle v_n\rangle$ defined by
\[v_1 = v_2 = 1; v_n = 4v_ {n-1}-v_{n-2} \ \ \text{for} \ n\geq 3.\]
Let $ \mathbb{Z}$ be the set of all integers. Define the set $ \mathbb{H}$ as follows:
(1). $ \dfrac{1}{2} \in \mathbb{H}$,
(2). if $ x \in \mathbb{H}$, then $ \dfrac{1}{1\plus{}x} \in \mathbb{H}$ and also $ \dfrac{x}{1\plus{}x} \in \mathbb{H}$.
Prove that there exists a bijective function $ f: \mathbb{Z} \rightarrow \mathbb{H}$.
For any two rational numbers $ p$ and $ q$ in the interval $ (0,1)$ and function $ f$, there is always $ \displaystyle f \left( \frac{p\plus{}q}{2} \right) \leq \frac{f(p) \plus{} f(q)}{2}$. Then prove that for any rational numbers $ \lambda, x_1, x_2 \in (0,1)$, there is always:
\[ f( \lambda x_1 \plus{} (1\minus{}\lambda) x_2 ) \leq \lambda f(x_i) \plus{} (1\minus{}\lambda) f(x_2)\]
Let $Q(x)$ be a polynomial with integer coefficients. Prove that there exists a polynomial $P(x)$ with integer coefficients such that for every integer $n\ge\deg{Q}$,
\[\sum_{i=0}^{n}\frac{!i P(i)}{i!(n-i)!} = Q(n),\]where $!i$ denotes the number of derangements (permutations with no fixed points) of $1,2,\ldots,i$.
[i]Calvin Deng.[/i]
The integers from $1$ to $1993$ are written in a line in some order. The following operation is performed with this line: if the first number is $k$ then the first $k$ numbers are rewritten in reverse order. Prove that after some finite number of these operations, the first number in the line of numbers will be $1$.
Let $a\in\mathbb{R}-\{0\}$. Find all functions $f: \mathbb{R}\to\mathbb{R}$ such that $f(a+x) = f(x) - x$ for all $x\in\mathbb{R}$.
[i]Dan Schwartz[/i]
For a fixed integer $k$, determine all polynomials $f(x)$ with integer coefficients such that $f(n)$ divides $(n!)^k$ for every positive integer $n$.
Let $S$ be a string of $99$ characters, $66$ of which are $A$ and $33$ are $B$. We call $S$ [i]good[/i] if, for each $n$ such that $1\le n \le 99$, the sub-string made from the first $n$ characters of $S$ has an odd number of distinct permutations. How many good strings are there? Which strings are good?