УДК 514.172 Вестник СПбГУ. Сер. 1. Т. 2(60). 2015. Вып. 3
ДЕЛЕНИЕ ВЫПУКЛОЙ ФИГУРЫ СИСТЕМОЙ ЛУЧЕЙ И ВПИСАННЫЕ В ЭТУ ФИГУРУ МНОГОУГОЛЬНИКИ
В. В. Макеев
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7/9
Доказаны утверждения о делении площади выпуклой фигуры системой лучей с общим началом, включающие в себя некоторые ранее известные результаты такого рода. В качестве предельного случая получаются также некоторые ранее известные теоремы о возможности вписать в выпуклую фигуру многоугольник того или иного типа. Библиогр. 13 назв. Ил. 2. Ключевые слова: выпуклая фигура, деление площади, вписанные многоугольники.
Имеется много утверждений о делении площади выпуклой фигуры на равные части системой лучей с общим началом и о возможности вписать в выпуклую фигуру (или описать вокруг нее) многоугольник того или иного типа (см. обзор [1]). При этом для доказательства этих утверждений используются аналогичные топологические соображения, которе можно излагать различными по форме способами (мы используем более геометрический).
Ниже мы доказываем более общие утверждения о делении площади выпуклой фигуры системой лучей с общим началом. При этом утверждения о вписанных многоугольниках становятся предельным случаем теорем о делении площади выпуклой фигуры.
Всюду в дальнейшем под выпуклой фигурой понимаем компактное выпуклое подмножество плоскости с непустой внутренностью. Ниже Б (К) и дК означают площадь и границу выпуклой фигуры К.
§ 1. Случай произвольной выпуклой фигуры. Хорошо известно, что на границе всякой плоской выпуклой фигуры лежат вершины некоторого квадрата (в [4] изложена история вопроса). В [2] (см.[3]) это доказано для произвольной гладкой жордановой кривой. Также хорошо известно, что площадь выпуклой фигуры можно разделить на равные части парой перпендикулярных прямых. Нижеследующая теорема объединяет оба эти утверждения.
Теорема 1. Пусть К —плоская выпуклая фигура с гладкой границей, а 6*1,..., С4 — конусы с общей вершиной в центре некоторого квадрата, имеющие в качестве направляющих множеств отрезки его сторон равной длины, симметричные относительно середин этих сторон (рис. 1). Тогда существует такое дви-
Рис. 1.
жение, переводящее общую вершину конусов во внутреннюю точку фигуры К, что образы конусов С1,..., С4 содержат равные части площади фигуры К.
Доказательство. Нам в дальнейшем понадобится вспомогательное утверждение.
Лемма. Для любой плоской выпуклой фигуры К с гладкой границей найдется такое е > 0, что через каждую внутреннюю точку фигуры, удаленную от ее границы менее, чем на е, проходит ровно одна хорда фигуры, делящаяся в этой точке пополам.
Доказательство. В каждой граничной точке фигуры К рассмотрим вспомогательную декартову систему координат, поместив начало координат в рассматриваемую точку, направив ось х по касательной к фигуре, а ось у — по направленной внутрь нормали к границе. В силу гладкости границы К найдется такое е > 0, что в каждой граничной точке фигуры в вспомогательной системе координат точки границы фигуры, удаленные от оси х менее чем на е, являются точками графика функции, не убывающей при х > 0 и не возрастающей при х < 0. По соображениям компактности е можно выбрать обслуживающим все точки границы фигуры К. Пусть внутренняя точка а фигуры расположена на расстоянии меньше е/2 от границы фигуры. Рассмотрим вышеописанную систему координат с началом в ближайшей к точке а точке границы К. Очевидно, что граница симметричной К относительно точки а фигуры имеет точки пересечения с границей фигуры К лишь на расстоянии меньше е от оси х. Таких точек ровно две. Лемма доказана.
Докажем теорему 1. Мы считаем, что стороны квадрата и конусы занумерованы против часовой стрелки; обозначим через М конфигурационное пространство квадратов, полученных из исходного сохраняющими ориентацию движениями плоскости, при которых центр квадрата является внутренней точкой фигуры К.
Определим отображение / : М х (0, п/2] ^ Д4, где вторая координата есть угол при вершине связанного с квадратом конуса (который может меняться в указанных пределах), сопоставив упорядоченному набору конусов (Сх,..., С4) набор чисел (5 (Сх П К),..., 5 (С4 П К)).
Множество искомых конфигураций конусов замкнуто по соображениям непрерывности. Из доказанной леммы следует, что это множество еще и компактно. Действительно, в силу равенства площадей внутри каждой пары симметричных конусов проходит хорда фигуры, делящаяся в их общей вершине пополам. Следовательно, по доказанной лемме вершины всех искомых конфигураций конусов отделены от границы фигуры К.
На пространстве М х (0, п/2] свободно действует циклическая группа . циклическими перестановками конусов (Сх,..., С4). Множество А искомых конфигураций конусов — прообраз прямой в Д4, заданной уравнениями х\ = • • • = Х4. По построению А инвариантно относительно вышеуказанного действия .4. В ситуации общего положения (то есть для открытого плотного в Сх-топологии множества фигур К) множество А — одномерное гладкое подмногообразие М х (0,п/2], а Ах = А/.4 —гладкое подмногообразие М/.4 х (0, п/2]. Для а > 0 в многообразии с краем М/.4 х [а, п/2] содержащаяся в нем часть Ах, которую обозначим через А2, является одномерным гладким многообразием с краями в М/. х а и М/. х (п/2).
Заметим, что в ситуации общего положения А2 П (М/.4) х (п/2) состоит из нечетного числа точек, то есть в этом случае существует нечетное число пар перпендикулярных прямых, делящих площадь фигуры К на равные части. Это следует из того,
что типичная гладкая функция, принимающая на концах отрезка значения разного знака, имеет нечетное число нулей (вспомним стандартное доказательство существования такой пары прямых, например [5]).
Но тогда и А2 П (М/24) х а состоит из нечетного числа точек, что и доказывает теорему 1 в ситуации общего положения. В остальных случаях теорема получается предельным переходом.
Замечание. Если угол при вершине конуса равен п/2, то получается теорема о возможности разделить на равные части площадь выпуклой фигуры парой перпендикулярных прямых. Если угол при вершине конуса стремится к 0, то в пределе получается теорема о вписанном квадрате.
В [6] доказано, что на границе выпуклой фигуры лежат вершины аффинного образа правильного шестиугольника, а в [7] доказано, что площадь этой фигуры можно разделить на равные части тремя проходящими через одну точку прямыми (см. [5]).
Теорема 2. Пусть К — плоская выпуклая фигура с гладкой границей, а С1,...,С6 —конусы с общей вершиной в центре некоторого правильного шестиугольника с отрезками его сторон равной длины, симметричными относительно середин этих сторон в качестве направляющих множеств (рис. 2). Тогда существует такое аффинное преобразование, переводящее общую вершину конусов во внутреннюю точку фигуры К, что образы рассматриваемых конусов С1,... ,С6 содержат равные части площади фигуры К.
Рис. 2.
Доказательство. Действуем по аналогии с доказательством теоремы 1. Мы считаем, что стороны шестиугольника и конусы занумерованы против часовой стрелки; обозначим через М конфигурационное пространство шестиугольников, полученных из исходного сохраняющими ориентацию аффинными преобразованиями плоскости с единичным определителем, при которых центр шестиугольника является внутренней точкой фигуры К.
Определим отображение f: М х (0, п/3] ^ Д6, где вторая координата есть угол при вершине конуса, связанного с исходным шестиугольником, сопоставив упорядоченному набору подвергнутых аффинному преобразованию конусов (С1,..., С6) набор чисел (Б(С1 П К),..., Б(Сб П К)).
Множество А искомых конфигураций конусов — прообраз прямой в Д6, заданной уравнениями Х1 = • • • = Х6. Множество А замкнуто по соображениям непрерывности. Из доказанной леммы следует, что множество вершин конусов из А отделено от границы фигуры К. Действительно, в силу равенства площадей внутри каждой па-
ры симметричных конусов проходит хорда фигуры, делящаяся в их общей вершине пополам. Следовательно, по доказанной лемме вершины всех искомых конфигураций конусов отделены от границы фигуры К. Пересечение А с каждым множеством М х [а, п/3] для а > 0 компактно. В противном случае в М х [0, п/3] присутствуют элементы А, полученные из исходной системы конусов сжатием в некотором направлении со сколь угодно малым коэффициентом. Но тогда (учитывая то, что вершины конусов отделены от границы фигуры), выбрав из указанных предельное направление, совершая обратное аффинное преобразование и предельный переход, мы постоим бесконечную полосу между параллельными прямыми, высекающую на исходных конусах равные площади, чего не может быть.
На пространстве М х (0, п/3] свободно действует циклическая группа . циклическими перестановками конусов (С,..., Сб). По построению А инвариантно относительно вышеуказанного действия .6. В ситуации общего положения (то есть для открытого плотного в Сх-топологии множества фигур К) множество А — одномерное гладкое подмногообразие Мх(0,п/3], а Ах = А/.6 — гладкое подмногообразиеМ/.6х (0, п/3]. Для а > 0 в многообразии с краем М/. х [а, п/3] содержащаяся в нем часть Ах, которую обозначим через А2, является одномерным гладким многообразием с краями в М/.6 х а и М/.6 х (п/3).
Заметим, что в ситуации общего положения А2 П М/. х (п/3) состоит из нечетного числа точек, то есть в этом случае существует нечетное число троек пересекающихся прямых, делящих площадь фигуры К на равные части. Это следует из того, что типичная гладкая функция, принимающая на концах отрезка значения разного знака, имеет нечетное число нулей (вспомним доказательство существования такой тройки прямых [5], [7]).
Но тогда и А2 П М/.6 х а состоит из нечетного числа точек, что и доказывает теорему 2 в ситуации общего положения. В остальных случаях теорема получается предельным переходом.
Замечание. Если угол при вершине конуса равен п/3, то получается теорема о возможности разделить на равные части площадь выпуклой фигуры тройкой пересекающихся прямых [7]. Если угол при вершине конуса стремится к 0, то в пределе получается теорема о вписанном аффинно-правильном шестиугольнике [6].
В [8, 9] доказано, что во всякую плоскую выпуклую фигуру можно вписать аффинный образ правильного пятиугольника с вершиной в наперед заданной точке границы фигуры К (см. [10]). В [11] то же самое доказано для выпуклого пятиугольника, сумма любых соседних углов которого больше п.
Теорема 3. Пусть К — плоская выпуклая фигура с гладкой границей, а Сх,..., С5 — конусы с общей вершиной в центре некоторого правильного пятиугольника с такими отрезками его сторон равной длины, симметричными относительно середин этих сторон в качестве направляющих множеств, что углы при вершинах конусов менее п/5. Тогда существует такое аффинное преобразование, переводящее общую вершину конусов во внутреннюю точку фигуры К, что образы конусов Сх,..., С5 содержат равные части площади фигуры К, а выбранный луч, ограничивающий один из конусов, пересекает границу фигуры К в заданной точке.
Доказательство. Мы считаем, что стороны пятиугольника и конусы занумерованы против часовой стрелки; обозначим через М конфигурационное пространство систем конусов, полученных из исходной сохраняющими ориентацию аффинными преобразованиями плоскости с единичным определителем, при которых общая вершина конусов является внутренней точкой фигуры К.
Зафиксировав угол ^ < п/5 при вершине конуса, определим отображение / : М ^ Д5, сопоставив упорядоченному набору конусов (С1,..., С5) набор чисел (Б(С1 П К),..., Б(С5 П К)).
Обозначим через А множество таких вышеописанных аффинных преобразований, что для площадей образов конусов выполняется равенство Б(С1 П К) = • • • = (С5 П К) . Покажем, что в ситуации общего положения (то есть для открытого плотного в С1-топологии множества фигур К отображение f трансверсально к прямой Х1 = ••• = Х5 в Д5) множество А — одномерное гладкое компактное ориентируемое подмногообразие пятимерного некомпактного многообразия рассматриваемых аффинных преобразований, которое реализует образующую фундаментальной группы М.
Проверим, что круг К — фигура общего положения. Для круга К искомыми являются только правильные конфигурации конусов с общей вершиной в центре круга. Пусть вышеописанная правильная система конусов имеет общую вершину в центре круга К, и аффинное преобразование а с единичным определителем переводит ее в систему конусов с тем же свойством. Тогда система конусов а(С[),..., а(С5) высекает на фигурах К и (ограниченной эллипсом) а(К) секторы равной площади. Тогда внутри каждого из конусов а(С1),..., а(С5) проходит исходящий из их общей вершины луч, на котором фигуры К и а(К) высекают равные отрезки, то есть их границы пересекаются в пяти (лежащих на окружности) точках, а значит по теореме Безу они совпадают. Таким образом, в рассматриваемом случае множество А состоит из сохраняющих ориентацию поворотов вокруг центра круга. Подвергая правильную систему конусов с общей вершиной в центре круга К сжатию к биссектрисе угла одного из конусов с последующим сдвигом вдоль биссектрисы их общей вершины внутрь этого конуса, мы добьемся того, что секторы, высекаемые другими конусами, будут иметь равную площадь, а выделенный конус с ненулевой скоростью будет уменьшать свою площадь по сравнению с ними. Это доказывает, что круг К — фигура общего положения.
Определим для фигуры К с гладкой границей непрерывное отображение д : А ^ дК, сопоставив аффинному преобразованию точку пересечения образа выделенного луча, ограничивающего один из конусов, с границей фигуры. Любые две плоские гладкие выпуклые фигуры гладко деформируемы друг в друга в классе таких фигур (например, их выпуклые линейные комбинации). При этом множество искомых конфигураций конусов для фигур из рассматриваемого однопараметрического семейства компактно. В противном случае, как и выше, превратим найденные системы конусов аффинными преобразованиями в правильные системы и рассмотрим круги с центрами в общих вершинах конусов, от которых конусы отсекают секторы той же площади, что и образы рассматриваемых фигур при тех же преобразованиях. Границы фигур и кругов пересекаются внутри конусов в точках А1,..., А5. В силу сделанного ограничения на углы при вершине конусов для любых четырех идущих подряд вершин пятиугольников А1,..., А5, например А1,..., А4, выполняется следующее. Продолжения сторон А1А2, А4А3 и А2А3 ограничивают треугольник А2А3В с углом /В более п/5 — у>. Действительно, угловая мера дуги А2А3 менее 2п/5 + у>, а не пресекающей ее дуги А1А4 более 4п/5 — у>. Угол В измеряется полуразностью угловых мер этих дуг, поэтому он более п/5 — у>.
Таким образом, аффинный образ фигуры содержит вписанный в окружность пятиугольник А1 , . . . , А5 и содержится в пятиугольной звезде, ограниченной продолжениями сторон этого пятиугольника, с острыми углами при вершинах более п/5 — у>. Таким образом, отношение площади аффинного образа фигуры к площа-
ди пятиугольника Ах,..., А5 не превосходит отношения площади звезды к площади пятиугольника, которое ограничено зависящей от ^ постоянной. Это доказывает компактность множества искомых конфигураций конусов для фигур из рассматриваемых однопараметрических семейств.
Таким образом, по стандартным топологическим соображениям для фигуры общего положения корректно определен класс сингулярного бордизма отображения д, а значит и его степень. Рассмотренный пример круга К показывает, что эта степень равна 1. Теорема доказана.
§ 2. Случай центрально-симметричной выпуклой фигуры
Теорема 4. Пусть К — плоская центрально-симметричная выпуклая фигура, а Сх,..., С6 — конусы с общей вершиной в центре некоторого правильного шестиугольника с отрезками его сторон равной длины, симметричными относительно середин этих сторон в качестве направляющих множеств. Тогда существует такое аффинное преобразование, переводящее общую вершину конусов в центр симметрии фигуры К, что образы конусов Сх,..., С6 содержат равные части площади фигуры К, а выбранный луч, ограничивающий один из конусов, пересекает границу фигуры К в заданной точке.
Доказательство аналогично доказательству теоремы 3. Мы считаем, что стороны шестиугольника и конусы занумерованы против часовой стрелки; обозначим через М конфигурационное пространство систем конусов, полученных из исходной сохраняющими ориентацию аффинными преобразованиями плоскости с единичным определителем, при которых общая вершина конусов является центром фигуры К. Обозначим через А множество таких вышеописанных аффинных преобразований, что для образов конусов выполняется равенство 5(Сх П К) = • • • = 5(С6 П К).
Зафиксировав некоторый угол при вершине конусов, определим отображение / : М ^ Д3, сопоставив упорядоченному набору конусов (Сх,...,С6) набор чисел (5(Сх П К), 5(С3 П Ко, 5(С5 П К)). Покажем, что в ситуации общего положения (то есть для открытого плотного в Сх-топологии множества фигур К отображение f трансверсально к прямой хх = хз = х5 в Д3) множество А — одномерное гладкое компактное ориентируемое подмногообразие трехмерного некомпактного многообразия рассматриваемых аффинных преобразований, которое реализует образующую фундаментальной группы М.
Проверим, что круг К — фигура общего положения. Для круга К искомыми являются только правильные конфигурации конусов с общей вершиной в центре круга. Пусть вышеописанная правильная система конусов имеет общую вершину в центре круга К и аффинное преобразование а с единичным определителем переводит ее в систему конусов с тем же свойством. Тогда система конусов а(Сх),..., а(С6) высекает на фигурах К и а(К) секторы равной площади. Тогда внутри каждого из конусов а(Сх),..., а(С6) проходит исходящий из их общей вершины луч, на котором фигуры К и а(К) высекают равные отрезки, то есть их границы пересекаются в шести точках, а значит по теореме Безу они совпадают. Таким образом, в рассматриваемом случае множество А состоит из сохраняющих ориентацию поворотов вокруг центра круга. Подвергая правильную систему конусов с общей вершиной в центре круга К сжатию к биссектрисе угла между соседними конусами, мы добьемся того, что секторы, ограниченные ближайшими к биссектрисе конусами, уменьшат свою площадь, оставаясь равными, а оставшиеся два симметричных конуса с ненулевой скоростью увеличат свою площадь. Это доказывает, что круг К — фигура общего положения.
Определим непрерывное отображение д : А ^ дК, сопоставив аффинному преобразованию точку пересечения образа выделенного луча, ограничивающего один из конусов, с границей фигуры. Любые две плоские центрально-симметричные гладкие выпуклые фигуры с общим центром гладко деформируемы друг в друга в классе таких фигур (например, их выпуклые линейные комбинации). При этом множество искомых конфигураций конусов для фигур из рассматриваемого однопараметрического семейства компактно, так как в противном случае превратим найденные системы конусов аффинными преобразованиями в правильные системы и совершим предельный переход (как и выше). Мы построим бесконечную полосу, ограниченную параллельными прямыми, от которой конусы отсекают равные площади, чего не может быть. Таким образом, по стандартным топологическим соображениям для фигуры общего положения корректно определен класс сингулярного бордизма отображения д, а значит и его степень. Рассмотренный пример круга К показывает, что эта степень равна 1. Теорема доказана в ситуации общего положения. В остальных случаях она получается предельным переходом.
Замечание. Если угол при вершине конуса стремится к 0, то в пределе получается известная теорема о вписанном аффинно-правильном шестиугольнике с вершиной в наперед заданной граничной точке фигуры К.
Известно, что во всякую центрально-симметричную выпуклую фигуру вписан аффинный образ правильного восьмиугольника [9, 10].
Теорема 5. Пусть К — плоская центрально-симметричная выпуклая фигура, а С1,..., С8 — конусы с общей вершиной в центре некоторого правильного восьмиугольника с отрезками его сторон равной длины, симметричными относительно середин этих сторон в качестве направляющих множеств. Тогда существует такое аффинное преобразование, переводящее общую вершину конусов в центр симметрии фигуры К, что образы конусов С1,..., С8 содержат 'равные части площади фигуры К.
Доказательство. Покажем, что в ситуации общего положения (то есть для открытого плотного в С1 -топологии множества фигур К с гладкой границей) искомых конфигураций образов конусов нечетное число. Покажем, что для системы конусов с углом меньше п/4 при вершине квадрат (сглаженный в малых окрестностях вершин) является фигурой общего положения и для него существует ровно одна искомая система конусов.
Действительно, прямая, отсекающая от двух соседних конусов треугольники равной площади, должна быть перпендикулярна разделяющей их диагонали восьмиугольника. Поэтому для квадрата искомая система конусов одна, когда диагонали восьмиугольника перпендикулярны сторонам квадрата. Меняя пару параллельных сторон квадрата, превращая его в параллелограмм, легко добиться того, что площади частей фигуры в трех парах симметричных конусов не изменятся, а в четвертой паре будут меняться с ненулевой скоростью. Превращая аффинными преобразованиями получаемые параллелограммы в исходный квадрат, видим, что сглаженный квадрат является фигурой общего положения.
Любые две плоские центрально-симметричные гладкие выпуклые фигуры с общим центром гладко деформируемы друг в друга в классе таких фигур (например, их выпуклые линейные комбинации). При этом множество искомых конфигураций конусов для фигур из рассматриваемого однопараметрического семейства компактно. Так как в противном случае, превратив найденные системы конусов аффинными преобразованиями в правильные системы, совершив предельный переход (как и выше), мы
построим бесконечную полосу, ограниченную параллельными прямыми, от которой конусы отсекают равные площади, чего не может быть. Таким образом, по стандартным топологическим соображениям вычет по модулю 2 числа искомых конфигураций конусов для фигуры общего положения корректно определен. Рассмотренный пример сглаженного квадрата показывает, что он равен 1. Теорема доказана в ситуации общего положения. В остальных случаях она получается предельным переходом.
Замечание. Если угол при вершине конуса стремится к 0, то в пределе получается теорема о вписанном аффинно-правильном восьмиугольнике.
В [12] доказано, что во всякую плоскую центрально-симметричную выпуклую фигуру К или же вписан аффинный образ правильного десятиугольника, или же имеются два аффинных образа правильного десятиугольника, четыре пары противоположных вершин которых лежат на границе К, при этом две оставшиеся вершины первого многоугольника лежат вне К, а две оставшиеся вершины второго лежат внутри К.
Теорема 6. Пусть К — плоская центрально-симметричная выпуклая фигура. Рассмотрим десять конусов с общей вершиной в центре некоторого правильного десятиугольника с отрезками его сторон равной длины, симметричными относительно середин этих сторон в качестве направляющих множеств. Тогда или существует такое аффинное преобразование, переводящее общую вершину конусов в центр симметрии фигуры К, что образы конусов содержат равные части площади фигуры К, или же существуют такие два аффинных образа системы конусов с общей вершиной в центре симметрии фигуры К, что образы четырех пар симметричных конусов содержат равные части площади фигуры К, которые в одном случае больше частей, содержащихся в конусах оставшейся пары, а в другом меньше.
Доказательство. Рассмотрим прямой цилиндр С с основанием К, высота которого многократно больше диаметра основания, и пусть О — центр симметрии С. Обозначим через Сх,...,С5 пары симметричных относительно их общей вершины конусов. Обозначим через М многообразие вышеуказанной системы конусов с общей вершиной в центре О цилиндра С, причем пары конусов занумерованы против часовой стрелки в содержащих их ориентированных плоскостях из многообразия Грассмана ориентированных двумерных плоскостей в Д3. Ясно, что М гомеоморфно многообразию Штифеля V (Д3) 2-реперов в Д3.
Определим непрерывное отображение / : М ^ Д5, сопоставив упорядоченному набору конусов набор чисел (5(Сх П С),..., (С5 П С)). На многообразиях М и Д5 действует циклическая группа .5: на первом — циклическими перестановками пар симметричных конусов, а на втором — циклическими перестановками координат. По построению рассматриваемое отображение / сохраняет вышеописанное групповое действие.
Как доказано в [13], в этом случае образ f (М) или содержит точку с равными координатами, или же содержит две точки с четырьмя равными координатами, причем пятая координата у одной из точек меньше остальных, а у второй — больше. Очевидно, что в силу центральной симметрии С и того, что его высота многократно больше диаметра основания, системы найденных конусов не могут пересекать основания цилиндра С. Теперь, проектируя на основание К цилиндра вышеописанную систему конусов, получаем требуемое.
Замечание. При стремлении угла при вершине конусов к 0 в качестве предельного случая получаем приведенное выше утверждение из [12].
Литература
1. Карасёв Р. Н. Топологические методы в комбинаторной геометрии // Успехи математических наук. 63:6 (384). 2008. C.39-90.
2. Шнирельман Л. Г. О некоторых геометрических свойствах замкнутых кривых // Успехи математических наук. Вып. 10. 1944. С. 34-44.
3. Griffiths H. The topology of square pegs in round holes // Proc. London Math. Soc. Vol. 62, N3. 1991. P. 647-672.
4. Eggleston H. G. Figures inscribed in convex sets // Amer. Math. Monthly. Vol. 65. 1958. P. 76-80.
5. Яглом И.М., Болтянский В. Г. Выпуклые фигуры. Гостехиздат, 1951.
6. Besicovitch A. S. Measure of asymmetry of convex curves //J. London. Math. Soc. Vol. 23. 1945. P. 237-240.
7. Buck B., Buck E. Equipartition of convex sets // Math. Mag. Vol. 22. 1948/49. P. 195-198.
8. Bohme W. Ein Satz uber ebene konvexe Figuren // Math. Phys. Semesterber. Vol. 6. 1958. P. 153156.
9. Grunbaum B. Affineregular polygons inscribed in plane convex sets // Riveon Lematimatika. Vol. 13. 1959. P. 20-24.
10. Грюнбаум Б. Этюды по комбинаторной геометрии и теории выпуклых тел. М.: Наука, 1971.
11. Макеев В. В. О пятиугольниках, вписанных в замкнутую выпуклую кривую // Записки научных семинаров ПОМИ. 246. СПб., 1997. C. 184-190.
12. Макеев В. В., Нецветаев Н. Ю. О вписанных и описанных многогранниках для центрально-симметричного выпуклого тела // Записки научных семинаров ПОМИ. 415. СПб., 2013. C. 54-61.
13. Макеев В. В. Задача Кнастера и почти сферические сечения // Мат. сб. 180, №3. 1989. С. 424-431.
Статья поступила в редакцию 26 марта 2015 г.
Сведения об авторе
Макеев Владимир Владимирович —доктор физико-математических наук, профессор; [email protected]
PARTITIONING THE CONVEX FIGURE BY SYSTEM OF RAYS AND INSCRIBED POLYGONS
Vladimir V. Makeev
St.Petersburg State University, Universitetskaya nab., 7/9, St.Petersburg, 199034, Russian Federation; mvv5 [email protected]
Established some new theorems about equipartitioning the area of a convex figure by system of convex cones with common vertex. As the limit case of this theorems we have some previous theorems about equipartitioning the area of a convex figure by convex fans and about inscribed polygons of convex figure. Refs 13. Figs 2.
Keywords: convex figure, equipartitioning the area, inscribed polygons.
References
1. Karasev R. N., "Topological methods in combinatorial geometry", Russ. Math. Surv. 63, 1031—1078 (2008) [in Russian].
2. Shnirel'man L. G., "On certain geometrical properties of closed curves", Usp. Mat. Nauk no. 10, 34-44 (1944) [in Russian].
3. Griffiths H., "The topology of square pegs in round holes", Proc. London Math. Soc. 62(3), 647-672 (1991).
4. Eggleston H. G., "Figures inscribed in convex sets", Am. Math. Mon. 65, 76-80 (1958).
5. Yaglom I.M., Boltyanskii V. G., Convex Figures, Ser. Library of the Mathematical Circle 4 (Gostekhizdat, Moscow, 1951; Holt, Rinehart and Winston, New York, 1961) [in Russian].
6. Besicovitch A.S., "Measure of asymmetry of convex curves", J. London. Math. Soc. 23, 237—240 (1945).
7. Buck B., Buck E., "Equipartition of convex sets", Math. Mag. 22, 195-198 (1949).
8. Böhme W., "Ein satz über ebene konvexe figuren", Math. Phys. Semesterber 6, 153-156 (1958).
9. Grunbaum B., "Affineregular polygons inscribed in plane convex sets", Riveon Lematimatika 13, 20-24 (1959).
10. Gryunbaum B., "Studies on the Combinatorial Geometry and the Theory of Convex Bodies" (Nauka, Moscow, 1971) [in Russian].
11. Makeev V. V., "Pentagons inscribed in a closed convex curve", J. Math. Sci. 100, 2303-2306 (2000) [in Russian].
12. Makeev V.V., Netsvetaev N.Yu., "On inscribed and circumscribed polyhedra for a centrally symmetric convex body", Zap. Nauchn. Sem. POMI 415, 54-61 (2013) [in Russian].
13. Makeev V. V., "The Knaster problem and almost spherical sections", Mat. USSR Sb. 66, 431-438 (1990) [in Russian].