Теорема Пестова — Ионина
Теорема Пестова — Ионина — классическая теорема дифференциальной геометрии плоских кривых, обобщение теоремы о четырёх вершинах.
Теорема сформулирована Абрамом Ильичом Фетом, доказана Германом Гавриловичем Пестовым, его доказательтво существенно упрощено Владимиром Кузьмичём Иониным[1]. Для выпуклых кривых результат был известен существенно раньше.[2]
Формулировка
Любая область плоскости, ограниченная гладкой замкнутой кривой с кривизной не более 1, содержит круг радиуса 1.
Вариации и обобщения
- Из доказательства Пестова и Ионина следует более сильное утверждение: для любой простой гладкой замкнутой регулярной кривой на плоскости существуют две точки соприкасающаяся окружность в которых содержится в замкнутой области внутри кривой; также существуют две точки соприкасающаяся окружность в которых содержится во внешней замкнутой области кривой.
- Точки в которых соприкасающаяся окружность лежит по одну сторону от кривой являются вершинами кривой, а значит приведённое утверждение является усилением теоремы о четырёх вершинах.[3]
- Аналогичный результат в пространстве не верен, а именно существуют вложения сферы с главными кривизнами, не превосходящими 1 по абсолютной величине, такие, что ограниченная ею область не содержит шара радиуса 1. [4]
Примечания
- ↑ Пестов, Г. Г., Ионин В. К. О наибольшем круге, вложенном в замкнутую кривую // Доклады АН СССР. — 1959. — Т. 127, № 6.
- ↑ Wilhelm Blaschke Kreis und Kugel, Leipzig, Veit 1916, 3. Auflage, Berlin, de Gruyter 1956; русский перевод Круг и шар, М.: Наука, 1967, глава IV §24.
- ↑ A. Petrunin, S. Zamora Barrera. Moon in a puddle and the four-vertex theorem (англ.) // Amer. Math. Monthly. — 2022. — Vol. 129, no. 5. Архивировано 28 июня 2022 года.
- ↑ В. Н. Лагунов. «О наибольшем шаре, вложенном в замкнутую поверхность, II». Сибирский математический журнал 2.6 (1961), с. 874—883.