Теорема Дезарга

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

История

Теорема была открыта Жераром Дезаргом около 1636 года и опубликована в 1648 году в трактате «Черновой набросок о перспективе» (Brouillon project d’une atteinte aux événements des rencontres du cône avec un plan). Дезарг, занимавшийся вопросами перспективы и теорией конических сечений, впервые применил проективные методы для доказательства геометрических теорем. Его работа долгое время оставалась малоизвестной, так как была написана с использованием нестандартной терминологии, и лишь в XIX веке, благодаря трудам Мишеля Шаля и других математиков, теорема Дезарга получила широкое признание.

Первое строгое доказательство теоремы в рамках евклидовой геометрии было дано в XIX веке. В 1899 году Давид Гильберт в своей книге «Основания геометрии» показал, что теорема Дезарга не выводится из аксиом евклидовой планиметрии, а является самостоятельным аксиоматическим условием, которое необходимо для введения координат в проективной плоскости. Это открытие имело фундаментальное значение для аксиоматического построения геометрии.

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

В проективной геометрии теорема Дезарга формулируется следующим образом:

Прямая теорема. Пусть треугольники \(ABC\) и \(A'B'C'\) таковы, что прямые \(AA'\), \(BB'\) и \(CC'\) пересекаются в одной точке \(O\) (центр перспективы). Тогда точки пересечения прямых \(AB\) и \(A'B'\), \(BC\) и \(B'C'\), \(CA\) и \(C'A'\) лежат на одной прямой \(l\) (ось перспективы).

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

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

Доказательства

Проективное доказательство (в трёхмерном пространстве)

Наиболее наглядное доказательство теоремы Дезарга использует пространственное представление. Рассмотрим два треугольника \(ABC\) и \(A'B'C'\), лежащие в разных плоскостях \(\alpha\) и \(\beta\) соответственно. Пусть прямые \(AA'\), \(BB'\) и \(CC'\) пересекаются в точке \(O\) (центр перспективы). Тогда точки \(A\), \(A'\) и \(O\) лежат на одной прямой, аналогично для других вершин. В трёхмерном пространстве прямые \(AB\) и \(A'B'\) пересекаются, так как они лежат в плоскости, проходящей через точки \(O\), \(A\), \(B\), \(A'\), \(B'\). Точка пересечения \(P = AB \cap A'B'\) принадлежит как плоскости \(\alpha\), так и плоскости \(\beta\). Аналогично, точки \(Q = BC \cap B'C'\) и \(R = CA \cap C'A'\) также принадлежат обеим плоскостям. Следовательно, все три точки лежат на линии пересечения плоскостей \(\alpha\) и \(\beta\), то есть на одной прямой. Это доказывает прямую теорему в трёхмерном случае. Для плоского случая теорема доказывается путём введения вспомогательной пространственной фигуры.

Аксиоматическое доказательство

В рамках аксиоматики Гильберта теорема Дезарга может быть доказана с использованием аксиом конгруэнтности и аксиомы параллельности. Однако, как показал Гильберт, существуют неевклидовы плоскости (например, плоскости Мультона), где аксиомы инцидентности выполняются, а теорема Дезарга — нет. Это доказывает её независимость от остальных аксиом планиметрии.

Связь с другими понятиями

Теорема Дезарга и аксиоматика

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

Теорема Паппа

Теорема Дезарга тесно связана с теоремой Паппа (IV век н. э.), которая является более сильным утверждением. Из теоремы Паппа следует теорема Дезарга, но обратное неверно. В проективной геометрии над полем теорема Паппа выполняется, а над телом — не обязательно. Таким образом, теорема Дезарга характеризует проективные плоскости, построенные над телами, а теорема Паппа — над полями.

Теорема Дезарга в перспективе

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

Применение

• Проективная геометрия: Теорема Дезарга является основой для построения проективных преобразований и изучения конфигураций точек и прямых.
• Компьютерная графика: Используется в алгоритмах рендеринга и построения трёхмерных сцен, особенно при работе с перспективными проекциями.
• Фотограмметрия: Применяется для восстановления трёхмерной структуры объектов по двум и более фотографиям.
• Архитектура и дизайн: Лежит в основе методов построения перспективных чертежей и макетов.

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

• Теорема Дезарга является одним из первых примеров утверждения, которое не может быть доказано в рамках чисто синтетической геометрии, а требует привлечения пространственных соображений или алгебраических методов.
• Существуют так называемые «недезарговы плоскости» — проективные плоскости, в которых теорема Дезарга не выполняется. Они были открыты в начале XX века и являются важным объектом изучения в геометрии и алгебре.
• Конфигурация Дезарга (10 точек и 10 прямых, каждая из которых содержит три точки) является одной из классических конфигураций в проективной геометрии.

Источники

• Гильберт Д., Кон-Фоссен С. Наглядная геометрия. — М.: Наука, 1981.
• Ефимов Н. В. Высшая геометрия. — М.: Физматлит, 2004.
• Кокстер Г. С. М. Введение в геометрию. — М.: Наука, 1966.
• Шаль М. Исторический обзор происхождения и развития геометрических методов. — М.: Изд-во МГУ, 1883.