Теорема Понселе о замыкании¶

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

¶Формулировка

Пусть на плоскости заданы два конических сечения \(C_1\) и \(C_2\), не пересекающиеся и не касающиеся друг друга. Рассмотрим ломаную линию, вершины которой лежат на \(C_1\), а стороны касаются \(C_2\). Если такая ломаная замыкается после \(n\) шагов (то есть существует вписанно-описанный \(n\)-угольник), то любая другая ломаная, построенная по тому же правилу из произвольной начальной точки на \(C_1\), также замкнётся после \(n\) шагов.

Иными словами, свойство замыкания не зависит от выбора начальной точки: оно определяется исключительно парой конических сечений и числом сторон \(n\).

¶История

Теорема была сформулирована французским математиком Жаном-Виктором Понселе в 1813 году, во время его пребывания в плену в Саратове после русской кампании Наполеона. Понселе изложил её в трактате «Трактат о проективных свойствах фигур» (1822), который стал основополагающим для проективной геометрии. Строгое доказательство теоремы долгое время отсутствовало; первое полное доказательство было дано Якоби в 1828 году с использованием эллиптических функций. Позднее появились доказательства на основе алгебраической геометрии, динамических систем и теории бильярдов.

¶Связь с эллиптическими функциями

Ключ к доказательству теоремы лежит в параметризации точек конического сечения с помощью эллиптических интегралов. Отображение, переводящее точку на \(C_1\) в следующую вершину ломаной (через касание к \(C_2\)), является сохраняющим меру преобразованием окружности (или тора). Оно представляет собой сдвиг на постоянную величину в якобиевом многообразии кривой рода 1. Замыкание происходит тогда и только тогда, когда этот сдвиг соизмерим с периодом — то есть когда соответствующее значение эллиптического интеграла рационально относительно периода.

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

¶Обобщения и современные аспекты

• Проективная формулировка: теорема инвариантна относительно проективных преобразований, поэтому пару конических сечений можно привести к каноническому виду (например, к двум концентрическим окружностям или к паре «окружность — эллипс»).
• Динамические системы: отображение Понселе является примером интегрируемой бильярдной системы. В частности, бильярд внутри эллипса интегрируем, и траектории, касающиеся внутреннего эллипса, либо замкнуты, либо всюду плотно заполняют кольцо.
• Алгебраическая геометрия: для фиксированных \(C_1, C_2\) условие существования \(n\)-угольника Понселе задаётся алгебраическим уравнением на параметры кривых. Это приводит к понятию многообразий Понселе и их связи с модулями эллиптических кривых.
• Дискретный вариант: существуют дискретные аналоги теоремы для многоугольников, вписанных в кубики и другие кривые высших родов.

¶Примеры

Простейший случай — две концентрические окружности. Если внутренняя окружность имеет радиус \(r\), а внешняя — \(R\), то замкнутый \(n\)-угольник существует при условии \(\cos(\pi/n) = r/R\). Например, для \(n=3\) (треугольник) отношение радиусов должно быть равно \(1/2\), для \(n=4\) — \(\sqrt{2}/2\). Это классические задачи о треугольниках и четырёхугольниках, вписанных в окружность и описанных вокруг другой.

Для эллипсов общего положения условие замыкания выражается через эллиптические интегралы и не сводится к элементарным функциям.

¶Значение

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

¶Источники

• Босс В. Лекции по математике. Том 5: Функциональный анализ и теория меры.
• Берже М. Геометрия. Том 2.
• Табачников С. Геометрия и бильярды.
• Flatto L. Poncelet's Theorem.