Found problems: 5923
Prove that there exists a constant $ c>0$ such that in every nontrivial finite group $ G$ there exists a sequence of length at most $ c\ln |G|$ with the property that each element of $ G$ equals the product of some subsequence. (The elements of $ G$ in the sequence are not required to be distinct. A [i]subsequence[/i] of a sequence is obtained by selecting some of the terms, not necessarily consecutive, without reordering them; for example, $ 4,4,2$ is a subesequence of $ 2,4,6,4,2,$ but $ 2,2,4$ is not.)
Define a sequence called the $2020$-nacci sequence. It is defined as follows: If $n \le 2020$ then $S_n=1,$ if $n>2020$ then $S_n=\sum_{i=n-2020}^{n-1} S_i.$ Find the last two digits of $S_{4040}.$
Let $n$ be a positive integer. For each partition of the set $\{1,2,\dots,3n\}$ into arithmetic progressions, we consider the sum $S$ of the respective common differences of these arithmetic progressions. What is the maximal value that $S$ can attain?
(An [i]arithmetic progression[/i] is a set of the form $\{a,a+d,\dots,a+kd\}$, where $a,d,k$ are positive integers, and $k\geqslant 2$; thus an arithmetic progression has at least three elements, and successive elements have difference $d$, called the [i]common difference[/i] of the arithmetic progression.)
Let $T$ the set of the infinite sequences of integers. For two given elements in $T$:
$(a_{1},a_{2},a_{3},...)$ and $(b_{1},b_{2},b_{3},...)$, define the sum
$(a_{1},a_{2},a_{3},...)+(b_{1},b_{2},b_{3},...)=(a_{1}+b_{1},a_{2}+b_{2},a_{3}+b_{3},...)$.
Let $f: T\rightarrow$ $\mathbb{Z}$ a function such that:
i) If $x\in T$ has exactly one of your terms equal $1$ and all the others equal $0$, then $f(x)=0$.
ii)$f(x+y)=f(x)+f(y)$, for all $x,y\in T$.
Prove that $f(x)=0$ for all $x\in T$
Let $a_1, a_2, a_3,\ldots$ be an infinite sequence of positive integers such that $a_2 \ne 2a_1$, and for all positive integers $m$ and $n$, the sum $m + n$ is a divisor of $a_m + a_n$. Prove that there exists an integer $M$ such that for all $n > M$, we have $a_n \ge n^3$.
We consider two sequences of real numbers $x_{1} \geq x_{2} \geq \ldots \geq x_{n}$ and $\ y_{1} \geq y_{2} \geq \ldots \geq y_{n}.$ Let $z_{1}, z_{2}, .\ldots, z_{n}$ be a permutation of the numbers $y_{1}, y_{2}, \ldots, y_{n}.$ Prove that $\sum \limits_{i=1}^{n} ( x_{i} -\ y_{i} )^{2} \leq \sum \limits_{i=1}^{n}$ $( x_{i} - z_{i})^{2}.$
Aaron the ant walks on the coordinate plane according to the following rules. He starts at the origin $p_0=(0,0)$ facing to the east and walks one unit, arriving at $p_1=(1,0)$. For $n=1,2,3,\dots$, right after arriving at the point $p_n$, if Aaron can turn $90^\circ$ left and walk one unit to an unvisited point $p_{n+1}$, he does that. Otherwise, he walks one unit straight ahead to reach $p_{n+1}$. Thus the sequence of points continues $p_2=(1,1), p_3=(0,1), p_4=(-1,1), p_5=(-1,0)$, and so on in a counterclockwise spiral pattern. What is $p_{2015}$?
$ \textbf{(A) } (-22,-13)\qquad\textbf{(B) } (-13,-22)\qquad\textbf{(C) } (-13,22)\qquad\textbf{(D) } (13,-22)\qquad\textbf{(E) } (22,-13) $
The increasing sequence of positive integers $a_{1},a_{2},a_{3},\ldots$ has the property that $a_{n+2} = a_{n} + a_{n+1}$ for all $n \ge 1$. If $a_{7} = 120$, then $a_{8}$ is
$ \textbf{(A)}\ 128\qquad\textbf{(B)}\ 168\qquad\textbf{(C)}\ 193\qquad\textbf{(D)}\ 194\qquad\textbf{(E)}\ 210 $
As shown in the figure below a regular dodecahedron (the polyhedron consisting of 12 congruent regular pentagonal faces) floats in space with two horizontal faces. Note that there is a ring of five slanted faces adjacent to the top face, and a ring of five slanted faces adjacent to the bottom face. How many ways are there to move from the top face to the bottom face via a sequence of adjacent faces so that each face is visited at most once and moves are not permitted from the bottom ring to the top ring?
[asy]
import graph;
unitsize(4.5cm);
pair A = (0.082, 0.378);
pair B = (0.091, 0.649);
pair C = (0.249, 0.899);
pair D = (0.479, 0.939);
pair E = (0.758, 0.893);
pair F = (0.862, 0.658);
pair G = (0.924, 0.403);
pair H = (0.747, 0.194);
pair I = (0.526, 0.075);
pair J = (0.251, 0.170);
pair K = (0.568, 0.234);
pair L = (0.262, 0.449);
pair M = (0.373, 0.813);
pair N = (0.731, 0.813);
pair O = (0.851, 0.461);
path[] f;
f[0] = A--B--C--M--L--cycle;
f[1] = C--D--E--N--M--cycle;
f[2] = E--F--G--O--N--cycle;
f[3] = G--H--I--K--O--cycle;
f[4] = I--J--A--L--K--cycle;
f[5] = K--L--M--N--O--cycle;
draw(f[0]);
axialshade(f[1], white, M, gray(0.5), (C+2*D)/3);
draw(f[1]);
filldraw(f[2], gray);
filldraw(f[3], gray);
axialshade(f[4], white, L, gray(0.7), J);
draw(f[4]);
draw(f[5]);
[/asy]
$\textbf{(A) } 125 \qquad \textbf{(B) } 250 \qquad \textbf{(C) } 405 \qquad \textbf{(D) } 640 \qquad \textbf{(E) } 810$
A frog sitting at the point $(1, 2)$ begins a sequence of jumps, where each jump is parallel to one of the coordinate axes and has length $1$, and the direction of each jump (up, down, right, or left) is chosen independently at random. The sequence ends when the frog reaches a side of the square with vertices $(0,0), (0,4), (4,4),$ and $(4,0)$. What is the probability that the sequence of jumps ends on a vertical side of the square$?$
$\textbf{(A) } \frac{1}{2} \qquad \textbf{(B) } \frac{5}{8} \qquad \textbf{(C) } \frac{2}{3} \qquad \textbf{(D) } \frac{3}{4} \qquad \textbf{(E) } \frac{7}{8}$
We define the [i]Fibonacci sequence[/i] $\{F_n\}_{n\ge0}$ by $F_0=0$, $F_1=1$, and for $n\ge2$, $F_n=F_{n-1}+F_{n-2}$; we define the [i]Stirling number of the second kind[/i] $S(n,k)$ as the number of ways to partition a set of $n\ge1$ distinguishable elements into $k\ge1$ indistinguishable nonempty subsets.
For every positive integer $n$, let $t_n = \sum_{k=1}^{n} S(n,k) F_k$. Let $p\ge7$ be a prime. Prove that \[ t_{n+p^{2p}-1} \equiv t_n \pmod{p} \] for all $n\ge1$.
[i]Proposed by Victor Wang[/i]
Within an arithmetic progression of length $ 2005, $ find the number of arithmetic subprogressions of length $ 501 $ that don't contain the $ \text{1000-th} $ term of the progression.
The integers $a, b,$ and $c$ form a strictly increasing geometric sequence. Suppose that $abc = 216$. What is the maximum possible value of $a + b + c$?
A harmonic progression is a sequence of numbers such that their reciprocals are in arithmetic progression.
Let $S_n$ represent the sum of the first $n$ terms of the harmonic progression; for example $S_3$ represents the sum of the first three terms. If the first three terms of a harmonic progression are $3,4,6$, then:
$ \textbf{(A)}\ S_4=20 \qquad\textbf{(B)}\ S_4=25\qquad\textbf{(C)}\ S_5=49\qquad\textbf{(D)}\ S_6=49\qquad\textbf{(E)}\ S_2=\frac12 S_4 $
Given a positive real number $a_1$, we recursively define $a_{n+1} = 1+a_1 a_2 \cdots \cdot a_n.$ Furthermore, let
$$b_n = \frac{1}{a_1 } + \frac{1}{a_2 } +\cdots + \frac{1}{a_n }.$$
Prove that $b_n < \frac{2}{a_1}$ for all positive integers $n$ and that this is the smallest possible bound.
We have a machine that has an input and an output. The input is a letter from the finite set $I$ and the output is a lamp that at each moment has one of the colors of the set $C=\{c_1,\dots,c_p\}$.
At each moment the machine has an inner state that is one of the $n$ members of finite set $S$. The function $o: S \rightarrow C$ is a surjective function defining that at each state, what color must the lamp be, and the function $t:S \times I \rightarrow S$ is a function defining how does giving each input at each state changes the state. We only shall see the lamp and we have no direct information from the state of the car at current moment.
In other words a machine is $M=(S,I,C,o,t)$ such that $S,I,C$ are finite, $t:S \times I \rightarrow S$ , and $o:S \rightarrow C$ is surjective. It is guaranteed that for each two different inner states, there's a sequence of inputs such that the color of the lamp after giving the sequence to the machine at the first state is different from the color of the lamp after giving the sequence to the machine at the second state.
(a) The machine $M$ has $n$ different inner states. Prove that for each two different inner states, there's a sequence of inputs of length no more than $n-p$ such that the color of the lamp after giving the sequence to the machine at the first state is different from the color of the lamp after giving the sequence to the machine at the second state.
(b) Prove that for a machine $M$ with $n$ different inner states, there exists an algorithm with no more than $n^2$ inputs that starting at any unknown inner state, at the end of the algorithm the state of the machine at that moment is known.
Can you prove the above claim for $\frac{n^2}{2}$?
A finite sequence of decimal digits from $\{0,1,\cdots, 9\}$ is said to be [i]common[/i] if for each sufficiently large positive integer $n$, there exists a positive integer $m$ such that the expansion of $n$ in base $m$ ends with this sequence of digits.
For example, $0$ is common because for any large $n$, the expansion of $n$ in base $n$ is $10$, whereas $00$ is not common because for any squarefree $n$, the expansion of $n$ in any base cannot end with $00$.
Determine all common sequences.
[i]Proposed by Wong Jer Ren[/i]
Let $s_1,s_2,s_3,s_4,...$ be a sequence (infinite list) of $1$s and $0$s. For example $1,0,1,0,1,0,...$, that is, $s_n=1$ if $n$ is odd and $s_n=0$ if $n$ is even, is such a sequence. Prove that it is possible to delete infinitely many terms in $s_1,s_2,s_3,s_4,...$ so that the resulting sequence is the original sequence. For the given example, one can delete $s_3,s_4,s_7,s_8,s_{11},s_{12},...$
Let $n > 1$ be an integer. In a circular arrangement of $n$ lamps $L_0, \ldots, L_{n-1},$ each of of which can either ON or OFF, we start with the situation where all lamps are ON, and then carry out a sequence of steps, $Step_0, Step_1, \ldots .$ If $L_{j-1}$ ($j$ is taken mod $n$) is ON then $Step_j$ changes the state of $L_j$ (it goes from ON to OFF or from OFF to ON) but does not change the state of any of the other lamps. If $L_{j-1}$ is OFF then $Step_j$ does not change anything at all. Show that:
(i) There is a positive integer $M(n)$ such that after $M(n)$ steps all lamps are ON again,
(ii) If $n$ has the form $2^k$ then all the lamps are ON after $n^2-1$ steps,
(iii) If $n$ has the form $2^k + 1$ then all lamps are ON after $n^2 - n + 1$ steps.
The sequence $ (a_n)_{n\ge 1}$ is defined by $ a_1 \equal{} 3$, $ a_2 \equal{} 11$ and $ a_n \equal{} 4a_{n\minus{}1}\minus{}a_{n\minus{}2}$, for $ n \ge 3$. Prove that each term of this sequence is of the form $ a^2 \plus{} 2b^2$ for some natural numbers $ a$ and $ b$.
One member of an infinite arithmetic sequence in the set of natural numbers is a perfect square. Show that there are infinitely many members of this sequence having this property.
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 a triple $(l, m, n)$ of positive integers $(1<l<m<n)$, such that $\sum_{k=1}^{l}k, \sum_{k=l+1}^{m}k, \sum_{k=m+1}^{n}k$ form a geometric sequence in order.
Let $n > 1$ be a positive integer. Prove that every term of the sequence
$$
n - 1, n^n - 1, n^{n^2} - 1, n^{n^3} - 1, \dots
$$
has a prime divisor that does not divide any of the previous terms.
We say two sequence of natural numbers A=($a_1,...,a_n$) , B=($b_1,...,b_n$)are the exchange and we write $A\sim B$.
if $503\vert a_i - b_i$ for all $1\leq i\leq n$.
also for natural number $r$ : $A^r$ = ($a_1^r,a_2^r,...,a_n^r$).
Prove that there are natural number $k,m$ such that :
$i$)$250 \leq k $
$ii$)There are different permutations $\pi _1,...,\pi_k$ from {$1,2,3,...,502$} such that for $1\leq i \leq k-1$ we have $\pi _i^m\sim \pi _{i+1}$
(15 points)