Maths Olympiad Prep

Library / /22 of 26

Combinatorics Difficulty 7.2 National olympiad, round 2 Prove it Russia

Let nn be a positive integer. Compose a 3×3×33 \times 3 \times 3 cube of 26 white unit cubes and one black unit cube by putting the black one into the center. Compose a 3n×3n×3n3n \times 3n \times 3n cube of n3n^3 such 3×3×33 \times 3 \times 3 cubes. Determine the smallest number kk such that it is possible to paint kk white unit cubes red so that each white cube will have at least one common vertex with some red cube.

Solution

Введём систему координат так, чтобы центры кубиков имеют координаты от 11 до 3n3n по каждой оси. Каждому кубику приписываем координаты его центра. Таким образом, кубик чёрный тогда и только тогда, когда все его координаты дают остаток 22 при делении на 33.

Окрасим красным все белые кубики с координатами (a,b,c)(a, b, c), где aa делится на 33, а bc2(mod3)b \equiv c \equiv 2 \pmod{3}, а также все кубики с координатами (1,b,c)(1, b, c), где bc2(mod3)b \equiv c \equiv 2 \pmod{3}. Нетрудно видеть, что получилось (n+1)n2(n+1)n^2 красных кубиков, и требования задачи выполнены. Осталось показать, что добиться требуемого нельзя, окрасив менее (n+1)n2(n+1)n^2 кубиков.

При i=1,2,,ni = 1, 2, \dots, n положим w3i=iw_{3i} = i, w3i1=0w_{3i-1} = 0, w3i2=n+1iw_{3i-2} = n+1-i; последовательность (wi)(w_i) выглядит так: n,0,1,n1,0,2,n2,,1,0,nn, 0, 1, n-1, 0, 2, n-2, \dots, 1, 0, n. Запишем в каждый кубик с координатами (a,b,c)(a, b, c) число wawbwcw_a w_b w_c (в частности, в чёрных кубиках записаны нули). Тогда общая сумма всех чисел, записанных в белых кубиках, окажется равной Σ=(w1++w3n)3=n3(n+1)3\Sigma = (w_1 + \dots + w_{3n})^3 = n^3(n+1)^3.

Назовём ценой S(X)S(X) кубика XX сумму чисел во всех кубиках, имеющих с ним общую вершину (включая сам XX). Тогда в любой окраске, удовлетворяющей требованиям, сумма цен красных кубиков не меньше, чем Σ\Sigma. Докажем теперь, что S(X)(n+1)2nS(X) \le (n+1)^2 n для любого белого кубика XX. Из этого будет следовать, что в красный цвет надо окрасить не менее, чем Σ(n+1)2n=(n+1)n2\frac{\Sigma}{(n+1)^2 n} = (n+1)n^2 кубиков, что и требовалось.

Пусть (a,b,c)(a, b, c) — координаты кубика XX. Абсциссы всех кубиков, имеющих с ним общую вершину, равны aa или a±1a \pm 1; такое же утверждение верно для остальных координат. Поэтому S(X)=(wa1+wa+wa+1)(wb1+wb+wb+1)(wc1+wc+wc+1)S(X) = (w_{a-1} + w_a + w_{a+1})(w_{b-1} + w_b + w_{b+1})(w_{c-1} + w_c + w_{c+1}), где мы полагаем w0=w3n+1=0w_0 = w_{3n+1} = 0. Осталось заметить, что wt1+wt+wt+1=nw_{t-1} + w_t + w_{t+1} = n, если t2(mod3)t \neq 2 \pmod{3}, иначе wt1+wt+wt+1=n+1w_{t-1} + w_t + w_{t+1} = n+1. Поскольку не все координаты XX дают остаток 22, отсюда следует, что S(X)(n+1)2nS(X) \le (n+1)^2 n.

Want a route through all this instead of 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.