Рассматриваются всевозможные разбиения шахматной доски 8 на 8 на домино из двух соседних по стороне клеток. Определить максимальное натуральное n такое, что для любого разбиения доски 8 на 8 на домино можно найти некоторый прямоугольник, составленный из n клеток доски, не содержащий ни одного домино целиком. Длины сторон прямоугольника в клетках могут равняться любым натуральным числам, начиная с единицы.
1. Докажем, что Рассмотрим следующее разбиение шахматной доски 8 на 8 на домино. Разобьём доску на квадраты 2 на 2 клетки, окрасим каждый из их в красный и синий цвета в шахматном (относительно доски 4 на 4) порядке, и разобьём красные квадраты на пары горизонтальных домино, а синие — на пары вертикальных домино. Любой прямоугольник площади больше 4 либо содержит в себе прямоугольник 1 на 5 клеток, либо прямоугольник 2 на 3 клетки. Легко убедиться в том, что для рассматриваемого разбиения прямоугольник 1 на 5 клеток, либо 2 на 3 клетки в любом месте доски содержит целиком хотя бы одно домино.
2. Докажем, что для произвольного разбиения доски 8 на 8 на домино можно найти некоторый прямоугольник площади 4, составленный из клеток, не содержащий ни одного домино целиком. Рассмотрим домино разбиения, содержащее клетку «d4», можно, повернув при необходимости лоску, считать его горизонтальным. Подробно разберём случай, когда оно состоит из клеток «c4», «d4» второй случай, когда оно состоит из клеток «d4», «e4» аналогичен. Рассмотрим клетки «c3», «d3» и «c5», «d5». Если хотя бы одна из этих клеток, скажем «с3» (остальные случаи аналогичны), лежит в горизонтальном домино разбиения, то вертикальный прямоугольник «с2», «с3», «c4», «c5» не содержит целиком ни одного домино разбиения. Если все эти клетки лежат в вертикальных домино разбиения, то домино, содержащие «с3» и «d3» вертикальны, поэтому прямоугольник «b3», «c3», «d3», «e3» не содержит целиком ни одного домино разбиения. Заметим, что за счёт выбора клетки «d4» для начала рассуждений, обеспечивается невозможность выхода выбираемой полоски 1 на 4 за пределы доски.
Ответ: n = 4.