Day 1

Problem 1

Let $n$ be a positive integer. Define a sequence by setting $a_1=n$ and, for each $k>1$ , letting $a_k$ be the unique integer in the range $0\le a_k\le k-1$ for which $a_1+a_2+\cdots+a_k$ is divisible by $k$ . For instance, when $n=9$ the obtained sequence is $9, 1, 2, 0, 3, 3, 3, \ldots$ . Prove that for any $n$ the sequence $a_1, a_2, a_3, \ldots$ eventually becomes constant.

Solution

Problem 2

A square grid on the Euclidean plane consists of all points $(m,n)$ , where $m$ and $n$ are integers. Is it possible to cover all grid points by an infinite family of discs with non-overlapping interiors if each disc in the family has radius at least 5?

Solution

Problem 3

Let $S$ be a set containing $n^2+n-1$ elements, for some positive integer $n$ . Suppose that the $n$ -element subsets of $S$ are partitioned into two classes. Prove that there are at least $n$ pairwise disjoint sets in the same class.

Solution

Day 2

Problem 4

An animal with $n$ cells is a connected figure consisting of $n$ equal-sized cells. ${}^1$ The figure below shows an 8-cell animal.

A dinosaur is an animal with at least 2007 cells. It is said to be primitive if its cells cannot be partitioned into two or more dinosaurs. Find with proof the maximum number of cells in a primitive dinosaur.

${}^1$ Animals are also called polyominoes. They can be defined inductively. Two cells are adjacent if they share a complete edge. A single cell is an animal, and given an animal with $n$ cells, one with $n+1$ cells is obtained by adjoining a new cell by making it adjacent to one or more existing cells.

Solution

Problem 5

Prove that for every nonnegative integer $n$ , the number $7^{7^n}+1$ is the product of at least $2n+3$ (not necessarily distinct) primes.

Solution

Problem 6

Let $ABC$ be an acute triangle with $\omega$ , $\Omega$ , and $R$ being its incircle, circumcircle, and circumradius, respectively. Circle $\omega_A$ is tangent internally to $\Omega$ at $A$ and tangent externally to $\omega$ . Circle $\Omega_A$ is tangent internally to $\Omega$ at $A$ and tangent internally to $\omega$ . Let $P_A$ and $Q_A$ denote the centers of $\omega_A$ and $\Omega_A$ , respectively. Define points $P_B$ , $Q_B$ , $P_C$ , $Q_C$ analogously. Prove that $8P_AQ_A \cdot P_BQ_B \cdot P_CQ_C \le R^3,$ with equality if and only if triangle $ABC$ is equilateral.