Académique Documents
Professionnel Documents
Culture Documents
Day 1
Problem 1
Let be a positive integer. Define a sequence by setting and, for each
, letting be the unique integer in the range for which
is divisible by . For instance, when the obtained
sequence is . Prove that for any the sequence
eventually becomes constant.
Solution
Problem 2
A square grid on the Euclidean plane consists of all points , where and
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 be a set containing elements, for some positive integer .
Suppose that the -element subsets of are partitioned into two classes. Prove
that there are at least pairwise disjoint sets in the same class.
Solution
Day 2
Problem 4
An animal with cells is a connected figure consisting of equal-sized cells. 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.
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 cells, one with
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 , the number is the product of at
least (not necessarily distinct) primes.
Solution
Problem 6
Let be an acute triangle with , , and being its incircle, circumcircle, and
circumradius, respectively. Circle is tangent internally to at and tangent
externally to . Circle is tangent internally to at and tangent internally to .
Let and denote the centers of and , respectively. Define points ,
, , analogously. Prove that with equality if
and only if triangle is equilateral.
Solution 1
By the above, we have that
Solution 2
Let . Since , we have that
.
Thus, .
Since , for some integer , we can keep adding to
satisfy the conditions, provided that because .
Lemma: among 3 tangent circles with radius greater than or equal to 5, one can
always fit a circle with radius greater than between those 3 circles.
Proof: Descartes' Circle Theorem states that if a is the curvature of a circle (
Take the positive root, as the negative root corresponds to externally tangent
circle.
, so , , as desired.
always a circle of radius greater than that lies between . However, any
circle with must contain a lattice point. (Consider placing an unit square
parallel to the gridlines in the circle.) That is a contradiction. Hence no such tiling
exists.
Solution 1
Let a -dino denote an animal with or more cells.
We show by induction that an -dino with or more animal cells is not
primitive. (Note: if it had more, we could just take off enough until it had 4n-2,
which would have a partition, and then add the cells back on.)
Base Case: If , we have two cells, which are clearly not primitive.
Inductive Step: Assume any cell animal can be partitioned into two or more
-dinos.
For a given -dino, take off any four cells (call them ) to get an
animal with cells.
This can be partitioned into two or more -dinos, let's call them and . This
means that and are connected.
If both and are -dinos or if don't all attach to one of them,
then we're done.
So assume has cells and thus has at least cells, and that
are added to . So has cells total.
Let denote the cell of attached to . There are cells on besides .
Thus, of the three (or less) sides of not attached to , one of them must have
cells by the pigeonhole principle. It then follows that we can add , , and
the other two sides together to get an dino, and the side of that has
cells is also an n-dino, so we can partition the animal with cells into two
-dinos and we're done.
Thus, our answer is cells.
Solution 2
For simplicity, let and let be the number of squares. Let the centers of
the squares be vertices, and connect any centers of adjacent squares with
edges. Suppose we have some loops. Just remove an edge in the loop. We are
still connected since you can go around the other way in the loop. Now we have
no loops. Each vertex can have at most 4 edges coming out of it. For each point,
assign it the quadruple: where , , , are the numbers of verticies on
each branch, WLOG . Note .
Claim: If , then we must be able to divide the animal into two
dinosaurs. Chose a vertex, , for which is minimal (i.e. out of all maximal
elements in a quadruple, choose the one with the least maximal element). We
have that , so . Hence we can just cut off that
branch, that forms a dinosaur.
But suppose the remaining verticies do not make a dinosaur. Then we have
. Now move to the
first point on the branch at . We have a new quadruple )
where .
Now consider the maximal element of that quadruple. We already have
. WLOG , then
so , so is
the maximal element of that quadruple.
Also , so . But that is a contradiction to the
minimality of . Therefore, we must have that , so we have a
partition of two dinosaurs.
Maximum: . Consider a cross with each branch having verticies.
Clearly if we take partition verticies, we remove the center, and we are not
connected.
So : .
Solution 3 (Generalization)
Turn the dinosaur into a graph (cells are vertices, adjacent cells connected by an
edge) and prove this result about graphs. A connected graph with vertices,
where each vertex has degree less than or equal to , can be partitioned into
This minimum must be at least , otherwise the sum of the size of the
subtrees is smaller than the size of the graph, which is a contradiction. Also, it
must be at most , or else pick the subtree of size greater than and you have
decreased the size of the largest subtree if you root from that vertex instead, so
you have some subtree with size between and . Cut the edge connecting
the root to that subtree, and use that as your partition.
It is easy to see that these partitions satisfy the contention of our theorem, so we
are done.
Solution 1
We proceed by induction.
Let be . The result holds for because is the product of
primes.
Now we assume the result holds for . Note that satisfies the recursion
.
Since is an odd power of , is a perfect square. Therefore
is a difference of squares and thus composite, i.e. it
is divisible by primes. By assumption, is divisible by primes. Thus
is divisible by primes as desired.
Solution 2
Proof:
Note and lie on since for a pair of tangent circles, the point of tangency
and the two centers are collinear.
Let touch , , and at , , and , respectively. Note
. Consider an inversion, , centered at , passing through ,
. Since , is orthogonal to the inversion circle, so . Consider
. Note that passes through and is tangent to , hence is a
line that is tangent to . Furthermore, because is symmetric about
, so the inversion preserves that reflective symmetry. Since it is a line that is
symmetric about , it must be perpendicular to . Likewise, is
the other line tangent to and perpendicular to .
Let and (second intersection).
Let and (second intersection).
Evidently, and . We want:
= . So
, we get
End Lemma