Изгибаемый многогранник
Изгибаемый многогранник (также непрерывно изгибаемый, нежёсткий[1]) — многогранник (точнее — многогранная поверхность), чью пространственную форму можно изменить непрерывной во времени деформацией, при которой каждая грань не изменяет своих размеров (то есть движется как твёрдое тело), а деформация осуществляется только за счёт непрерывного изменения двугранных углов. Такая деформация называется непрерывным изгибанием многогранника.
Примеры
[править | править код]- Первые примеры изгибаемых многогранников были построены бельгийским инженером и математиком Раулем Брикаром в 1897 году[2]. Сейчас их называют октаэдрами Брикара. Они не только невыпуклые, но и имеют самопересечения, что не позволяет построить их движущуюся картонную модель.
- В 1976 году американский математик Роберт Коннелли впервые построил изгибаемый многогранник без самопересечений[3].
- Из всех известных на сегодняшний день изгибаемых многогранников без самопересечений наименьшее число вершин (девять) имеет многогранник, построенный немецким математиком Клаусом Штеффеном[нем.][4]. Многогранник Штеффена можно легко вырезать из бумаги (см. статью).
- Известны примеры изгибаемых многогранников, являющихся реализациями тора[5] или бутылки Клейна или вообще двумерной поверхности любого топологического рода.
-
Изгибаемый октаэдр Брикара первого типа
-
Изгибаемый октаэдр Брикара второго типа
-
Изгибаемый многогранник Штеффена
-
Развёртка изгибаемого многогранника Штеффена
Свойства
[править | править код]В теории изгибаемых многогранников известно немало красивых и нетривиальных утверждений. Ниже приведены наиболее важные из установленных на сегодня фактов:
- Все выпуклые многогранники жёсткие. Это немедленно вытекает из теоремы Коши об однозначной определённости выпуклого многогранника, доказанной в 1813 году.
- Из формулы Шлефли следует, что любой изгибаемый многогранник в процессе изгибания сохраняет так называемую интегральную среднюю кривизну, то есть число, равное , где — длина ребра , — величина внутреннего двугранного угла при ребре , а сумма перебирает все рёбра многогранника[6].
- Теорема Сабитова: любой изгибаемый многогранник в процессе изгибания сохраняет свой объём, то есть он будет изгибаться, даже если его заполнить несжимаемой жидкостью[7].
- В 2012 году, А. Гайфуллиным доказан многомерный аналог теоремы Сабитова — любой изгибаемый многогранник в размерности в процессе изгибания сохраняет свой объём.[8]
Вариации и обобщения
[править | править код]Всё сказанное выше относилось к многогранникам в трёхмерном евклидовом пространстве. Однако данное выше определение изгибаемого многогранника примени́мо и к многомерным пространствам и к неевклидовым пространствам, таким как сферическое пространство и пространство Лобачевского. Для них также известны как нетривиальные теоремы, так и открытые вопросы. Например:
- Изгибаемые многогранники существуют во всех размерностях, как в евклидовом пространстве, так и в сферическом и в геометрии Лобачевского. Примеры аналогов изгибаемых октаэдров Брикара в трёхмерной сфере и в пространстве Лобачевского были построены Штахелем. Первый пример изгибаемого самопересекающегося четырёхмерного многогранника был построен А. Вальц. Наконец, примеры изгибаемых многогранников во всех размерностях и во всех трёх геометриях (евклидовой, сферической, Лобачевского) были построены Гайфуллиным.[9][10]
- В сферическом пространстве любой размерности существует изгибаемый многогранник, объём которого непостоянен в процессе изгибания. Пример такого самопересекающегося многогранника в размерности 3 был построен в 1997 году Александровым[11], а пример несамопересекающегося многогранника в сферическом пространстве любой размерности — А. А. Гайфуллиным в его работе 2015 года[12]. Напротив, в трёхмерном пространстве Лобачевского, и вообще в пространстве Лобачевского любой нечётной размерности, объём изгибаемого многогранника обязан сохраняться (так же, как и в евклидовом случае).[13][14].
Открытые вопросы
[править | править код]- Верно ли, что многогранник Штеффена имеет наименьшее число вершин среди всех изгибаемых многогранников, не имеющих самопересечений[15];
- Верно ли, что если один многогранник, не имеющий самопересечений, получен из другого многогранника, который также не имеет самопересечений, непрерывным изгибанием, то эти многогранники равносоставлены, то есть первый можно разбить на конечное число тетраэдров, каждый из этих тетраэдров независимо от других можно передвинуть в пространстве и получить разбиение второго многогранника[16].
- В размерностях, начиная с 4, неизвестно, существуют ли изгибаемые несамопересекающиеся многогранники.[13]
- Неизвестно, имеет ли место теорема о кузнечных мехах (должен ли сохраняться объём при изгибании) в пространствах Лобачевского чётной размерности (4, 6,…).[13]
Популярная литература
[править | править код]- В. А. Александров, Изгибаемые многогранные поверхности, Соросовский образовательный журнал. 1997. No. 5. С. 112—117. Та же статья переиздана в книге под редакцией В. Н. Сойфера и Ю. П. Соловьёва: Современное естествознание. Энциклопедия. Т. 3: Математика и механика М.: Наука, М.: Флинта, 2000. ISBN 5-02-004299-4.
- М. Берже, Геометрия. М.: Мир, 1984. Т. 1. С. 516—517.
- В. А. Залгаллер, Непрерывно изгибаемый многогранник, Квант. 1978. No. 9. С. 13—19.
- А. И. Медяник, Модель многогранника Коннелли, Квант. 1979. No. 7. С. 39. (Обратите внимание, что развёртка многогранника Коннелли дана в том же выпуске журнала на оборотной стороне обложки.)
- И.Х. Сабитов,. Объёмы многогранников. — М.:МЦНМО, 2002. — 32 с.
- Дэвид А. Кларнер. Математический цветник. Сборник статей и задач = The Mathematical Gardner / Пер. с англ. Ю. А. Данилова; под ред., с предисл. и прилож. И. М. Яглома. — М.: Мир, 1983. — С. 105—117. — 494 с.
- Лекция 25 в Табачников С.Л.. Фукс Д.Б. Математический дивертисмент. — МЦНМО, 2011. — 512 с. — 2000 экз. — ISBN 978-5-94057-731-7.
- Фильм «Изгибаемые многогранники», сайт Математические этюды
- Актуальная математика: Изгибаемые многогранники на YouTube
Научная литература
[править | править код]- В. А. Александров, Новый пример изгибаемого многогранника, Сиб. мат. журн. 1995. Т. 36, No 6. С. 1215—1224.
- Н. Х. Кёйпер, Изгибаемые полиэдральные сферы в , по Роберту Коннелли, в кн. под ред. А. Н. Колмогорова и С. П. Новикова: Исследования по метрической теории поверхностей. М.: Мир. 1980. С. 210—227.
- P. Коннелли, Об одном подходе к проблеме неизгибаемости. Там же. С. 164—209.
- Р. Коннелли, Некоторые предположения и нерешённые вопросы в теории изгибаний. Там же. С. 228—238.
- И. Г. Максимов, Неизгибаемые многогранники с малым количеством вершин, Фундам. прикл. матем. 2006. Т. 12, No. 1. С. 143—165.
- С. Н. Михалёв, Некоторые необходимые метрические условия изгибаемости подвесок, Вестник МГУ, Сер. I, 2001, No. 3, 15—21.
- И. Х. Сабитов, Объём многогранника как функция его метрики, Фундам. прикл. матем. 1996. Т. 2, No. 4. С. 1235—1246.
- И. Х. Сабитов, Обобщённая формула Герона — Тарталья и некоторые её следствия, Матем. сб. 1998. Т. 189, No. 10. С. 105—134.
Примечания
[править | править код]- ↑ Д. А. Слуцкий, “Hежесткий многогранник с ненулевой вариацией объема в пространстве Лобачевского”, Сиб. матем. журн., 52:1 (2011), 167–176; Siberian Math. J., 52:1 (2011), 131–138
- ↑ R. Bricard. Mémoire sur la théorie de l’octaèdre articulé Архивировано 17 июля 2011 года.. J. Math. Pures Appl.[англ.] 1897. 3. P. 113—150 (см. также английский перевод Архивная копия от 3 марта 2016 на Wayback Machine).
- ↑ R. Connelly, The rigidity of polyhedral surfaces, Math. Mag. 52 (1979), no. 5, 275—283.
- ↑ М. Берже, Геометрия. М.: Мир, 1984. Т. 1. С. 516—517.
- ↑ В. А. Александров, Новый пример изгибаемого многогранника, Сиб. мат. журн. 1995. Т. 36, No 6. С. 1215—1224.
- ↑ R. Alexander, Lipschitzian mappings and total mean curvature of polyhedral surfaces. I, Trans. Amer. Math. Soc. 1985. Vol. 288, no. 2, 661—678.
- ↑ И. Х. Сабитов, Объем многогранника как функция длин его ребер, Фундам. прикл. матем. 1996. Т. 2, № 1. С. 305—307.
- ↑ А. Гайфуллин. Обобщение теоремы Сабитова на произвольные размерности (2012). Дата обращения: 17 августа 2014. Архивировано 7 ноября 2017 года.
- ↑ H. Stachel, Flexible octahedra in the hyperbolic space, в книге под ред. A. Prékopa: Non-Euclidean geometries. János Bolyai memorial volume. Papers from the international conference on hyperbolic geometry, Budapest, Hungary, July 6—12, 2002. New York, NY: Springer. Mathematics and its Applications 581, 209—225 (2006).
- ↑ А. А. Гайфуллин, Изгибаемые кросс-политопы в пространствах постоянной кривизны, Тр. МИАН, 286 (2014), 88-128.
- ↑ V. Alexandrov, An example of a flexible polyhedron with nonconstant volume in the spherical space, Beitr. Algebra Geom. 38, No.1, 11—18 (1997). ISSN 0138-4821.
- ↑ А. А. Гайфуллин, Вложенные изгибаемые сферические кросс-политопы с непостоянными объемами Архивная копия от 7 февраля 2017 на Wayback Machine, Тр. МИАН, 288 (2015), 67-94.
- ↑ 1 2 3 «Изгибаемые многогранники», Математические этюды, http://www.etudes.ru/ru/etudes/sabitov/ Архивная копия от 31 января 2017 на Wayback Machine
- ↑ А. А. Гайфуллин, Аналитическое продолжение объема и гипотеза кузнечных мехов в пространствах Лобачевского Архивная копия от 7 февраля 2017 на Wayback Machine, Матем. сб., 206:11 (2015), 61-112
- ↑ И. Г. Максимов, Неизгибаемые многогранники с малым количеством вершин Архивная копия от 25 августа 2014 на Wayback Machine, Фундам. прикл. матем. 2006. Т. 12, No. 1. С. 143—165.
- ↑ См. стр. 231 книги под ред. А. Н. Колмогорова и С. П. Новикова: Исследования по метрической теории поверхностей. М.: Мир. 1980. На английском эта гипотеза была впервые опубликована в статье R. Connelly, The rigidity of polyhedral surfaces, Math. Mag. 1979. Vol. 52. P. 275—283.