Let $\rho:G\to GL(V)$ be a representation of a finite $p$-group $G$ over a field of characteristic $p$. Prove that if the restriction of the linear map $\sum_{g\in G} \rho(g)$ to a finite dimensional subspace $W$ of $V$ is injective, then the subspace spanned by the subspaces $\rho(g)W$ $(g\in G)$ is the direct sum of these subspaces.

Find all f:N $\longrightarrow$ N that: [list][b]a)[/b] $f(m)=1 \Longleftrightarrow m=1 $ [b]b)[/b] $d=gcd(m,n) f(m\cdot n)= \frac{f(m)\cdot f(n)}{f(d)} $ [b]c)[/b] $ f^{2000}(m)=f(m) $[/list]

Points $STABCD$ in space form a convex octahedron with faces $SAB,SBC,SCD,SDA,TAB,TBC,TCD,TDA$ such that there exists a sphere that is tangent to all of its edges. Prove that $A,B,C,D$ lie in one plane.

Consider the sequence $\{a_n\}$ such that $a_0=4$, $a_1=22$, and $a_n-6a_{n-1}+a_{n-2}=0$ for $n\ge2$. Prove that there exist sequences $\{x_n\}$ and $\{y_n\}$ of positive integers such that \[ a_n=\frac{y_n^2+7}{x_n-y_n} \] for any $n\ge0$.

Let triangle $ABC$ with $AB<AC$ has orthocenter $H$, and let the midpoint of $BC$ be $M$. The internal angle bisector of $\angle BAC$ meet $CH$ at $X$, and the external angle bisector of $\angle BAC$ meet $BH$ at $Y$. The circles $(BHX)$ and $(CHY)$ meet again at $Z$. Prove that $\angle HZM=90^{\circ}$. [i]Proposed by Ivan Chan Kai Chin[/i]

A sequence $a_1, a_2, \ldots $ consisting of $1$'s and $0$'s satisfies for all $k>2016$ that \[ a_k=0 \quad \Longleftrightarrow \quad a_{k-1}+a_{k-2}+\cdots+a_{k-2016}>23. \] Prove that there exist positive integers $N$ and $T$ such that $a_k=a_{k+T}$ for all $k>N$.

Find all pairs of real numbers $(a,b)$ so that there exists a polynomial $P(x)$ with real coefficients and $P(P(x))=x^4-8x^3+ax^2+bx+40$.

We say that a polygon is rectangular when all of its angles are $90^\circ$ or $270^\circ$. Is it true that each rectangular polygon, which sides are with length equal to odd numbers only, [u]can't[/u] be covered with 2x1 domino tiles?

In a simple graph $G$, we call $t$ pairwise adjacent vertices a $t$[i]-clique[/i]. If a vertex is connected with all other vertices in the graph, we call it a [i]central[/i] vertex. Given are two integers $n,k$ such that $\dfrac {3}{2} \leq \dfrac{1}{2} n < k < n$. Let $G$ be a graph on $n$ vertices such that [b](1)[/b] $G$ does not contain a $(k+1)$-[i]clique[/i]; [b](2)[/b] if we add an arbitrary edge to $G$, that creates a $(k+1)$-[i]clique[/i]. Find the least possible number of [i]central[/i] vertices in $G$.

How many permutations $p$ of $\{1, 2, ..., 8\}$ satisfy $|p(p(a)) - a| \leq 1$ for all $a$? [i]Team #9[/i]

Prove that there exist monic polynomial $f(x) $ with degree of 6 and having integer coefficients such that (1) For all integer $m$, $f(m) \ne 0$. (2) For all positive odd integer $n$, there exist positive integer $k$ such that $f(k)$ is divided by $n$.

For a positive integer $n$, let $v(n)$ denote the largest integer $j$ such that $n$ is divisible by $2^j$. Let $a$ and $b$ be chosen uniformly and independently at random from among the integers between 1 and 32, inclusive. What is the probability that $v(a) > v(b)$?

