Let $n\geqslant 2$ be a positive integer and $a_1,a_2, \ldots ,a_n$ be real numbers such that \[a_1+a_2+\dots+a_n=0.\] Define the set $A$ by \[A=\left\{(i, j)\,|\,1 \leqslant i<j \leqslant n,\left|a_{i}-a_{j}\right| \geqslant 1\right\}\] Prove that, if $A$ is not empty, then \[\sum_{(i, j) \in A} a_{i} a_{j}<0.\]

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

Define a "ternary sequence" is a sequence that every number is $0,1$ or $2$. ternary sequence $(x_1,x_2,x_3,\cdots,x_n)$, define its difference to be $$(|x_1-x_2|,|x_2-x_3|,\cdots,|x_{n-1}-x_n|)$$ A difference will make the length of the sequence decrease by $1$, so we define the "feature value" of a ternary sequence with length $n$ is the number left after $n-1$ differences. How many ternary sequences has length $2023$ and feature value $0$? [i]Proposed by CSJL[/i]

Let $a_1, a_2, a_3, \ldots$ be an infinite sequence of positive integers such that $a_1=4$, $a_2=12$, and for all positive integers $n$, \[a_{n+2}=\gcd\left(a_{n+1}^2-4,a_n^2+3a_n \right).\] Find, with proof, a formula for $a_n$ in terms of $n$.

Given positive integers $k, m, n$ such that $1 \leq k \leq m \leq n$. Evaluate \[\sum^{n}_{i=0} \frac{(-1)^i}{n+k+i} \cdot \frac{(m+n+i)!}{i!(n-i)!(m+i)!}.\]

A sequence $(a_1, a_2,\ldots, a_k)$ consisting of pairwise distinct squares of an $n\times n$ chessboard is called a [i]cycle[/i] if $k\geq 4$ and squares $a_i$ and $a_{i+1}$ have a common side for all $i=1,2,\ldots, k$, where $a_{k+1}=a_1$. Subset $X$ of this chessboard's squares is [i]mischievous[/i] if each cycle on it contains at least one square in $X$. Determine all real numbers $C$ with the following property: for each integer $n\geq 2$, on an $n\times n$ chessboard there exists a mischievous subset consisting of at most $Cn^2$ squares.

Find all positive integers $n \geqslant 2$ for which there exist $n$ real numbers $a_1<\cdots<a_n$ and a real number $r>0$ such that the $\tfrac{1}{2}n(n-1)$ differences $a_j-a_i$ for $1 \leqslant i<j \leqslant n$ are equal, in some order, to the numbers $r^1,r^2,\ldots,r^{\frac{1}{2}n(n-1)}$.

Let $ c\in\mathbb C$ and $ A_c \equal{} \{p\in \mathbb C[z]|p(z^2 \plus{} c) \equal{} p(z)^2 \plus{} c\}$. a) Prove that for each $ c\in C$, $ A_c$ is infinite. b) Prove that if $ p\in A_1$, and $ p(z_0) \equal{} 0$, then $ |z_0| < 1.7$. c) Prove that each element of $ A_c$ is odd or even. Let $ f_c \equal{} z^2 \plus{} c\in \mathbb C[z]$. We see easily that $ B_c: \equal{} \{z,f_c(z),f_c(f_c(z)),\dots\}$ is a subset of $ A_c$. Prove that in the following cases $ A_c \equal{} B_c$. d) $ |c| > 2$. e) $ c\in \mathbb Q\backslash\mathbb Z$. f) $ c$ is a non-algebraic number g) $ c$ is a real number and $ c\not\in [ \minus{} 2,\frac14]$.

consider $n\geq 6$ points $x_1,x_2,\dots,x_n$ on the plane such that no three of them are colinear. We call graph with vertices $x_1,x_2,\dots,x_n$ a "road network" if it is connected, each edge is a line segment, and no two edges intersect each other at points other than the vertices. Prove that there are three road networks $G_1,G_2,G_3$ such that $G_i$ and $G_j$ don't have a common edge for $1\leq i,j\leq 3$. Proposed by Morteza Saghafian

The Fibonacci numbers $F_0, F_1, F_2, . . .$ are defined inductively by $F_0=0, F_1=1$, and $F_{n+1}=F_n+F_{n-1}$ for $n \ge 1$. Given an integer $n \ge 2$, determine the smallest size of a set $S$ of integers such that for every $k=2, 3, . . . , n$ there exist some $x, y \in S$ such that $x-y=F_k$. [i]Proposed by Croatia[/i]

Let $n \ge 2018$ be an integer, and let $a_1, a_2, \dots, a_n, b_1, b_2, \dots, b_n$ be pairwise distinct positive integers not exceeding $5n$. Suppose that the sequence \[ \frac{a_1}{b_1}, \frac{a_2}{b_2}, \dots, \frac{a_n}{b_n} \] forms an arithmetic progression. Prove that the terms of the sequence are equal.

Consider a checkered $3m\times 3m$ square, where $m$ is an integer greater than $1.$ A frog sits on the lower left corner cell $S$ and wants to get to the upper right corner cell $F.$ The frog can hop from any cell to either the next cell to the right or the next cell upwards. Some cells can be [i]sticky[/i], and the frog gets trapped once it hops on such a cell. A set $X$ of cells is called [i]blocking[/i] if the frog cannot reach $F$ from $S$ when all the cells of $X$ are sticky. A blocking set is [i] minimal[/i] if it does not contain a smaller blocking set.[list=a][*]Prove that there exists a minimal blocking set containing at least $3m^2-3m$ cells. [*]Prove that every minimal blocking set containing at most $3m^2$ cells.

Show that any positive integer has at least as many positive divisors of the form $3k+1$ as of the form $3k-1$. [b](N. 7)[/b]

Let $f_1(x)=x^2-1$, and for each positive integer $n \geq 2$ define $f_n(x) = f_{n-1}(f_1(x))$. How many distinct real roots does the polynomial $f_{2004}$ have?