CC BY
13
Владикавказский математический журнал 2011, Том 13, Выпуск 4, С. 52-59
УДК 514
ОБ ОДНОМ ПОДХОДЕ К РЕШЕНИЮ ЗАДАЧИ ДЖ. В. ФИКЕ О ПЕРЕСЕКАЮЩИХСЯ КОНГРУЭНТНЫХ МНОГОУГОЛЬНИКАХ1
Ю. Г. Никоноров, Ю. В. Никонорова
В работе в деталях описывается некоторый общий подход к решению задачи Дж. В. Фике о налегающих конгруэнтных выпуклых многоугольниках на евклидовой плоскости.
Ключевые слова: евклидова плоскость, выпуклые многоугольники, задача Дж. В. Фике, планар-
ные графы, дробно-линейные функции.
1. Общая задача Дж. В. Фике на евклидовой плоскости
Для множества А на евклидовой плоскости будем через д(А) и т^А) обозначать соответственно его границу и внутренность, а для произвольной спрямляемой кривой 7 через 1е^Л(7) будем обозначать длину этой кривой.
В статье [5] (см. также [4, е. 25]) Дж. В. Фике (Л. Fickett) поставил следующую задачу: Правда ли, что выполнено неравенство
1 1еп^Ь(Э(К) П К7) 3 ^ 1еп^Ь(5(К0 ПК) х
для произвольных пересекающихся конгруэнтных прямоугольников К и К' на евклидовой плоскости?
Это неравенство было доказано Ю. В. Никоноровой в работе [2], где было установлено даже несколько более сильное неравенство
1 1еп^Ь(Э(К) Пт^КО) 3 < 1е1^Ь(д(К') П п^(К)) < ■
Отметим, что последнее неравенство неулучшаемо для произвольных прямоугольников, отличных от квадратов. В качестве примера, где нижняя и верхняя оценка почти достигается, можно рассмотреть прямоугольники К и К' с вершинами (±а, ±6) и (±6, ±а) — (0, а — Ь + е) соответственно для а > Ь > 0 и достаточно малого е > 0 (относительно некоторой прямоугольной системы координат на плоскости). В случае же, когда К и К' являются конгруэнтными квадратами, приведенное неравенство можно усилить:
1 < 1еп^Ь(а(К) П ко < ^ у/2 ^ 1еп^Ь(5(К0 ПК) х ■
© 2011 Никоноров Ю. Г., Никонорова Ю. В.
1 Работа частично поддержана Программой поддержки ведущих научных школ, грант № НШ-
6613.2010.1; Российским республиканским фондом фундаментальных исследований, проект № 10-01-
90000-Бел-а, а также Министерством образования и науки РФ в рамках Федеральной целевой програм-
мы «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг., госконтракт
№ 02.740.11.0457.
Экстремальное значение \/2 соответствует (в частности) такому расположению квадратов, когда вершина одного квадрата расположена в центре другого, а стороны, инцидентные этой вершине, проходят через две смежные вершины второго квадрата.
Задача Дж. В. Фике естественно переносится на случай произвольных выпуклых конгруэнтных пересекающихся фигур на плоскости [4].
Задача (общая задача Дж. В. Фике на евклидовой плоскости). Для заданной выпуклой фигуры К на евклидовой плоскости определить наименьшее число а такое, что для любой фигуры К', конгруэнтной К, выполняется неравенство
1еп^(д(К) п К') < а ■ 1еп^(д(К') п К).
Замечание 1. Отметим, что таким образом сформулированная общая задача Дж. В. Фике может быть рассмотрена и для некоторых невыпуклых фигур К, например, для невыпуклых многоугольников.
Кроме известного значения а = 3 для конгруэнтных прямоугольников, отличных от квадратов (а = у/2 для конгруэнтных квадратов), отметим известное значение а = 2 для случая правильных треугольников [3]. Понятно также, что в (самом простом) случае конгруэнтных кругов имеет место равенство а = 1.
2. Общий подход к решению задачи Дж. В. Фике для выпуклых многоугольников
Несмотря на простоту постановки задачи Дж. В. Фике для прямоугольников К и К', насколько известно авторам, решение этой задачи не было известно вплоть до публикации [2]. В цитируемой работе предложено решение этой задачи, по существу сводящееся к исследованию различных возможностей для комбинаторного строения многоугольника
5 = К п К'.
Следуя в целом работе [2] и несколько модифицированному изложению соответствующего вопроса в [1] (где также исправлены некоторые неточности работы [2]), мы опишем некоторый общий подход к решению задачи Дж. В. Фике для произвольного выпуклого многоугольника на плоскости. При этом мы доведем изложение по сути до конкретного и простого алгоритма, который очевидным образом порождает теорема 2. Для случая более общих выпуклых фигур какого-либо подхода к решению общей задачи Дж. В. Фике авторам не известно.
Пусть на евклидовой плоскости даны два произвольных выпуклых многоугольника Б и в общем положении, т. е. не существует стороны многоугольника 51, параллельной некоторой стороне многоугольника Пусть Ь1 — длина части границы д(51) первого многоугольника, попадающей во внутренность ш^Б2) второго. Точно так же, Ь2 —длина части границы д(Б2) второго многоугольника, попадающей во внутренность т^Б^ первого. Рассматривается следующая
Задача. Найти максимальное значение величины
д = = ^ (1)
Ь2
для неподвижного многоугольника Б1 и всевозможных параллельных переносов многоугольника Б2.
Замечание 2. Некоторая модификация нижеследующих рассуждений может быть использована и при исследовании не обязательно выпуклых многоугольников Б1 и . Правда, в невыпуклом случае придется преодолеть ряд дополнительных технических трудностей.
Начнем рассуждение с простой леммы, утверждение которой хорошо известно, а доказательство приводится для удобства читателей.
Лемма 1. Рассмотрим на евклидовой плоскости треугольник с длинами сторон а, Ь и с. Пусть ф — угол между сторонами длины а и Ь. Тогда справедливо неравенство а + Ь ^ 5 • с, где 5 = 1/8т(ф/2).
< Возводя в квадрат обе части неравенства из формулировки леммы и учитывая теорему косинусов, получаем эквивалентное утверждение:
(52 - 1)а2 - 2(1 + 52еов(ф))аЬ + (52 - 1)Ь2 ^ 0.
Но поскольку 1 + 52еоз(ф) = 52 — 1, то последнее неравенство эквивалентно очевидному неравенству (52 — 1)(а — Ь)2 ^ 0. >
Введем на евклидовой плоскости декартову систему координат, так чтобы центр масс многоугольника ^ имел координаты (0, 0). Положение многоугольника при этом полностью определяется координатами (ж, у) его центра масс. Пусть
0 = {(ж, у) | П Б2) = 0}.
Очевидно, что это множество открыто, а граница введенного множества д(0) описывает именно те случаи, когда П = д(Б1) П д(Б2). Рассмотрим множество
К = К(^1,^2) (К С 0) (2)
таких положений центра масс второго многоугольника, при которых граница пересечения д(Б1 Пй2) содержит по крайней мере одну из вершин или й2. Нетрудно понять, что д(0) С К, и К представляется в виде объединения конечного числа прямолинейных отрезков. Нам полезно представить себе множество К как вложение (с прямолинейными ребрами) некоторого графа в евклидову плоскость. Очевидно, что вершины вложенного графа К описывают случаи, когда граница пересечения д(Б1 П й2) содержит по крайней мере две вершины многоугольников й и й^, причем вершина одного из многоугольников лежит на границе другого многоугольника. Пусть Со,С1 ,С2,...,СТО — грани планар-ного графа К, где через О0 обозначена единственная неограниченная грань. Мы будем рассматривать ребра этого графа как относительно открытые множества (в то время как грани — открытые множества).
Величину Q (см. (1)) можно интерпретировать как функцию Q : 0 ^ Ж. Очевидно, что эта функция непрерывна на 0. Используя предположение об общем положении многоугольников, можно по непрерывности доопределить значение величины Q и во многих точках границы д(0) (граничные точки соответствуют расположениям многоугольников с условием П = дй! П дйг). В силу выпуклости многоугольников и исключительным здесь является лишь случай, когда пересечение П является одноточечным и состоит из общей вершины рассматриваемых многоугольников. В таких точках д(0) доопределить величину Q по непрерывности невозможно, в чем нетрудно убедиться (в окрестности этой точки присутствуют точки, соответствующие разным вариантам комбинаторного строения многоугольника д(й^ П й^), см. доказательство леммы 2). Но в этом особом случае можно получить оценку сверху на величину Q в окрестности каждой из таких точек границы 0.
Пусть теперь ф — радианная мера наименьшего из углов многоугольника 51 и
А = А(5,1) = —Лтт- (3)
Лемма 2. Пусть х £ дП соответствует случаю, когда пересечение 51 П Б2 состоит из общей вершины двух многоугольников. Тогда для всех достаточно близких к х точек у £ т^П) справедлива оценка
Я < А.
< Мы будем рассматривать настолько близкие к х точки у, что пересечение Б1 П Б2 представляет либо треугольник, либо четырехугольник. Возможны лишь три принципиально различных случая.
1) В пересечении получается треугольник КЬМ, стороны КЬ и ЬМ являются частями границы многоугольника Б1, а сторона КМ является частью границы многоугольника 52. Пусть р — угол между КЬ и ЬМ. По лемме 1 получаем
\кц + \ьм\ 1 1
^ \КМ\ ат((р/2) ат(^/2)
2) В пересечении получается треугольник КЕМ, стороны КЬ и ЬМ которого являются частями границы многоугольника Б2, а сторона КМ является частью границы многоугольника Б1. Тогда по неравенству треугольника имеем
\КМ |
О =-!-!-< 1 < А.
4 \КЬ\ + \ЬМ\ ^ ^
3) Наконец, пусть в пересечении получится четырехугольник КЬМН, стороны КЬ и ЬМ являются частями границы многоугольника Б1, а стороны КН и МН являются частями границы многоугольника Б2. Пусть р — угол между КЬ и ЬМ. По неравенству треугольника и по лемме 1 получаем
\КЦ + \ЬМ\ \КЦ + \ЬМ\ < 1 < 1 = 4 \KN\-\-\MN\ \КМ\ ^ аш(<р/2) ^ 8Ш(^>/2)
Нам будет также полезна следующая простая
Лемма 3. Пусть функция / является дробно-линейной на открытом множестве А С Ж2 и принимает в некоторой точке значение, большее заданного числа е. Обозначим через д(А) те точки границы множества А, для которых существует предел функции /. Предположим дополнительно, что для любой точки х £ д(А) \ д(А) в некоторой ее окрестности значения функция / не превосходят числа е. Тогда (доопределенная по непрерывности на множество д(А)) функция / принимает свое наибольшее значение на множестве А и д(А), причем среди точек максимального значения обязательно присутствуют точки множества д(А).
< Для доказательства достаточно заметить, что дробно-линейная функция от двух аргументов является монотонной на любом прямолинейном отрезке области своего определения. >
Таким образом, функция Я корректно определена и непрерывна на множестве П и д(П) за исключением тех точек, которые соответствуют пересечениям Б1 П Б2, состоящим из общей вершины двух многоугольников. Но в окрестности таких точек величина Я ограничена сверху числом А согласно лемме 2. Это наблюдение приводит нас к следующему результату.
Теорема 1. Допустим, что в некоторой точке у £ т^П) функция Q принимает значение, большее А = А(51). Тогда Q достигает своего наибольшего значения, причем среди расположений относительно Й1, на которых Q принимает свое максимальное значение, есть расположение со следующим свойством: граница пересечения д(й 1 П содержит по крайней мере две геометрически различные вершины многоугольников й 1 и Й2, причем вершина одного из многоугольников лежит на границе другого.
< Очевидно, что эта функция Q : П ^ Ж корректно определена и непрерывна на любой грани Оъ (1 ^ % ^ т) планарного графа К (см. (2)). Основным свойством этой функции является ее дробно-линейность по переменным ж, у на любой из граней Оъ ((ж, у) £ П). Для того, чтобы убедиться в этом, достаточно доказать линейность функций Ь1 = Ь1(ж,у) и Ь2 = ¿2(ж,у) на множестве Оъ.
Докажем линейность Ь1. Пусть (жо,уо) £ Оъ. Будем рассматривать достаточно малые приращения (Аж, Ау), чтобы (ж0 + Аж,у0 + Ау) £ Оъ. Нам достаточно показать, что выражение
А£1 := ¿1 (жо + Аж, у + Ау) - ^ (жо, уо)
имеет вид аАж + в Ау для некоторых вещественных чисел а и в (и для всех достаточно малых приращений одновременно). Действительно, линейность ¿1 на Оъ тогда будет следовать из связности Оъ.
Пусть ¿1, ¿2,¿з, • • •, — произвольным образом занумерованные ребра многоугольника й2 = й2(ж,у), пересекающиеся с внутренностью многоугольника при (ж, у) £ Оъ (комбинаторное строение многоугольника П Й2 при этом неизменно!). Понятно, что А£1 = А1 + А2 + • • • + А$, где Аj — приращение длины той части стороны ^ многоугольника Й2, которая попадает во внутренность многоугольника йъ Простые вычисления показывают, что Аj = аj Аж + вj Ау для некоторых вещественных чисел аj и вj (координаты точек пересечения стороны ^ с соответствующими сторонами многоугольника зависят линейно от Аж и Ау). Отсюда и из предыдущих выкладок легко получается линейность функции ¿1 на множестве О». Линейность функции ¿2 доказывается аналогично. Таким образом, мы получили, что Q является дробно-линейной на множестве Оъ.
Далее, если все значения функции Q на множестве Оъ не превосходят А, то / не может достигать своего максимального значения ни на множестве Оъ, ни на его замыкании. Если же значение Q в некоторой точке множества Оъ превосходит А, то по лемме 3 существует точка на границе д (Оъ), значение Q в которой не меньше значения Q в любой точке Оъ.
Поскольку множеств Оъ конечное число, то величина Q достигает своего наибольшего значения, и одной из точек максимального значения является точка границы некоторого Оъ.
Напомним, что множество К является объединением границ всех множеств Оъ (1 ^ % ^ т).
Функция Q на относительной внутренности каждого ребра (прямолинейного отрезка плоскости) графа К также является дробно-линейной (как «предельное» значение дробно-линейной функций на множестве Оъ, границе которого и принадлежит рассматриваемое ребро). Поэтому среди точек максимального значения Q обязательно наличествует вершина графа К.
Подчеркнем, что вершины графа, соответствующие пересечениям П Й2, каждое из которых состоит из общей вершины двух многоугольников, исключаются из рассмотрения, поскольку в окрестностях этих точек (согласно лемме 2) выполнено неравенство Q ^ А. >
При доказательстве вышеприведенной теоремы мы воспользовались принципом, аналогичным основной идее метода линейного программирования: экстремальные значения функции обязаны достигаться (в том числе и) на границе исследуемого многоугольника. Нетрудно понять, что теорема 1 может быть обобщена и на случай многомерных задач подобного класса.
Замечание 3. В работе [2] в качестве вспомогательного средства использовался (неверный в целом) вариант вышеприведенной теоремы 1 [2, теорема 2], в котором нет предположения о том, что величина Q принимает значения большие А = А(Й1) в некоторых точках у € т^П). В теореме 1 из [2] доказывалось неравенство Q < 3 для конгруэнтных прямоугольников, и поскольку в этом случае А = \[2 < 3, доказательство указанной теоремы становится корректным, если заменить в нем ссылку на теорему 2 из той же работы ссылкой на теорему 1 из работы настоящей. Этот недочет в статье [2] был ранее отмечен в работе [1], в которой был также указан и способ его устранения.
3. Алгоритм решения задачи Дж.В. Фике для выпуклых многоугольников
Теперь мы рассмотрим некоторый алгоритм решения общей задачи Фике для выпуклого многоугольника К, обладающего осью симметрии (в случае отсутствия такой оси требуется несложная модификация алгоритма).
Важное значение в таком исследовании играет величина А = А(К) (см. (3)). Отметим, что существует такое расположение К' относительно К, для которого 1е^Ш(д(К) П К') = А ■ 1е^Ш(д(К') П К). Для этого достаточно расположить многоугольники так, что К П К' является равнобедренным треугольником, угол которого, противолежащий основанию, совпадает с наименьшим углом многоугольника К' (имеющим радианную меру Таким образом, А не превосходит искомой величины а.
Далее можно действовать следующим образом. Мы фиксируем многоугольник К и декартову систему координат с центром в центре масс этого многоугольника. Тогда положение второго многоугольника К' (он конгруэнтен К) определяется некоторым движением евклидовой плоскости (переводящим К в К'). Любое такое движение можно представить в виде композиции некоторого элемента общей ортогональной группы 0(2) и некоторого параллельного переноса. Более того, в силу наличия у многоугольника К осевой симметрии мы можем ограничиться лишь собственными движениями плоскости, т. е. для описания возможных положений многоугольника К' достаточно композиций поворотов вокруг начала координат и параллельных переносов.
Зафиксируем угол р € [0, 2п). Пусть К(р) — результат поворота многоугольника К на угол р. Если теперь рассмотреть в качестве многоугольников и в формулировке теоремы 1 многоугольники К и К(р) соответственно, то мы можем определить максимальное значение величины Q (см. (1)), используя результат этой теоремы. Необходимо отметить, что для применимости теоремы 1, мы должны исключить рассмотрение тех углов р, для которых у многоугольника К(р) есть сторона параллельная некоторой стороне многоугольника К. Обозначим множество таких особых значений р через Ф о (очевидно, что это множество конечно). Пусть теперь Фг = [0, 2п) \ Фо.
Зафиксируем некоторый угол р € Фг. Рассмотрим теперь такой параллельный перенос для которого граница пересечения д(£(К(р)) П К) содержит по крайней мере две геометрически различные вершины многоугольников Ь(К(р)) и К (см. формулировку теоремы 1). Отметим, что таких параллельных переносов существует лишь конечное
число. Теперь по всем этим переносам следует вычислить максимум величины
length(0(К) П int(L(K(</?)))) _ length(ö(K) П L(K(p))) length (d(L (К (</?))) П int (К)) ~ length (ö(L (К(р))) П К)'
который мы обозначим через Qmax(приведенное равенство справедливо, поскольку ^ £ Фг, т. е. у многоугольника L(K(^)) нет сторон, параллельных какой-либо стороне многоугольника K).
Пусть ао — верхняя грань всех значений Qmax (^>), где ^ £ Фг. Теперь мы можем сформулировать основной результат работы.
Теорема 2. Число а' = max{ao, А} является решением задачи Дж. В. Фике для исследуемого выпуклого многоугольника K.
< Пусть число а — решение задачи Дж. В. Фике для многоугольника K. Сначала продемонстрируем справедливость неравенства а ^ а' = max{ao, А}. Действительно, неравенство а ^ А обосновано выше, а неравенство а ^ ао очевидно.
Осталось доказать, что а ^ а'. Допустим противное. Тогда существуют некоторый угол ^>о £ [0, 2п) и параллельный перенос L, для которых справедливо неравенство
length(d(K) n L(K(^o))) > а' ■ length(d(L(K(^o))) П K). Рассмотрим последовательность углов {^>n}, где ^>n £ Фг и limn—(^ ^>n = ^>o. Пусть
= length(d(K) П L(K(^n))), Bn = length(d(L(K(pn))) n K). Нетрудно понять, что
length (d(K) n L(K(^o))) = lim An + G, length(d(L(K(^o))) n K) = lim Bn + G,
n—n—
где G = length(d(K) n d(L(K(^o)))).
Из приведенных выкладок и очевидного неравенства а' ^ А > 1 следует, что для достаточно больших n выполнено неравенство
An = length (d(K) n L(K(^n))) > а' ■ length(d(L(K(pn))) n K) = а' ■ Bn.
Поскольку а' ^ А, то по теореме 1 мы получаем неравенство Qmax(^n) > а', и, соответственно, аo > а', что невозможно. >
Только что доказанная теорема дает достаточно простой алгоритм для нахождения решения задачи Дж. В. Фике для произвольного выпуклого многоугольника. Использование этого алгоритма будет полезно при аналитическом решении этой задачи для многоугольников с небольшим числом сторон, а также для приближенного решения с помощью компьютерных вычислений.
Если многоугольник K не имеет оси симметрии, то дополнительно к поворотам на угол ^ требуется добавить еще симметрию S относительно некоторой прямой, поскольку многоугольник K' может переводиться в многоугольник K c помощью несобственного движения евклидовой плоскости. Таким образом, кроме исследования многоугольников K(^>) надо тем же способом исследовать и многоугольники, получающиеся из S(K) поворотом на различные углы. При такой небольшой модернизации алгоритм может быть использовать и для исследования многоугольников без осевой симметрии.
Авторы выражают признательность профессору Эндре Макаи мл. (Endre Makai Jr.) за полезные обсуждения представленной тематики.
Литература
1. Никоноров Ю. Г., Никонорова Ю. В. Применение системы Maple к решению геометрических задач: Учебное пособие, 2-е изд. доп.—Рубцовск: Изд-во Алтайского гос. ун-та, 2005.—80 с.
2. Никонорова Ю. В. Об одной экстремальной задаче на евклидовой плоскости // Мат. тр.—2001.— Т. 4, № 1.—C. 111-121.
3. Рассказова Н. В. Задача Дж. В. Фике для треугольников // Изв. АГУ. Спец. вып., посвященный пятилетию краевой конф. по математике.—Барнаул: Изд-во Алтайского гос. ун-та, 2002.—C. 2628.
4. Croft H. T., Falconer K. J., Guy R. K. Unsolved problems in geometry. Corrected reprint.—Berlin: Springer-Verlag, 1994.—xvi+198 p.
5. Fickett J. W. Overlapping congruent convex bodies // Amer. Math. Monthly.—1980.—Vol. 87.—P. 814815.
Статья поступила 21 сентября 2009 г. Никоноров Юрий Геннадьевич
Южный математический институт ВНЦ РАН и РСО-А, главный научный сотрудник лаб. прикладного нелинейного анализа РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22 E-mail: nikonorov2006@mail.ru
Никонорова Юлия Васильевна
Волгодонский институт сервиса (ВИС ГОУ ВПО «ЮРГУЭС»), доцент кафедры экономики и управления РОССИЯ, 347386, Волгодонск, пр. Мира, 16 E-mail: nikonorova2009@mail.ru
ON AN APPROACH TO SOLUTION OF J.W. FICKETT'S PROBLEM ON OVERLAPPING CONGRUENT POLYGONS
Nikonorov Yu. G., Nikonorova Yu. V.
A general approach to J. W. Fickett's problem on overlapping congruent convex polygons on Euclidean plane is considered in details.
Key words: Euclidean plane, convex polygons, problem of J. W. Fickett, planar graphs, fractional-linear functions.
