Found problems: 5802
Let $M$ be a finite set of lattice points and $n$ be a positive integer. A $\textit{mine-avoiding path}$ is a path of lattice points with length $n$, beginning at $(0,0)$ and ending at a point on the line $x+y=n,$ that does not contain any point in $M$. Prove that if there exists a mine-avoiding path, then there exist at least $2^{n-|M|}$ mine-avoiding paths. [hide=*]A lattice point is a point $(x,y)$ where $x$ and $y$ are integers. A path of lattice points with length $n$ is a sequence of lattice points $P_0,P_1,\ldots, P_n$ in which any two adjacent points in the sequence have distance 1 from each other.[/hide]
[i]Ankit Bisain and Holden Mui[/i]
For $n\in\mathbb{N}$ prove that
\[\frac{1}{2}\cdot\frac{3}{4}\cdot\frac{5}{6}\cdots\frac{2n-1}{2n}\leq\frac{1}{\sqrt{2n+1}}.\]
It is known that $n$ is a positive integer and $n \le 144$. Ten questions of the type “Is $n$ smaller than $a$?” are allowed. Answers are given with a delay: for $i = 1, \ldots , 9$, the $i$-th question is answered only after the $(i + 1)$-th question is asked. The answer to the tenth question is given immediately.
Find a strategy for identifying $n$.
Given a positive integer $n$, find the least $\lambda>0$ such that for any $x_1,\ldots x_n\in \left(0,\frac{\pi}{2}\right)$, the condition $\prod_{i=1}^{n}\tan x_i=2^{\frac{n}{2}}$ implies $\sum_{i=1}^{n}\cos x_i\le\lambda$.
[i]Huang Yumin[/i]
Determine all integers $n\geqslant 2$ with the following property: every $n$ pairwise distinct integers whose sum is not divisible by $n$ can be arranged in some order $a_1,a_2,\ldots, a_n$ so that $n$ divides $1\cdot a_1+2\cdot a_2+\cdots+n\cdot a_n.$
[i]Arsenii Nikolaiev, Anton Trygub, Oleksii Masalitin, and Fedir Yudin[/i]
Determine all the functions $ f: \mathbb{N}\rightarrow \mathbb{N}$ such that
\[ f(n)\plus{}f(n\plus{}1)\plus{}f(f(n))\equal{}3n\plus{}1, \quad \forall n\in \mathbb{N}.\]
Let $ a_1$, $ a_2$, $ \ldots$, $ a_n$ be distinct positive integers, $ n\ge 3$. Prove that there exist distinct indices $ i$ and $ j$ such that $ a_i \plus{} a_j$ does not divide any of the numbers $ 3a_1$, $ 3a_2$, $ \ldots$, $ 3a_n$.
[i]Proposed by Mohsen Jamaali, Iran[/i]
Show that $n!=a^{n-1}+b^{n-1}+c^{n-1}$ has only finitely many solutions in positive integers.
[i]Proposed by Dorlir Ahmeti, Albania[/i]
Ryan is learning number theory. He reads about the [i]Möbius function[/i] $\mu : \mathbb N \to \mathbb Z$, defined by $\mu(1)=1$ and
\[ \mu(n) = -\sum_{\substack{d\mid n \\ d \neq n}} \mu(d) \]
for $n>1$ (here $\mathbb N$ is the set of positive integers).
However, Ryan doesn't like negative numbers, so he invents his own function: the [i]dubious function[/i] $\delta : \mathbb N \to \mathbb N$, defined by the relations $\delta(1)=1$ and
\[ \delta(n) = \sum_{\substack{d\mid n \\ d \neq n}} \delta(d) \]
for $n > 1$. Help Ryan determine the value of $1000p+q$, where $p,q$ are relatively prime positive integers satisfying
\[ \frac{p}{q}=\sum_{k=0}^{\infty} \frac{\delta(15^k)}{15^k}. \]
[i]Proposed by Michael Kural[/i]
Let $n \ge 2$ be an integer. Show that there exist $n+1$ numbers $x_1, x_2, \ldots, x_{n+1} \in \mathbb{Q} \setminus \mathbb{Z}$, so that
$\{ x_1^3 \} + \{ x_2^3 \} + \cdots + \{ x_n^3 \}=\{ x_{n+1}^3 \}$, where $\{ x \}$ is the fractionary part of $x$.
Let $n \geq 3$ be an integer. Let $t_1$, $t_2$, ..., $t_n$ be positive real numbers such that \[n^2 + 1 > \left( t_1 + t_2 + \cdots + t_n \right) \left( \frac{1}{t_1} + \frac{1}{t_2} + \cdots + \frac{1}{t_n} \right).\] Show that $t_i$, $t_j$, $t_k$ are side lengths of a triangle for all $i$, $j$, $k$ with $1 \leq i < j < k \leq n$.
Find the maximum number of subsets from $\left \{ 1,...,n \right \}$ such that for any two of them like $A,B$ if $A\subset B$ then $\left | B-A \right |\geq 3$. (Here $\left | X \right |$ is the number of elements of the set $X$.)
Let $ n, k \in \mathbb{N}$ with $ 1 \leq k \leq \frac {n}{2} - 1.$ There are $ n$ points given on a circle. Arbitrarily we select $ nk + 1$ chords among the points on the circle. Prove that of these chords there are at least $ k + 1$ chords which pairwise do not have a point in common.
Let $m$ be a positive integer. The positive integer $a$ is called a [i]golden residue[/i] modulo $m$ if $\gcd(a,m)=1$ and $x^x \equiv a \pmod m$ has a solution for $x$. Given a positive integer $n$, suppose that $a$ is a golden residue modulo $n^n$. Show that $a$ is also a golden residue modulo $n^{n^n}$.
[i]Proposed by Mahyar Sefidgaran[/i]
Let $ f(x)\equal{}\sum_{n\equal{}1}^{\infty} a_n/(x\plus{}n^2), \;(x \geq 0)\ ,$ where $ \sum_{n\equal{}1}^{\infty} |a_n|n^{\minus{} \alpha} < \infty$ for some $ \alpha > 2$. Let us assume that for some $ \beta > 1/{\alpha}$, we have $ f(x)\equal{}O(e^{\minus{}x^{\beta}})$ as $ x \rightarrow \infty$. Prove that $ a_n$ is identically $ 0$.
[i]G. Halasz[/i]
Find all functions $ f : \mathbb{R}\to\mathbb{R}$ satisfying following conditions.
(a) $ f(x) \ge 0 $ for all $ x \in \mathbb{R} $.
(b) For $ a, b, c, d \in \mathbb{R} $ with $ ab + bc + cd = 0 $, equality $ f(a-b) + f(c-d) = f(a) + f(b+c) + f(d) $ holds.
$\mathbb{N}_{10}$ is generalization of $\mathbb{N}$ that every hypernumber in $\mathbb{N}_{10}$ is something like: $\overline{...a_2a_1a_0}$ with $a_i \in {0,1..9}$
(Notice that $\overline {...000} \in \mathbb{N}_{10}$)
Also we easily have $+,*$ in $\mathbb{N}_{10}$.
first $k$ number of $a*b$= first $k$ nubmer of (first $k$ number of a * first $k$ number of b)
first $k$ number of $a+b$= first $k$ nubmer of (first $k$ number of a + first $k$ number of b)
Fore example $\overline {...999}+ \overline {...0001}= \overline {...000}$
Prove that every monic polynomial in $\mathbb{N}_{10}[x]$ with degree $d$ has at most $d^2$ roots.
Let $k$ be a positive integer. Find all collection of integers $(a_1, a_2,\cdots, a_k)$ such that there exist a non-linear polynomial $P$ with integer coefficients, so that for all positive integers $n$ there exist a positive integer $m$ satisfying: $$P(n+a_1)+P(n+a_2)+...+P(n+a_k)=P(m)$$
[i]Proposed by Ivan Chan Kai Chin[/i]
Let $a, b$ be integers, and let $P(x) = ax^3+bx.$ For any positive integer $n$ we say that the pair $(a,b)$ is $n$-good if $n | P(m)-P(k)$ implies $n | m - k$ for all integers $m, k.$ We say that $(a,b)$ is $very \ good$ if $(a,b)$ is $n$-good for infinitely many positive integers $n.$
[list][*][b](a)[/b] Find a pair $(a,b)$ which is 51-good, but not very good.
[*][b](b)[/b] Show that all 2010-good pairs are very good.[/list]
[i]Proposed by Okan Tekman, Turkey[/i]
Let $P$ be the set of prime numbers. Consider a subset $M$ of $P$ with at least three elements. We assume that, for each non empty and finite subset $A$ of $M$, with $A \neq M$, the prime divisors of the integer $( \prod_{p \in A} ) - 1$ belong to $M$.
Prove that $M = P$.
Find all functions $f:\mathbb{Q}\rightarrow\mathbb{Q}$ such that\[f(x)+f(t)=f(y)+f(z)\]for all rational numbers $x<y<z<t$ that form an arithmetic progression. ($\mathbb{Q}$ is the set of all rational numbers.)
A strictly increasing sequence $\{x_i\}_{i=1}^{\infty}$ of positive integers is said to be [i]large[/i] if, for every real number $L$, there exists an integer $n$ such that $\frac{1}{x_1} + \frac{1}{x_2} + \cdots + \frac{1}{x_n} > L$. Do there exist large sequences $\{a_i\}_{i=1}^\infty$ and $\{b_i\}_{i=1}^{\infty}$ such that the sequence $\{a_i+b_i\}_{i=1}^{\infty}$ is not large?
[i]Proposed by Lewis Chen[/i]
For every natural number $n$ we define $f(n)$ by the following rule: $f(1) = 1$ and for $n>1$ then $f(n) = 1 + a_1 \cdot p_1 + \ldots + a_k \cdot p_k$, where $n = p_1^{a_1} \cdots p_k^{a_k}$ is the canonical prime factorisation of $n$ ($p_1, \ldots, p_k$ are distinct primes and $a_1, \ldots, a_k$ are positive integers). For every positive integer $s$, let $f_s(n) = f(f(\ldots f(n))\ldots)$, where on the right hand side there are exactly $s$ symbols $f$. Show that for every given natural number $a$, there is a natural number $s_0$ such that for all $s > s_0$, the sum $f_s(a) + f_{s-1}(a)$ does not depend on $s$.
Prove that for any positive integer $ n$, there exists only $ n$ degree polynomial $ f(x),$ satisfying $ f(0) \equal{} 1$ and $ (x \plus{} 1)[f(x)]^2 \minus{} 1$ is an odd function.
The equation $x^3-3x^2+1=0$ has three real solutions $x_1<x_2<x_3$. Show that for any positive integer $n$, the number $\left\lceil x_3^n\right\rceil$ is a multiple of $3$.