MathNotForYou

Что связывает геометрию кривых с распространением волн и оптимальным управлением?

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

Этому пересечению тем посвящена книга В. И. Арнольда «Астроидальная геометрия гипоциклоид и гессианова топология гиперболических многочленов», выпущенная МЦНМО в 2001 году. В центре книги находится неожиданная связь астроидальной геометрии с гессиановой топологией. Её обнаружение привело к новым результатам в обеих областях.

У книги есть и учебная история. По её материалам Арнольд прочитал миникурс на Летней школе «Современная математика» в Дубне 17–26 июля 2001 года. Слушателями были старшеклассники и студенты первых двух курсов. При этом книга адресована подготовленным читателям, так что возраст участников школы не стоит принимать за обещание простого чтения.

У клетки в изогнутом слое ткани могут быть разные соседи сверху и снизу. Именно эта смена соседства помогает понять геометрию скутоида.

Представьте клетку, у которой на одной поверхности слоя пятиугольное основание, а на другой шестиугольное. Между основаниями появляется дополнительная вершина с Y-образным соединением рёбер. Это один из вариантов скутоида. Название обозначает семейство форм, а не единственное тело с фиксированными размерами. Боковые поверхности могут быть искривлёнными, поэтому описывать такую клетку обычным многогранником не всегда корректно.

Теперь соберём несколько таких клеток вместе. Две клетки могут соседствовать у нижней поверхности слоя, но перестать соседствовать у верхней. У другой пары контакт, наоборот, появляется. Скутоидная геометрия позволяет совместить такую перестройку соседства с плотной упаковкой клеток без зазоров. Анимация помогает представить этот переход
https://youtu.be/bqiSA1dEnB4?si=VhSN-w-ZvxJRERwx&t=76

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

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

Подобный подход применим и к другим условиям отделимости, включая T₁, условие Урысона и функциональную хаусдорфовость. В работе П. Б. Винода Кумара с соавтором предложено рассматривать соответствующие графы как иерархию. Особенно естественен комбинаторный взгляд на конечные топологические пространства.

https://arxiv.org/abs/2602.00712
https://arxiv.org/abs/2610.14783

Насколько хорошо число π можно приблизить дробями? Показатель иррациональности μ(x) измеряет качество рациональных приближений к числу x. Для любого иррационального числа он не меньше 2. Почти все действительные числа имеют показатель ровно 2, хотя существуют и числа с более высоким значением.

В препринте OpenAI «The irrationality exponent of π is 2», датированном 24 сентября 2026 года, заявлено равенство μ(π) = 2. Оно означало бы, что по этому показателю π относится к тому же классу, что и почти все действительные числа.

Здесь существенна именно точная величина показателя. Само по себе общее неравенство μ(x) ≥ 2 для иррациональных чисел ещё не даёт равенства для конкретного числа.

Текст препринта в PDF
https://github.com/openai/math/blob/main/preprints/The-irrationality-exponent-of-pi-is-2-September-24-2026/paper.pdf

Что именно гарантирует проверка доказательства в Lean? Здесь важны три отдельных вопроса. Правильно ли сформулирована теорема, корректно ли проверено доказательство и насколько надёжна сама программа проверки.

Сначала Lean обрабатывает запись доказательства, проходя этап elaboration. Полученный результат проверяет ядро. Именно оно отвечает за проверку результата этой обработки. Написанный человеком или ИИ код доказательства ещё нельзя принимать на веру до проверки ядром.

Но даже успешная проверка требует человеческого аудита формулировки. Совпадает ли утверждение с той теоремой, которую собирались доказать? Соответствуют ли определения математическому замыслу? Томас Хейлс подчёркивает, что такой аудит обычно существенно проще проверки самого доказательства. Сведения о математике доступны на его университетской странице https://www.mathematics.pitt.edu/people/thomas-hales