Found problems: 5802
Let $c_1,c_2,\ldots,c_{6030}$ be 6030 real numbers. Suppose that for any 6030 real numbers $a_1,a_2,\ldots,a_{6030}$, there exist 6030 real numbers $\{b_1,b_2,\ldots,b_{6030}\}$ such that \[a_n = \sum_{k=1}^{n} b_{\gcd(k,n)}\] and \[b_n = \sum_{d\mid n} c_d a_{n/d}\] for $n=1,2,\ldots,6030$. Find $c_{6030}$.
[i]Victor Wang.[/i]
Let $\varphi(n)$ denote the number of positive integers less than $n$ that are relatively prime to $n$. Prove that there exists a positive integer $m$ for which the equation $\varphi(n)=m$ has at least $2015$ solutions in $n$.
[i]Proposed by Iurie Boreico[/i]
Is there a sequence $ a_1,a_2,\ldots$ of positive reals satisfying simoultaneously the following inequalities for all positive integers $ n$:
a) $ a_1\plus{}a_2\plus{}\ldots\plus{}a_n\le n^2$
b) $ \frac1{a_1}\plus{}\frac1{a_2}\plus{}\ldots\plus{}\frac1{a_n}\le2008$?
Find all functions $f : \mathbb{N} \rightarrow \mathbb{N}$ such that the following conditions are true for every pair of positive integers $(x, y)$:
$(i)$: $x$ and $f(x)$ have the same number of positive divisors.
$(ii)$: If $x \nmid y$ and $y \nmid x$, then:
$$\gcd(f(x), f(y)) > f(\gcd(x, y))$$
Let $(a_n)$ be a sequence with $a_1=0$ and $a_{n+1}=2+a_n$ for odd $n$ and $a_{n+1}=2a_n$ for even $n$. Prove that for each prime $p>3$, the number
\begin{align*} b=\frac{2^{2p}-1}{3} \mid a_n \end{align*}
for infinitely many values of $n$
Does there exist an infinite sequence of positive integers $a_1, a_2, a_3, . . .$ such that $a_m$ and $a_n$ are coprime if and only if $|m - n| = 1$?
In a football season, even number $n$ of teams plays a simple series, i.e. each team plays once against each other team. Show that ona can group the series into $n-1$ rounds such that in every round every team plays exactly one match.
Consider a sequence of polynomials $P_0(x), P_1(x), P_2(x), \ldots, P_n(x), \ldots$, where $P_0(x) = 2, P_1(x) = x$ and for every $n \geq 1$ the following equality holds:
\[P_{n+1}(x) + P_{n-1}(x) = xP_n(x).\]
Prove that there exist three real numbers $a, b, c$ such that for all $n \geq 1,$
\[(x^2 - 4)[P_n^2(x) - 4] = [aP_{n+1}(x) + bP_n(x) + cP_{n-1}(x)]^2.\]
A function $f_n(x)\ (n=0,\ 1,\ 2,\ 3,\ \cdots)$ satisfies the following conditions:
(i) $f_0(x)=e^{2x}+1$.
(ii) $f_n(x)=\int_0^x (n+2t)f_{n-1}(t)dt-\frac{2x^{n+1}}{n+1}\ (n=1,\ 2,\ 3,\ \cdots).$
Find $\sum_{n=1}^{\infty} f_n'\left(\frac 12\right).$
Let $\mathbb R$ be the set of real numbers. We denote by $\mathcal F$ the set of all functions $f\colon\mathbb R\to\mathbb R$ such that
$$f(x + f(y)) = f(x) + f(y)$$
for every $x,y\in\mathbb R$ Find all rational numbers $q$ such that for every function $f\in\mathcal F$, there exists some $z\in\mathbb R$ satisfying $f(z)=qz$.
Let $S$ be a set of integers (not necessarily positive) such that
(a) there exist $a,b \in S$ with $\gcd(a,b)=\gcd(a-2,b-2)=1$;
(b) if $x$ and $y$ are elements of $S$ (possibly equal), then $x^2-y$ also belongs to $S$.
Prove that $S$ is the set of all integers.
Let $m$ and $n$ be positive integers, and let $\mathcal R$ be a $2m\times{2n}$ grid of unit squares.
A [i]domino[/i] is a $1\times2{}$ or $2\times{1}$ rectangle. A subset $S$ of grid squares in $\mathcal R$ is [i]domino-tileable[/i] if dominoes can be placed to cover every square of $S$ exactly once with no domino extending outside of $S$. [i]Note[/i]: The empty set is domino tileable.
An [i]up-right path[/i] is a path from the lower-left corner of $\mathcal R$ to the upper-right corner of $\mathcal R$ formed by exactly $2m+2n$ edges of the grid squares.
Determine, with proof, in terms of $m$ and $n$, the number of up-right paths that divide $\mathcal R$ into two domino-tileable subsets.
For every integer $ k \geq 2,$ prove that $ 2^{3k}$ divides the number
\[ \binom{2^{k \plus{} 1}}{2^{k}} \minus{} \binom{2^{k}}{2^{k \minus{} 1}}
\]
but $ 2^{3k \plus{} 1}$ does not.
[i]Author: Waldemar Pompe, Poland[/i]
Let $0!!=1!!=1$ and $n!!=n\cdot (n-2)!!$ for all integers $n\geq 2$. Find all positive integers $n$ such that
\[\dfrac{(2^n+1)!!-1}{2^{n+1}}\]
is an integer.
Define the sequence $(x_n)$ by $x_0 = 0$ and for all $n \in \mathbb N,$
\[x_n=\begin{cases} x_{n-1} + (3^r - 1)/2,&\mbox{ if } n = 3^{r-1}(3k + 1);\\ x_{n-1} - (3^r + 1)/2, & \mbox{ if } n = 3^{r-1}(3k + 2).\end{cases}\]
where $k \in \mathbb N_0, r \in \mathbb N$. Prove that every integer occurs in this sequence exactly once.
For an integer $m\geq 1$, we consider partitions of a $2^m\times 2^m$ chessboard into rectangles consisting of cells of chessboard, in which each of the $2^m$ cells along one diagonal forms a separate rectangle of side length $1$. Determine the smallest possible sum of rectangle perimeters in such a partition.
[i]Proposed by Gerhard Woeginger, Netherlands[/i]
Determine all functions $f$ from the reals to the reals for which
(1) $f(x)$ is strictly increasing and (2) $f(x) + g(x) = 2x$ for all real $x$,
where $g(x)$ is the composition inverse function to $f(x)$. (Note: $f$ and $g$ are said to be composition inverses if $f(g(x)) = x$ and $g(f(x)) = x$ for all real $x$.)
An integer is digitally divisible if both of the following conditions are fulfilled:
$(a)$ None of its digits is zero;
$(b)$ It is divisible by the sum of its digits
e.g. $322$ is digitally divisible. Show that there are infinitely many digitally divisible integers.
Let $n > 1$ be a positive integer. A 2-dimensional grid, infinite in all directions, is given. Each 1 by 1 square in a given $n$ by $n$ square has a counter on it. A [i]move[/i] consists of taking $n$ adjacent counters in a row or column and sliding them each by one space along that row or column. A [i]returning sequence[/i] is a finite sequence of moves such that all counters again fill the original $n$ by $n$ square at the end of the sequence.
[list]
[*] Assume that all counters are distinguishable except two, which are indistinguishable from each other. Prove that any distinguishable arrangement of counters in the $n$ by $n$ square can be reached by a returning sequence.
[*] Assume all counters are distinguishable. Prove that there is no returning sequence that switches two counters and returns the rest to their original positions.[/list]
[i]Mitchell Lee and Benjamin Gunby.[/i]
Let $m_1,m_2,...,m_{2013} > 1$ be 2013 pairwise relatively prime positive integers and $A_1,A_2,...,A_{2013}$ be 2013 (possibly empty) sets with $A_i\subseteq \{1,2,...,m_i-1\}$ for $i=1,2,...,2013$. Prove that there is a positive integer $N$ such that
\[ N \le \left( 2\left\lvert A_1 \right\rvert + 1 \right)\left( 2\left\lvert A_2 \right\rvert + 1 \right)\cdots\left( 2\left\lvert A_{2013} \right\rvert + 1 \right) \]
and for each $i = 1, 2, ..., 2013$, there does [i]not[/i] exist $a \in A_i$ such that $m_i$ divides $N-a$.
[i]Proposed by Victor Wang[/i]
Given two natural numbers $ w$ and $ n,$ the tower of $ n$ $ w's$ is the natural number $ T_n(w)$ defined by
\[ T_n(w) = w^{w^{\cdots^{w}}},\]
with $ n$ $ w's$ on the right side. More precisely, $ T_1(w) = w$ and $ T_{n+1}(w) = w^{T_n(w)}.$ For example, $ T_3(2) = 2^{2^2} = 16,$ $ T_4(2) = 2^{16} = 65536,$ and $ T_2(3) = 3^3 = 27.$ Find the smallest tower of $ 3's$ that exceeds the tower of $ 1989$ $ 2's.$ In other words, find the smallest value of $ n$ such that $ T_n(3) > T_{1989}(2).$ Justify your answer.
Let $c \ge 1$ be an integer. Define a sequence of positive integers by $a_1 = c$ and \[a_{n+1}=a_n^3-4c\cdot a_n^2+5c^2\cdot a_n+c\] for all $n\ge 1$. Prove that for each integer $n \ge 2$ there exists a prime number $p$ dividing $a_n$ but none of the numbers $a_1 , \ldots , a_{n -1}$ .
[i]Proposed by Austria[/i]
In a country there are several cities; some of these cities are connected by airlines, so that an airline connects exactly two cities in each case and both flight directions are possible. Each airline belongs to one of $k$ flight companies; two airlines of the same flight company have always a common final point. Show that one can partition all cities in $k+2$ groups in such a way that two cities from exactly the same group are never connected by an airline with each other.
Show that there do not exist natural numbers $a_1, a_2, \dots, a_{2018}$ such that the numbers \[ (a_1)^{2018}+a_2, (a_2)^{2018}+a_3, \dots, (a_{2018})^{2018}+a_1 \] are all powers of $5$
[i]Proposed by Tejaswi Navilarekallu[/i]
Let $f_1(x)$ be a polynomial of degree $2$ with the leading coefficient positive and $f_{n+1}(x) =f_1(f_n(x))$ for $n\ge 1.$ Prove that if the equation $f_2(x)=0$ has four different non-positive real roots, then for arbitrary $n$ then $f_n(x)$ has $2^n$ different real roots.