Теорема Эрдёша — Сёкефальви-Надя — результат в комбинаторной геометрии, согласно которому многоугольник без самопересечений может быть преобразован в выпуклый многоугольник путём конечного числа зеркальных отражений «карманов» — связных компонентов выпуклой оболочки. На каждом шаге определяется выпуклая оболочка многоугольника, и её ребро, относительно которого осуществляется отражение. Конечный многоугольник может иметь параллельные смежные рёбра, то есть быть слабо выпуклым. Помимо отражения, карман может быть преобразован поворотом на 180° относительно центра ребра оболочки. Такое преобразование оказывается более эффективным средством достижения выпуклости многоугольника[1].
Гипотезу сформулировал Пал Эрдёш в 1935 году и опубликовал в журнале American Mathematical Monthly. В 1939 году Сёкефальви-Надь доказал и опубликовал теорему.
Любой многоугольник без самопересечений может быть преобразован в слабо выпуклый конечным числом отражений карманов от ребер выпуклой оболочки.
Теорема имеет курьёзную историю и неоднократно передоказана, а обобщения теоремы не опубликованы, пока Бранко Грюнбаум не изучил вопрос всесторонне в 1995 году. Как оказалось, оригинальное доказательство содержало малозаметную ошибку, которую удалось устранить.
Для улучшения этой статьи желательно: |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .