Found problems: 276
Determine all integers $m \geq 2$ such that every $n$ with $\frac{m}{3} \leq n \leq \frac{m}{2}$ divides the binomial coefficient $\binom{n}{m-2n}$.
Find all polynomials $P(x)$ with integer coefficients such that for all positive number $n$ and prime $p$ satisfying $p\nmid nP(n)$, we have $ord_p(n)\ge ord_p(P(n))$.
For a nonnegative integer $n$ define $\operatorname{rad}(n)=1$ if $n=0$ or $n=1$, and $\operatorname{rad}(n)=p_1p_2\cdots p_k$ where $p_1<p_2<\cdots <p_k$ are all prime factors of $n$. Find all polynomials $f(x)$ with nonnegative integer coefficients such that $\operatorname{rad}(f(n))$ divides $\operatorname{rad}(f(n^{\operatorname{rad}(n)}))$ for every nonnegative integer $n$.
Let $P$ be the set of all primes. Given any positive integer $n$, define $$\displaystyle f(n) = \max_{p \in P}v_p(n)$$ Prove that for any positive integer $k\ge 2$, there exists infinitely many positive integers $m$ such that \[ f(m+1) = f(m+2) = \cdots = f(m+k) \]
[i]Proposed by Ivan Chan Guan Yu[/i]
Let $ n$ be a positive integer and $ a_{1}, \ldots, a_{n}$ be arbitrary integers. Suppose that a function $ f: \mathbb{Z}\to \mathbb{R}$ satisfies $ \sum_{i=1}^{n}f(k+a_{i}l) = 0$ whenever $ k$ and $ l$ are integers and $ l \ne 0$. Prove that $ f = 0$.
Let $S$ be the set of all positive integers of the form $19a+85b$, where $a,b$ are arbitrary positive integers. On the real axis, the points of $S$ are colored in red and the remaining integer numbers are colored in green. Find, with proof, whether or not there exists a point $A$ on the real axis such that any two points with integer coordinates which are symmetrical with respect to $A$ have necessarily distinct colors.
Let $a_1, a_2, a_3, \ldots$ be a sequence of positive real numbers, and $s$ be a positive integer, such that
\[a_n = \max \{ a_k + a_{n-k} \mid 1 \leq k \leq n-1 \} \ \textrm{ for all } \ n > s.\]
Prove there exist positive integers $\ell \leq s$ and $N$, such that
\[a_n = a_{\ell} + a_{n - \ell} \ \textrm{ for all } \ n \geq N.\]
[i]Proposed by Morteza Saghafiyan, Iran[/i]
Let $\mathbb N$ denote set of all natural numbers and let $f:\mathbb{N}\to\mathbb{N}$ be a function such that
$\text{(a)} f(mn)=f(m).f(n)$ for all $m,n \in\mathbb{N}$;
$\text{(b)} m+n$ divides $f(m)+f(n)$ for all $m,n\in \mathbb N$.
Prove that, there exists an odd natural number $k$ such that $f(n)= n^k$ for all $n$ in $\mathbb{N}$.
Let \(m\) be a positive integer. Find, in terms of \(m\), all polynomials \(P(x)\) with integer coefficients such that for every integer \(n\), there exists an integer \(k\) such that \(P(k)=n^m\).
[i]Proposed by Raymond Feng[/i]
$n$ being a given integer, find all functions $f\colon \mathbb{Z} \to \mathbb{Z}$, such that for all integers $x,y$ we have $f\left( {x + y + f(y)} \right) = f(x) + ny$.
Let $ ABCD$ be a convex quadrilateral. The perpendicular bisectors of its sides $ AB$ and $ CD$ meet at $ Y$. Denote by $ X$ a point inside the quadrilateral $ ABCD$ such that $ \measuredangle ADX \equal{} \measuredangle BCX < 90^{\circ}$ and $ \measuredangle DAX \equal{} \measuredangle CBX < 90^{\circ}$. Show that $ \measuredangle AYB \equal{} 2\cdot\measuredangle ADX$.
Find all integer-coefficient polynomials $f(x)$ satisfying the following conditions for every integer $n \geqslant 2$:
[list]
[*] $f(n) > 0$.
[*] $f(n)$ divides $n^{f(n)} - 1$.
[/list]
Let $a_1, a_2, \cdots, a_k$ be natural numbers. Let $S(n)$ be the number of solutions in nonnegative integers to $a_1x_1 + a_2x_2 + \cdots + a_kx_k = n$. Suppose $S(n) \neq 0$ for all big enough $n$. Show that for all sufficiently large $n$, we have $S(n+1) < 2S(n)$.
Let $\tau(n)$ denote the number of positive integer divisors of a positive integer $n$ (for example, $\tau(2022) = 8$). Given a polynomial $P(X)$ with integer coefficients, we define a sequence $a_1, a_2,\ldots$ of nonnegative integers by setting
\[a_n =\begin{cases}\gcd(P(n), \tau (P(n)))&\text{if }P(n) > 0\\0 &\text{if }P(n) \leq0\end{cases}\]
for each positive integer $n$. We then say the sequence [i]has limit infinity[/i] if every integer occurs in this sequence only finitely many times (possibly not at all).
Does there exist a choice of $P(X)$ for which the sequence $a_1$, $a_2$, . . . has limit infinity?
[i]Jovan Vuković[/i]
Let $m$ and $n$ be fixed positive integers. Tsvety and Freyja play a game on an infinite grid of unit square cells. Tsvety has secretly written a real number inside of each cell so that the sum of the numbers within every rectangle of size either $m$ by $n$ or $n$ by $m$ is zero. Freyja wants to learn all of these numbers.
One by one, Freyja asks Tsvety about some cell in the grid, and Tsvety truthfully reveals what number is written in it. Freyja wins if, at any point, Freyja can simultaneously deduce the number written in every cell of the entire infinite grid (If this never occurs, Freyja has lost the game and Tsvety wins).
In terms of $m$ and $n$, find the smallest number of questions that Freyja must ask to win, or show that no finite number of questions suffice.
[i]Nikolai Beluhov[/i]
Let \(m\) be a positive integer. Find, in terms of \(m\), all polynomials \(P(x)\) with integer coefficients such that for every integer \(n\), there exists an integer \(k\) such that \(P(k)=n^m\).
[i]Proposed by Raymond Feng[/i]
Let $a$ and $b$ be two positive integers satifying $gcd(a, b) = 1$. Consider a pawn standing on the grid point $(x, y)$.
A step of type A consists of moving the pawn to one of the following grid points: $(x+a, y+a),(x+a,y-a), (x-a, y + a)$ or $(x - a, y - a)$.
A step of type B consists of moving the pawn to $(x + b,y + b),(x + b,y - b), (x - b,y + b)$ or $(x - b,y - b)$.
Now put a pawn on $(0, 0)$. You can make a ( nite) number of steps, alternatingly of type A and type B, starting with a step of type A. You can make an even or odd number of steps, i.e., the last step could be of either type A or type B.
Determine the set of all grid points $(x,y)$ that you can reach with such a series of steps.
Suppose $a_1, \dots, a_n$ are integers whose greatest common divisor is 1. Let $S$ be a set of integers with the following properties:
(a) For $i=1, \dots, n$, $a_i \in S$.
(b) For $i,j = 1, \dots, n$ (not necessarily distinct), $a_i - a_j \in S$.
(c) For any integers $x,y \in S$, if $x+y \in S$, then $x-y \in S$.
Prove that $S$ must be equal to the set of all integers.
Let $a_1,a_2,a_3,\ldots$ be a sequence of integers, with the property that every consecutive group of $a_i$'s averages to a perfect square. More precisely, for every positive integers $n$ and $k$, the quantity \[\frac{a_n+a_{n+1}+\cdots+a_{n+k-1}}{k}\] is always the square of an integer. Prove that the sequence must be constant (all $a_i$ are equal to the same perfect square).
[i]Evan O'Dorney and Victor Wang[/i]
Given complex numbers $a,b,c$, we have that $|az^2 + bz +c| \leq 1$ holds true for any complex number $z, |z| \leq 1$. Find the maximum value of $|bc|$.
Let $ABCD$ be any convex quadrilateral and let $P, Q, R, S$ be points on the segments $AB, BC, CD$, and $DA$, respectively. It is given that the segments $PR$ and $QS$ dissect $ABCD$ into four quadrilaterals, each of which has perpendicular diagonals. Show that the points $P, Q, R, S$ are concyclic.
Suppose that $A$ be the set of all positive integer that can write in form $a^2+2b^2$ (where $a,b\in\mathbb {Z}$ and $b$ is not equal to $0$). Show that if $p$ be a prime number and $p^2\in A$ then $p\in A$.
[i]Marcel Tena[/i]
Let $x$ and $y$ be integers and let $p$ be a prime number. Suppose that there exist realatively prime positive integers $m$ and $n$ such that
$$x^m \equiv y^n \pmod p$$
Prove that there exists an unique integer $z$ modulo $p$ such that
$$x \equiv z^n \pmod p \quad \text{and} \quad y \equiv z^m \pmod p$$
A [i]lattice point[/i] in the Cartesian plane is a point whose coordinates are both integers. A [i]lattice polygon[/i] is a polygon all of whose vertices are lattice points.
Let $\Gamma$ be a convex lattice polygon. Prove that $\Gamma$ is contained in a convex lattice polygon $\Omega$ such that the vertices of $\Gamma$ all lie on the boundary of $\Omega$, and exactly one vertex of $\Omega$ is not a vertex of $\Gamma$.
Consider $n$ lamps clockwise numbered from $1$ to $n$ on a circle.
Let $\xi$ to be a configuration where $0 \le \ell \le n$ random lamps are turned on. A [i]cool procedure[/i] consists in perform, simultaneously, the following operations: for each one of the $\ell$ lamps which are turned on, we verify the number of the lamp; if $i$ is turned on, a [i]signal[/i] of range $i$ is sent by this lamp, and it will be received only by the next $i$ lamps which follow $i$, turned on or turned off, also considered clockwise. At the end of the operations we verify, for each lamp, turned on or turned off, how many signals it has received. If it was reached by an even number of signals, it remains on the same state(that is, if it was turned on, it will be turned on; if it was turned off, it will be turned off). Otherwise, it's state will be changed.
The example in attachment, for $n=4$, ilustrates a configuration where lamps $2$ and $4$ are initially turned on. Lamp $2$ sends signal only for the lamps $3$ e $4$, while lamp $4$ sends signal for lamps $1$, $2$, $3$ e $4$. Therefore, we verify that lamps $1$ e $2$ received only one signal, while lamps $3$ e $4$ received two signals. Therefore, in the next configuration, lamps $1$ e $4$ will be turned on, while lamps $2$ e $3$ will be turned off.
Let $\Psi$ to be the set of all $2^n$ possible configurations, where $0 \le \ell \le n$ random lamps are turned on. We define a function $f: \Psi \rightarrow \Psi$ where, if $\xi$ is a configuration of lamps, then $f(\xi)$ is the configurations obtained after we perform the [i]cool procedure[/i] described above.
Determine all values of $n$ for which $f$ is bijective.