Olympiad Maths Prep

Library / /4 of 4

Combinatorics Difficulty 7.8 National olympiad, round 2 Prove it Bulgaria

Planes through the points with integer coordinates in the three dimensional Euclidean space partition the space into unit cubes. Find all triples (a,b,c)(a, b, c), abca \le b \le c, of positive integers such that the cubes can be colored in abcabc colors in such a way that every parallelepiped of dimensions a×b×ca \times b \times c, integer vertices and faces parallel to the coordinate planes does not contain cubes of the same color.

Solution

We shall prove that the solutions are the triples (a,b,c)(a, b, c) such that aa divides bb and bb divides cc. We denote by ((x0,y0,z0),p,q,r)((x_0, y_0, z_0), p, q, r) the parallelepiped with a low right vertex (x0,y0,z0)(x_0, y_0, z_0) and dimensions p,qp, q and rr, at axes Ox,OyOx, Oy and OzOz, respectively.

Let us assume that bb is not divisible by aa, i.e. b=ma+nb = ma + n for some m,nNm, n \in \mathbb{N}, 0<n<a0 < n < a. If (p,q,r)(p, q, r) is a permutation of (a,b,c)(a, b, c), then it follows from the condition for the parallelepipeds ((0,0,0),p,q,r)((0, 0, 0), p, q, r) and ((0,0,1),p,q,r)((0, 0, 1), p, q, r) that the parallelepipeds ((0,0,0),p,q,1)((0, 0, 0), p, q, 1) and ((0,0,r),p,q,1)((0, 0, r), p, q, 1) are filled with cubes of the same colors. This implies that the parallelepipeds ((0,0,0),c,a,1)((0, 0, 0), c, a, 1) and ((0,0,b),c,a,1)((0, 0, b), c, a, 1) are also filled with cubes of the same colors and the same is true for the parallelepipeds ((0,0,0),c,b,1)((0, 0, 0), c, b, 1) and ((0,0,ma),c,b,1)((0, 0, ma), c, b, 1). Since ((0,0,0),c,b,1)((0, 0, 0), c, b, 1) contains ((0,0,0),c,a,1)((0, 0, 0), c, a, 1) and ((0,0,ma),c,b,a)((0, 0, ma), c, b, a) contains ((0,0,ma),c,b,1)((0, 0, ma), c, b, 1) and ((0,0,b),c,a,1)((0, 0, b), c, a, 1), every color in ((0,0,0),c,a,1)((0, 0, 0), c, a, 1) appears at least two times in ((0,0,ma),c,b,a)((0, 0, ma), c, b, a). This contradiction completes the proof that aa divides bb. We analogously see that bb divides cc.

Now let aba|b and bcb|c, as b=p1a,c=p2b=p1p2ab = p_1a, c = p_2b = p_1p_2a, where p1,p2Np_1, p_2 \in \mathbb{N}. For every two positive integers mm and nn we denote by R(m,n)R(m, n) the remainder of mm modulo nn. The coordinates of a cube will be the coordinates of its low right vertex.

We determine the color the cube (x,y,z)(x, y, z) in remainders as follows:
(R(x,a);R(y,a);R(z,a);R(xa+ya,p1);R(ya+za,p1);R(xb+yb+zb,p2)). (R(x, a); R(y, a); R(z, a); R(\lfloor \frac{x}{a} \rfloor + \lfloor \frac{y}{a} \rfloor, p_1); R(\lfloor \frac{y}{a} \rfloor + \lfloor \frac{z}{a} \rfloor, p_1); R(\lfloor \frac{x}{b} \rfloor + \lfloor \frac{y}{b} \rfloor + \lfloor \frac{z}{b} \rfloor, p_2)).
The counting of all possible remainders in the six coordinates shows that the number of the colors used is a3p1p1p2=abca^3 p_1 p_1 p_2 = abc.

Let us assume that two distinct cubes (x1,y1,z1)(x_1, y_1, z_1) and (x2,y2,z2)(x_2, y_2, z_2) lie in a parallelepiped of dimensions a×b×ca \times b \times c. Then we have x1x2α|x_1 - x_2| \le \alpha, y1y2β|y_1 - y_2| \le \beta and z1z2γ|z_1 - z_2| \le \gamma, where (α,β,γ)(\alpha, \beta, \gamma) is a permutation of (a,b,c)(a, b, c). Since x1x2|x_1 - x_2|, y1y2|y_1 - y_2| and z1z2|z_1 - z_2| are divisible by aa, one of these numbers equals 00. Let us have x1=x2x_1 = x_2. Then the fourth and fifth coordinates of that color show that y1y2|y_1 - y_2| and z1z2|z_1 - z_2| are divisible by bb and therefore one of these two numbers equals 00. If, for example, y1=y2y_1 = y_2, then the last coordinate shows that z1z2|z_1 - z_2| is divisible by cc, i.e. z1=z2z_1 = z_2. We obtained (x1,y1,z1)(x2,y2,z2)(x_1, y_1, z_1) \equiv (x_2, y_2, z_2), which is a contradiction.

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.