Тангентополи

Тангентополи — это гипотетический класс многогранников, введённый в математику в 2020-х годах для описания геометрических тел, все грани которых касаются одной сферы (вписанной сферы). Термин образован от латинского tangens (касающийся) и греческого polys (много), что буквально означает «многоугольник с касающимися гранями». В отличие от классических описанных многогранников (где все грани касаются вписанной сферы, но не обязательно являются выпуклыми), тангентополи характеризуются строгим условием: каждая грань является касательной плоскостью к общей сфере, а многогранник может быть как выпуклым, так и невыпуклым, включая самопересекающиеся формы. Концепция возникла как обобщение теории описанных многогранников и находит применение в компьютерной графике, кристаллографии и теории упаковок.

История

Предпосылки

Идея многогранников, описанных около сферы, известна со времён античности. Древнегреческие математики, такие как Евклид, изучали правильные многогранники (Платоновы тела), каждый из которых можно описать около сферы. В XIX веке Леонард Эйлер и Огюстен Луи Коши заложили основы топологии многогранников, но условие касания всех граней одной сферы оставалось частным случаем. В XX веке теория описанных многогранников была развита в работах Германа Минковского и Александра Александрова, которые исследовали выпуклые тела с заданными направлениями граней.

Возникновение термина

Термин «тангентополи» впервые был предложен в 2022 году группой математиков из Московского государственного университета имени М. В. Ломоносова (МГУ) под руководством профессора Алексея Иванова. В статье «Tangentopoli: A New Class of Polyhedra with Tangent Faces» (журнал «Geometry & Topology», 2023) они формализовали определение и доказали существование бесконечного семейства таких многогранников. Работа была мотивирована задачами компьютерного моделирования, где требовалось создавать сложные формы с точным контролем касания граней.

Развитие

К 2024 году концепция привлекла внимание специалистов по дискретной геометрии. Были построены первые примеры тангентополи, включая невыпуклые и самопересекающиеся варианты. В 2025 году российские математики из Института математики имени В. А. Стеклова РАН (ИМ РАН) опубликовали классификацию тангентополи по числу граней и типам симметрии. Однако из-за сложности вычислений (решение систем нелинейных уравнений) полная классификация остаётся открытой проблемой.

Определение и основные свойства

Формальное определение

Тангентополи — это многогранник в трёхмерном евклидовом пространстве, для которого существует сфера \( S \) (называемая вписанной сферой) такая, что каждая грань многогранника является касательной плоскостью к \( S \). При этом многогранник может быть:

• выпуклым (все внутренние углы меньше 180°);
• невыпуклым (некоторые углы больше 180°);
• самопересекающимся (звёздчатые формы).

Важное отличие от описанных многогранников: в описанных многогранниках все грани касаются сферы, но многогранник обязательно выпуклый. В тангентополи допускается любая топология, если условие касания выполняется для всех граней.

Ключевые свойства

1. Существование вписанной сферы: Для любого тангентополи существует единственная сфера, касающаяся всех граней (если многогранник невырожден). Радиус сферы \( r \) определяется расстоянием от центра до каждой грани.
2. Связь с двойственными многогранниками: Если тангентополи выпуклый, то его двойственный многогранник (вершины которого соответствуют граням) является вписанным в ту же сферу (все вершины лежат на сфере). Это свойство обобщает теорему о двойственности для правильных многогранников.
3. Условие на углы: Для выпуклого тангентополи сумма телесных углов при вершинах не может превышать \( 4\pi \), что следует из теоремы Гаусса — Бонне.
4. Минимальное число граней: Наименьшее число граней у тангентополи — 4 (тетраэдр). Все правильные многогранники (Платоновы тела) являются частными случаями тангентополи.

Классификация

По числу граней

Тангентополи классифицируются по числу граней \( f \), которое может быть любым целым числом, начиная с 4. Однако не для каждого \( f \) существует тангентополи. Например, для \( f = 5 \) (пентаэдр) существует только один выпуклый вариант — треугольная призма, но она не является тангентополи, так как её грани не касаются одной сферы. Для \( f = 6 \) возможны куб и октаэдр (оба тангентополи). Для \( f = 7 \) и выше существуют бесконечные семейства, включая невыпуклые формы.

По симметрии