We are given two triangles. Prove, that if $\angle{C}=\angle{C'}$ and $\frac{R}{r}=\frac{R'}{r'}$, then they are similar.

Prove that there are infinitely many positive integers $n$ such that $n$ divides $2017^{2017^n-1} - 1$ but n does not divide $2017^n - 1$.

Suppose $x, y, z, t$ are real numbers such that $\begin{cases} |x + y + z -t |\le 1 \\ |y + z + t - x|\le 1 \\ |z + t + x - y|\le 1 \\ |t + x + y - z|\le 1 \end{cases}$ Prove that $x^2 + y^2 + z^2 + t^2 \le 1$.

Suppose we have a $8\times8$ chessboard. Each edge have a number, corresponding to number of possibilities of dividing this chessboard into $1\times2$ domino pieces, such that this edge is part of this division. Find out the last digit of the sum of all these numbers. (Day 1, 3rd problem author: Michal Rolínek)

Let $\overline{a_1a_2a_3\ldots a_n}$ be the representation of a $n-$digits number in base $10.$ Prove that there exists a one-to-one function like $f : \{0, 1, 2, 3, \ldots, 9\} \to \{0, 1, 2, 3, \ldots, 9\}$ such that $f(a_1) \neq 0$ and the number $\overline{ f(a_1)f(a_2)f(a_3) \ldots f(a_n) }$ is divisible by $3.$

Rectangle $DEFA$ below is a $3 \times 4$ rectangle with $DC=CB=BA$. The area of the "bat wings" is [asy] size(180); defaultpen(fontsize(11pt)); draw((0,0)--(3,0)--(3,4)--(0,4)--(0,0)--(2,4)--(3,0)); draw((3,0)--(1,4)--(0,0)); fill((0,0)--(1,4)--(1.5,3)--cycle, black); fill((3,0)--(2,4)--(1.5,3)--cycle, black); label("$D$",(0,4),NW); label("$C$",(1,4),N); label("$B$",(2,4),N); label("$A$",(3,4),NE); label("$E$",(0,0),SW); label("$F$",(3,0),SE);[/asy] $\textbf{(A) }2\qquad\textbf{(B) }2 \frac{1}{2}\qquad\textbf{(C) }3\qquad\textbf{(D) }3 \frac{1}{2}\qquad \textbf{(E) }5$

A simplified model of a bicycle of mass $M$ has two tires that each comes into contact with the ground at a point. The wheelbase of this bicycle (the distance between the points of contact with the ground) is $w$, and the center of mass of the bicycle is located midway between the tires and a height h above the ground. The bicycle is moving to the right, but slowing down at a constant rate. The acceleration has a magnitude $a$. Air resistance may be ignored. [asy] size(175); pen dps = linewidth(0.7) + fontsize(4); defaultpen(dps); draw(circle((0,0),1),black+linewidth(2.5)); draw(circle((3,0),1),black+linewidth(2.5)); draw((1.5,0)--(0,0)--(1,1.5)--(2.5,1.5)--(1.5,0)--(1,1.5),black+linewidth(1)); draw((3,0)--(2.4,1.8),black+linewidth(1)); filldraw(circle((1.5,2/3),0.05),gray); draw((1.3,1.6)--(0.7,1.6)--(0.7,1.75)--cycle,black+linewidth(1)); label("center of mass of bicycle",(2.5,1.9)); draw((1.55,0.85)--(1.8,1.8),BeginArrow); draw((4.5,-1)--(4.5,2/3),BeginArrow,EndArrow); label("$h$",(4.5,-1/6),E); draw((1.5,2/3)--(4.5,2/3),dotted); draw((0,-1)--(4.5,-1),dotted); draw((0,-5/4)--(3,-5/4),BeginArrow,EndArrow); label("$w$",(3/2,-5/4),S); draw((0,-1)--(0,-6/4),dotted); draw((3,-1)--(3,-6/4),dotted); [/asy] Case 1 ([b][u]Questions 28 - 29[/u][/b]): Assume that the coefficient of sliding friction between each tire and the ground is $\mu$, and that both tires are skidding: sliding without rotating. Express your answers in terms of $w$, $h$, $M$, and $g$. What is the maximum value of $a$ so that both tires remain in contact with the ground? $ \textbf{(A)}\ \frac{wg}{h} $ $ \textbf{(B)}\ \frac{wg}{2h}$ $ \textbf{(C)}\ \frac{hg}{2w} $ $ \textbf{(D)}\ \frac{h}{2wg} $ $ \textbf{(E)}\ \text{none of the above} $

Let $ABCD$ be a trapezoid (quadrilateral with one pair of parallel sides) such that $AB < CD$. Suppose that $AC$ and $BD$ meet at $E$ and $AD$ and $BC$ meet at $F$. Construct the parallelograms $AEDK$ and $BECL$. Prove that $EF$ passes through the midpoint of the segment $KL$.

[5] Find all integers $n$ for which $\frac{n^3+8}{n^2-4}$ is an integer.

Do there exist two positive reals $\alpha, \beta$ such that each positive integer appears exactly once in the following sequence? \[ 2020, [\alpha], [\beta], 4040, [2\alpha], [2\beta], 6060, [3\alpha], [3\beta], \cdots \] If so, determine all such pairs; if not, prove that it is impossible.

Prove that if the roots of the equation $ x^3 + ax^2 + bx + c = 0 $, with real coefficients, are real, then the roots of the equation $ 3x^2 + 2ax + b = 0 $ are also real.

Let $ a > b > 1$ be relatively prime positive integers. Define the weight of an integer $ c$, denoted by $ w(c)$ to be the minimal possible value of $ |x| \plus{} |y|$ taken over all pairs of integers $ x$ and $ y$ such that \[ax \plus{} by \equal{} c.\] An integer $ c$ is called a [i]local champion [/i]if $ w(c) \geq w(c \pm a)$ and $ w(c) \geq w(c \pm b)$. Find all local champions and determine their number. [i]Proposed by Zoran Sunic, USA[/i]

The circles $C_1, C_2$ and $C_3$ are externally tangent in pairs (each tangent to other two externally). Let $M$ the common point of $C_1$ and $C_2, N$ the common point of $C_2$ and $C_3$ and $P$ the common point of $C_3$ and $C_1$. Let $A$ be an arbitrary point of $C_1$. Line $AM$ cuts $C_2$ in $B$, line $BN$ cuts $C_3$ in $C$ and line $CP$ cuts $C_1$ in $D$. Prove that $AD$ is diameter of $C_1$.