Квант

16

Разбение фигур

В последнее время большое развитие получила комбinatorная геометрия — наука, изучающая оптимальные конфигурации точки или фигур. Она все больше применяется в транспорте (укладка грузов), конструкровании (компоновака деталей), архитектуре (планировка) и во многих других отраслях народного хозяйства.

Чтобы посянить одну из очень известных задач комбinatorной геометрии, введем понятие диаметра фигуры. Диаметр фигуры — это такое число dd, что расстояние между любыми двумя точками фигуры не превышает dd, но для любого числа, меньше dd, в ней найдется точки, расстояние между которых превышает dd. Например, круг диаметра (в традиционном смысле) dd является фигурой диаметра dd. Правильный треугольник со сторонай dd тоже имеет диаметр dd.

Плоская (пространственная) фигура называется ограниченной, если она содержится в некотором круге (шар). Если фигура имеет диаметр, то она, оченьindo, ограниченная. Можно доказать, что верно и обратное.

Точка плоской фигуры называется граничной, если в любом круге с центром в этой точке имеется как точки, принадлежащие фигуре, так и точки, не принадлежащие ей. Фигура называется замкнутой, если она содержит все свои граничные точки. Например, плоская фигура A1={(x;y)∣x2+y2≤1}A_1 = \{(x; y) | x^2 + y^2 \leq 1\} — замкнутая, а фигуры A2={(x;y)∣x2+y2<1}A_2 = \{(x; y) | x^2 + y^2 < 1\} и A3={(x;y)∣0<x2+y2≤1}A_3 = \{(x; y) | 0 < x^2 + y^2 \leq 1\} — не замкнутые.

Оказывается, если ограниченная фигура замкнута, то в ней найдется пара точек,

Эта заметка основана на докладе, который в ноябре 1981 г. девятиклассик Антон Баков (Свердловск) сделал на XIII конференции юных математиков в Батуми («Квант», 1982, № 4).

Рис. 1.

17

люших» фигур. Здесь не годились ни «шестнуюльник Пала» (любая плоская фигура диаметра dd содержится в нем), ни круг диаметра dd (многие фигуры диаметра dd, например правильный треугольник со стороной dd, не «влезут» в него). Искомыми фигурами оказались так называемые фигуры постояной ширины.

В доказательстве своей теоремы Пал использовал опорные прямы. Прямая называется опорной к данной плоской фигуре, если она имеет с фигурой хотя бы одну общую точку и вся фигура лежит от нее по одному сторону (рис. 2). Число hh называется шириной фигуры, если у нее есть параллельные опорные прямы, расстояние между которых равно hh. Вообще говоря, фигура может иметь много «ширин» (рис. 3). Если ширина фигуры не зависит от направления опорных прямы, фигура называется фидурой постояной ширины (рис. 4).

Оказывается, любая плоская фигура диаметра dd содержится в некоторой фигуре постояной ширины dd. Было также доказано, что фигуру постояной ширины dd нельзя на 2 части диаметра меньше dd.

Эти сообщения позволили советскому математике В. Г. Болтянскому в 1969 г. доказать, что плоскую фигуру диаметра dd тогда и только тогда нельзя разить на 2 части диаметра меньше dd, когда она содержится в единственной фигуре постояной ширины dd.

Решение рассмотренной задачи послужило фундаментом для дальнейшего развития комбинаторной геометрии.

Сегодня эта задача решена не только для плоскости: доказан эквивалент теоремы Борсука для трехмерного пространства (там всегда достаточно 4 частей). Существует гипотеза, что для nn-мерного пространства всегда достаточно n+1n+1 частей.

Задачи (добавлены В. Г. Болтянским)

  1. Докажите, что диаметр многоугольника равен наибольшем из расстояний между его вершинами.

  2. Опираясь на теорему Пала, докажите, что любую плоскую фигуру диаметра dd можно разить на три части, диаметр каждой из которых не превысит 32d≈0,866d\frac{\sqrt{3}}{2} d \approx 0,866 d.

  3. В правильном многоугольнике с нечетным числом сторон проведены другие окружности, каждая из которых содержит концы сторон и имеет центр в противолежащей вершине (см. рис. 4). Докажите, что эти другие ограничивающие фигуру постояной ширины.

  4. Докажите, что правильный многоугольник с нечетным числом сторон, у которого наибольшая диагональ имеет длину dd, не может быть разить на две части, каждая из которых имеет диаметр меньше dd.

  5. От круга диаметра dd отрезан сегмент, меньший полукруг. Полученная фигура FF по-прежнему имеет диаметр dd. Ее легко разить на две части диаметра меньше dd (как?. Следовательно, FF содержится в разных фигурах постояной ширины dd. Приведите две такие фигуры.

  6. Докажите, что вписанный многоугольник с нечетным числом сторон может быть разить на две части меньше диаметра. Верно ли это для произвольного многоугольника с нечетным числом сторон?

  7. Пусть ∣AB∣>d|AB| > d и фигур MM («двуугольник») представляется собой пересечение двух кругов радиуса dd с центрами AA и BB. Докажите, что если фигура диаметра dd целиком содержится в двухугольнике MM, то ее можно разить на две части диаметра меньше dd.