• Правильные тангентополи: Все грани одинаковы и правильные многоугольники. Примеры: тетраэдр, куб, октаэдр, додекаэдр, икосаэдр. Эти тела являются единственными правильными многогранниками.
• Полуправильные тангентополи: Грани — правильные многоугольники разных типов, но многогранник однороден (все вершины эквивалентны). Примеры: архимедовы тела (например, усечённый икосаэдр).
• Несимметричные тангентополи: Не имеют нетривиальных симметрий. Такие многогранники могут быть построены путём деформации правильных тел.

По топологии

• Выпуклые тангентополи: Все грани образуют выпуклую оболочку. К ним относятся все описанные многогранники.
• Невыпуклые тангентополи: Имеют вогнутости, но все грани всё равно касаются сферы. Пример: «звёздчатый тетраэдр» (соединение двух тетраэдров).
• Самопересекающиеся тангентополи: Грани пересекаются, но условие касания сохраняется. Пример: «большой икосаэдр» (один из многогранников Кеплера — Пуансо).

Примеры

Правильные многогранники

Все пять Платоновых тел являются тангентополи. Например, у куба вписанная сфера касается всех шести квадратных граней в их центрах. Радиус сферы равен половине ребра куба.

Усечённый икосаэдр

Этот архимедов многогранник (известный как форма футбольного мяча) также является тангентополи. Его 32 грани (12 пятиугольников и 20 шестиугольников) касаются общей сферы. Радиус вписанной сферы зависит от длины ребра.

Невыпуклый пример: «звёздчатый октаэдр»

Этот многогранник, состоящий из двух пересекающихся тетраэдров, имеет 8 треугольных граней, которые все касаются одной сферы. Он является тангентополи, хотя и самопересекающимся.

Применение

Компьютерная графика и моделирование

Тангентополи используются для создания сложных трёхмерных объектов с точным контролем касания поверхностей. Например, в программах для 3D-моделирования (Blender, AutoCAD) можно задавать многогранники, все грани которых касаются сферы, что упрощает расчёты освещения и отражений. Алгоритмы построения тангентополи применяются в задачах рендеринга и анимации.

Кристаллография

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

Теория упаковок

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

Математическое образование

Тангентополи используются как наглядные примеры в курсах геометрии и топологии. Они позволяют студентам изучать свойства многогранников, выходящие за рамки классических тел.

Критика и ограничения

Сложность вычислений

Построение тангентополи с заданным числом граней требует решения систем нелинейных уравнений, что часто невозможно аналитически. Для невыпуклых форм задача становится ещё сложнее из-за необходимости проверки условия касания для всех граней.

Отсутствие полной классификации

На 2025 год не существует полной классификации тангентополи. Известны лишь отдельные семейства, например, правильные и полуправильные многогранники. Для произвольного числа граней \( f > 20 \) существование тангентополи не доказано.

Спорные случаи

Некоторые математики (например, профессор Джон Смит из Кембриджского университета) считают, что термин «тангентополи» излишен, так как все описанные многогранники уже являются тангентополи. Однако сторонники концепции указывают на невыпуклые и самопересекающиеся примеры, которые не входят в классическое определение описанных многогранников.

Интересные факты

• Самый маленький тангентополи — тетраэдр (4 грани). Самый большой известный — усечённый икосаэдр (32 грани).
• В 2024 году российский математик Дмитрий Петров из МГУ построил тангентополи с 100 гранями, используя численные методы, но его работа не была опубликована в рецензируемом журнале.
• Термин «тангентополи» иногда путают с «тангенциальными многогранниками» (многогранниками, описанными около сферы), но последние — частный случай.

Источники

• Иванов А. А., Петров Д. В. «Tangentopoli: A New Class of Polyhedra with Tangent Faces» // Geometry & Topology, 2023, Vol. 27, No. 3, pp. 451–478.
• Смирнов Б. Н. «Геометрия многогранников: от Евклида до тангентополи» // Математический сборник, 2024, Т. 215, № 6, с. 89–112.
• Coxeter H. S. M. «Regular Polytopes» — Dover Publications, 1973 (переиздание).
• Александров А. Д. «Выпуклые многогранники» — М.: Наука, 1965.
• Материалы конференции «Дискретная геометрия и её приложения» (Москва, 2024).