Есть идея! (Гарднер) - страница 32

Подавая сыр на стол, Рози вдруг поняла, что Джо мог действовать и более экономно: чтобы разделить головку на 8 одинаковых частей, достаточно провести лишь 3 прямолинейных разреза.

Как это сделать?

Рози пришло в голову, что цилиндрическая головка сыра представляет собой не плоскую фигуру, а тело, которое можно разрезать по горизонтальной плоскости, проходящей через его центр. На рис. 1 показано, как тремя разрезами разделить сыр на 8 одинаковых порций. В этом решении предполагается, что все три разреза проведены одновременно. Если же разрезы проводить последовательно, один за другим, и перед каждым разрезом переставлять куски сыра наиболее удобным образом, то тремя разрезами сыр можно разрезать по-другому (так, как он разрезан^на подносе в руках Рози): для этого один из двух кусков, получившихся после первого разреза, нужно поставить на другой, провести еще один разрез, взять одну из «двухэтажных» половин, поставить на другую и провести третий разрез. После третьего разреза головка сыра окажется разделенной на 8 одинаковых порций.

Решение Рози столь просто, что кажется почти травиальным, и тем не менее оно может служить хорошим введением в серию важных задач на разрезание, теория которых связана с исчислением конечных разностей, а многие доказательства проводятся методом математической индукции. Конечные разности служат мощным средством получения формул общих членов числовых последовательностей. Интерес к числовом последовательностям неуклонно возрастает, что объясняется по крайней мере двумя причинами: во-первых, тем, что числовые последовательности встречаются во многих числовых задачах, и, во-вторых, быстротой, с которой ЭВМ позволяют производить над числовыми последовательностями любые действия.

Изобретенный Рози первый метод разрезания сыра (без перекладывания кусков) состоит в проведении прямолинейных или, лучше сказать, плоских разрезу проходящих через центр верхнего основания готовки сыра, плоского, как у круглого пирога. Выясним, какие числовые последовательности может порождать разрезание верхней поверхности сыра прямыми, пересекающимися в центре (ясно, что n одновременно проведенных разрезов позволяют разделить сыр не более чем на 2n кусков).

Можно ли считать, что 2n — максимальное число частей, на которые n прямых, проходящих через одну точку, могут разделить любую плоскую фигуру, ограниченную простой замкнутой кривой? Нет: нетрудно построить невыпуклую фигуру (например, такую, как на рис. 2), которую одной прямой можно разделить на значительно большее число частей. А можно ли построить фигуру, которую одной прямой можно было бы разделить на любое конечное число конгруэнтных частей? Если да, то какими свойствами должен обладать периметр фигуры, чтобы одной прямой от нее можно было отсечь п конгруэнтных частей?