Found problems: 800
$p$ is an odd prime number. Find all $\frac{p-1}2$-tuples $\left(x_1,x_2,\dots,x_{\frac{p-1}2}\right)\in \mathbb{Z}_p^{\frac{p-1}2}$ such that
$$\sum_{i = 1}^{\frac{p-1}{2}} x_{i} \equiv \sum_{i = 1}^{\frac{p-1}{2}} x_{i}^{2} \equiv \cdots \equiv \sum_{i = 1}^{\frac{p-1}{2}} x_{i}^{\frac{p - 1}{2}} \pmod p.$$
[i]Proposed by Ali Partofard[/i]
Three nonnegative real numbers $ r_1$, $ r_2$, $ r_3$ are written on a blackboard. These numbers have the property that there exist integers $ a_1$, $ a_2$, $ a_3$, not all zero, satisfying $ a_1r_1 \plus{} a_2r_2 \plus{} a_3r_3 \equal{} 0$. We are permitted to perform the following operation: find two numbers $ x$, $ y$ on the blackboard with $ x \le y$, then erase $ y$ and write $ y \minus{} x$ in its place. Prove that after a finite number of such operations, we can end up with at least one $ 0$ on the blackboard.
In the simple and connected graph $G$ let $x_i$ be the number of vertices with degree $i$. Let $d>3$ be the biggest degree in the graph $G$. Prove that if :
$$x_d \ge x_{d-1} + 2x_{d-2}+... +(d-1)x_1$$
Then there exists a vertex with degree $d$ such that after removing that vertex the graph $G$ is still connected.
Proposed by [i]Ali Mirzaie[/i]
Let $n$ be a positive integer relatively prime to $6$. We paint the vertices of a regular $n$-gon with three colours so that there is an odd number of vertices of each colour. Show that there exists an isosceles triangle whose three vertices are of different colours.
Let $f$ be any function that maps the set of real numbers into the set of real numbers. Prove that there exist real numbers $x$ and $y$ such that \[f\left(x-f(y)\right)>yf(x)+x\]
[i]Proposed by Igor Voronovich, Belarus[/i]
The kingdom of Anisotropy consists of $n$ cities. For every two cities there exists exactly one direct one-way road between them. We say that a [i]path from $X$ to $Y$[/i] is a sequence of roads such that one can move from $X$ to $Y$ along this sequence without returning to an already visited city. A collection of paths is called [i]diverse[/i] if no road belongs to two or more paths in the collection.
Let $A$ and $B$ be two distinct cities in Anisotropy. Let $N_{AB}$ denote the maximal number of paths in a diverse collection of paths from $A$ to $B$. Similarly, let $N_{BA}$ denote the maximal number of paths in a diverse collection of paths from $B$ to $A$. Prove that the equality $N_{AB} = N_{BA}$ holds if and only if the number of roads going out from $A$ is the same as the number of roads going out from $B$.
[i]Proposed by Warut Suksompong, Thailand[/i]
Find all functions $f : \mathbb{Z}\rightarrow \mathbb{Z}$ satisfying
\[f^{a^{2} + b^{2}}(a+b) = af(a) +bf(b)\]
for all integers $a$ and $b$
Let $P$ be a point inside triangle $ABC$. Let $AP$ meet $BC$ at $A_1$, let $BP$ meet $CA$ at $B_1$, and let $CP$ meet $AB$ at $C_1$. Let $A_2$ be the point such that $A_1$ is the midpoint of $PA_2$, let $B_2$ be the point such that $B_1$ is the midpoint of $PB_2$, and let $C_2$ be the point such that $C_1$ is the midpoint of $PC_2$. Prove that points $A_2, B_2$, and $C_2$ cannot all lie strictly inside the circumcircle of triangle $ABC$.
(Australia)
Let $f : \{ 1, 2, 3, \dots \} \to \{ 2, 3, \dots \}$ be a function such that $f(m + n) | f(m) + f(n) $ for all pairs $m,n$ of positive integers. Prove that there exists a positive integer $c > 1$ which divides all values of $f$.
Let $a_1, a_2, ..., a_9$ be non-negative real numbers such that $a_1 = a_9 = 0$ and at least one of the remaining terms is different from $0$.
a) Prove that for some $i$ $(i = 2, ..., 8$) ,holds that $a_{i-1} + a_{i+1} < 2a_i.$
b) Will the previous statement be true, if we change the number $2$ for $1.9$ in the inequality?
Determine all integers $ n\geq 2$ having the following property: for any integers $a_1,a_2,\ldots, a_n$ whose sum is not divisible by $n$, there exists an index $1 \leq i \leq n$ such that none of the numbers $$a_i,a_i+a_{i+1},\ldots,a_i+a_{i+1}+\ldots+a_{i+n-1}$$ is divisible by $n$. Here, we let $a_i=a_{i-n}$ when $i >n$.
[i]Proposed by Warut Suksompong, Thailand[/i]
If the inradius of a triangle is half of its circumradius, prove that the triangle is equilateral.
In a company of people some pairs are enemies. A group of people is called [i]unsociable[/i] if the number of members in the group is odd and at least $3$, and it is possible to arrange all its members around a round table so that every two neighbors are enemies. Given that there are at most $2015$ unsociable groups, prove that it is possible to partition the company into $11$ parts so that no two enemies are in the same part.
[i]Proposed by Russia[/i]
For a finite set $A$ of positive integers, a partition of $A$ into two disjoint nonempty subsets $A_1$ and $A_2$ is $\textit{good}$ if the least common multiple of the elements in $A_1$ is equal to the greatest common divisor of the elements in $A_2$. Determine the minimum value of $n$ such that there exists a set of $n$ positive integers with exactly $2015$ good partitions.
There are $n \geq 3$ islands in a city. Initially, the ferry company offers some routes between some pairs of islands so that it is impossible to divide the islands into two groups such that no two islands in different groups are connected by a ferry route.
After each year, the ferry company will close a ferry route between some two islands $X$ and $Y$. At the same time, in order to maintain its service, the company will open new routes according to the following rule: for any island which is connected to a ferry route to exactly one of $X$ and $Y$, a new route between this island and the other of $X$ and $Y$ is added.
Suppose at any moment, if we partition all islands into two nonempty groups in any way, then it is known that the ferry company will close a certain route connecting two islands from the two groups after some years. Prove that after some years there will be an island which is connected to all other islands by ferry routes.
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]
Find all functions $f: (0, \infty) \to (0, \infty)$ such that
\begin{align*}
f(y(f(x))^3 + x) = x^3f(y) + f(x)
\end{align*}
for all $x, y>0$.
[i]Proposed by Jason Prodromidis, Greece[/i]
Let $n \geq 3$ be an integer. A sequence $P_1, P_2, \ldots, P_n$ of distinct points in the plane is called [i]good[/i] if no three of them are collinear, the polyline $P_1P_2 \ldots P_n$ is non-self-intersecting and the triangle $P_iP_{i + 1}P_{i + 2}$ is oriented counterclockwise for every $i = 1, 2, \ldots, n - 2$.
For every integer $n \geq 3$ determine the greatest possible integer $k$ with the following property: there exist $n$ distinct points $A_1, A_2, \ldots, A_n$ in the plane for which there are $k$ distinct permutations $\sigma : \{1, 2, \ldots, n\} \to \{1, 2, \ldots, n\}$ such that $A_{\sigma(1)}, A_{\sigma(2)}, \ldots, A_{\sigma(n)}$ is good.
(A polyline $P_1P_2 \ldots P_n$ consists of the segments $P_1P_2, P_2P_3, \ldots, P_{n - 1}P_n$.)
You are given a set of $n$ blocks, each weighing at least $1$; their total weight is $2n$. Prove that for every real number $r$ with $0 \leq r \leq 2n-2$ you can choose a subset of the blocks whose total weight is at least $r$ but at most $r + 2$.
Find all positive integers $k > 1$ for which there exists a positive integer $n$ such that $\tbinom{n}{k}$ is divisible by $n$, and $\tbinom{n}{m}$ is not divisible by $n$ for $2\leq m < k$.
[i]Merlijn Staps[/i]
Convex quadrilaterals \(ABCD\), \(A_1B_1C_1D_1\), and \(A_2B_2C_2D_2\) are similar with vertices in order. Points \(A\), \(A_1\), \(B_2\), \(B\) are collinear in order, points \(B\), \(B_1\), \(C_2\), \(C\) are collinear in order, points \(C\), \(C_1\), \(D_2\), \(D\) are collinear in order, and points \(D\), \(D_1\), \(A_2\), \(A\) are collinear in order. Diagonals \(AC\) and \(BD\) intersect at \(P\), diagonals \(A_1C_1\) and \(B_1D_1\) intersect at \(P_1\), and diagonals \(A_2C_2\) and \(B_2D_2\) intersect at \(P_2\). Prove that points \(P\), \(P_1\), and \(P_2\) are collinear.
[i]Proposed by Holden Mui[/i]
Prove that there do not exist distinct prime numbers $p$ and $q$ and a positive integer $n$ satisfying the equation $p^{q-1}- q^{p-1}=4n^2$
Prove that $\left\{ \frac{m}{n}\right\}+\left\{ \frac{n}{m}\right\} \ne 1$ , for any positive integers $m, n$.
We say that a set $S$ of integers is [i]rootiful[/i] if, for any positive integer $n$ and any $a_0, a_1, \cdots, a_n \in S$, all integer roots of the polynomial $a_0+a_1x+\cdots+a_nx^n$ are also in $S$. Find all rootiful sets of integers that contain all numbers of the form $2^a - 2^b$ for positive integers $a$ and $b$.
Let $f\in\mathbb{Z}[X]$ be an irreducible polynomial over the ring of integer polynomials, such that $|f(0)|$ is not a perfect square. Prove that if the leading coefficient of $f$ is 1 (the coefficient of the term having the highest degree in $f$) then $f(X^2)$ is also irreducible in the ring of integer polynomials.
[i]Mihai Piticari[/i]