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

Теорема Паппа — это классическая теорема проективной геометрии, утверждающая, что если точки \(A_1, A_2, A_3\) лежат на одной прямой, а точки \(B_1, B_2, B_3\) — на другой, то точки пересечения прямых \(A_1B_2\) и \(A_2B_1\), \(A_2B_3\) и \(A_3B_2\), \(A_3B_1\) и \(A_1B_3\) коллинеарны (лежат на одной прямой). Теорема названа в честь древнегреческого математика Паппа Александрийского (IV век н. э.), который впервые сформулировал её в своей работе «Математическое собрание». Она является частным случаем более общей теоремы Паскаля для коник и играет фундаментальную роль в проективной геометрии, служа основой для доказательства многих других теорем.

¶История

Первое известное доказательство теоремы принадлежит Паппу Александрийскому, жившему в Александрии (Египет) около 290–350 годов н. э. Он включил её в свою энциклопедическую работу «Математическое собрание» (лат. Mathematicae Collectiones), которая состояла из восьми книг и содержала комментарии к трудам Евклида, Аполлония Пергского и других античных математиков. В этой работе Папп привёл доказательство теоремы, используя методы евклидовой геометрии, хотя сама теорема имеет более глубокий проективный характер.

В эпоху Возрождения и Нового времени интерес к работам Паппа возродился. В 1588 году итальянский математик Федерико Коммандино опубликовал латинский перевод «Математического собрания», что сделало теорему доступной европейским учёным. В XVII веке французский математик Жерар Дезарг, один из основоположников проективной геометрии, переоткрыл теорему Паппа и использовал её как одну из ключевых аксиом в своей системе. В 1639 году Дезарг опубликовал трактат «Черновой набросок о конических сечениях», где теорема Паппа фигурирует как важное утверждение.

В XIX веке, с развитием проективной геометрии в трудах Карла Фридриха Гаусса, Якоба Штейнера и особенно Карла Георга Кристиана фон Штаудта, теорема Паппа получила строгое аксиоматическое обоснование. Штаудт в 1847 году показал, что теорема Паппа может быть выведена из аксиом проективной геометрии, но не является следствием аксиом инцидентности плоскости — она требует дополнительных предположений о свойствах поля координат. Это открытие привело к пониманию того, что теорема Паппа эквивалентна коммутативности поля, над которым построена проективная плоскость.

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

Теорема Паппа формулируется следующим образом:

Пусть \(l_1\) и \(l_2\) — две различные прямые на проективной плоскости. На прямой \(l_1\) выбраны три различные точки \(A_1, A_2, A_3\), а на прямой \(l_2\) — три различные точки \(B_1, B_2, B_3\). Тогда три точки пересечения прямых:

• \(P = A_1B_2 \cap A_2B_1\),
• \(Q = A_2B_3 \cap A_3B_2\),
• \(R = A_3B_1 \cap A_1B_3\)

лежат на одной прямой, называемой прямой Паппа.

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

¶Симметричная форма

Теорема Паппа обладает симметрией: если поменять ролями тройки точек \((A_1, A_2, A_3)\) и \((B_1, B_2, B_3)\), то прямая Паппа останется той же самой. Кроме того, существует двойственная формулировка: если через точки \(A_1, A_2, A_3\) проходят три прямые, и через точки \(B_1, B_2, B_3\) — три другие прямые, то прямые, соединяющие соответствующие точки пересечения, сходятся в одной точке.

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

Существует несколько способов доказательства теоремы Паппа. Наиболее распространённое — с использованием координат и свойств проективных преобразований.

¶Координатное доказательство

В проективной плоскости можно ввести однородные координаты. Пусть прямая \(l_1\) задана уравнением \(y = 0\), а прямая \(l_2\) — уравнением \(x = 0\). Тогда точки на \(l_1\) имеют координаты \((a_i, 0, 1)\), а на \(l_2\) — \((0, b_i, 1)\), где \(i = 1, 2, 3\). Вычислив уравнения прямых \(A_iB_j\) и их точки пересечения, можно показать, что координаты точек \(P, Q, R\) удовлетворяют линейному уравнению, что и доказывает их коллинеарность.

¶Доказательство с помощью проективных преобразований

Теорема Паппа инвариантна относительно проективных преобразований. Поэтому можно выбрать проективное преобразование, которое переводит прямую \(l_1\) в бесконечно удалённую прямую, а прямую \(l_2\) — в ось абсцисс. В этом случае доказательство сводится к проверке того, что точки \(P, Q, R\) лежат на одной прямой, что легко проверяется аналитически.

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

В аксиоматической проективной геометрии теорема Паппа часто принимается как аксиома (аксиома Паппа) для задания так называемых папповых плоскостей. В этом случае она не доказывается, а постулируется. Плоскости, в которых выполняется теорема Паппа, называются папповыми; они являются проективными плоскостями над полями (коммутативными телами). Если теорема Паппа не выполняется, плоскость называется непапповой.

¶Связь с другими теоремами

¶Теорема Паскаля

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

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

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

¶Значение в геометрии

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

В алгебраической геометрии теорема Паппа используется для изучения конфигураций точек и прямых. Она также находит применение в комбинаторной геометрии и теории конечных проективных плоскостей. Например, в конечной проективной плоскости порядка \(q\) (где \(q\) — степень простого числа) теорема Паппа всегда выполняется, так как такие плоскости являются плоскостями над полем \(GF(q)\).

¶Примеры и иллюстрации

¶Конфигурация Паппа

Конфигурация, описываемая теоремой Паппа, состоит из девяти точек и девяти прямых. Три точки лежат на одной прямой (первая тройка), три — на другой (вторая тройка), и три точки пересечения (P, Q, R) лежат на третьей прямой (прямой Паппа). Каждая из девяти прямых содержит ровно три точки из этой конфигурации. Такая конфигурация является примером конечной проективной конфигурации типа \((9_3, 9_3)\).

¶Численный пример

Рассмотрим евклидову плоскость. Пусть \(l_1\) — ось абсцисс (\(y = 0\)), а \(l_2\) — ось ординат (\(x = 0\)). Выберем точки:

• \(A_1 = (0, 0)\), \(A_2 = (1, 0)\), \(A_3 = (2, 0)\);
• \(B_1 = (0, 0)\), \(B_2 = (0, 1)\), \(B_3 = (0, 2)\).

Тогда:

• Прямая \(A_1B_2\) — это ось ординат (\(x = 0\)), прямая \(A_2B_1\) — ось абсцисс (\(y = 0\)), их пересечение \(P = (0, 0)\).
• Прямая \(A_2B_3\) проходит через точки (1,0) и (0,2), её уравнение: \(y = -2x + 2\). Прямая \(A_3B_2\) проходит через точки (2,0) и (0,1), её уравнение: \(y = -0.5x + 1\). Их пересечение \(Q = (2/3, 2/3)\).
• Прямая \(A_3B_1\) — это ось абсцисс (\(y = 0\)), прямая \(A_1B_3\) — ось ординат (\(x = 0\)), их пересечение \(R = (0, 0)\).

Точки \(P\) и \(R\) совпадают, так как в этом вырожденном случае некоторые точки тройки совпадают. Чтобы получить нетривиальный пример, нужно выбрать все точки различными, например:

• \(A_1 = (0, 0)\), \(A_2 = (1, 0)\), \(A_3 = (3, 0)\);
• \(B_1 = (0, 1)\), \(B_2 = (0, 2)\), \(B_3 = (0, 4)\).

Тогда вычисления показывают, что точки \(P, Q, R\) лежат на одной прямой.

¶Критика и обобщения

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

Обобщением теоремы Паппа является теорема Паппа — Гульдина (или теорема Гульдина), которая относится к объёмам тел вращения и не связана с проективной геометрией. В проективной геометрии существуют также обобщения на случай большего числа точек, например, теорема Паппа для \(n\) точек на каждой прямой, которая формулируется как свойство коллинеарности точек пересечения определённых прямых.

¶Источники

• Папп Александрийский. «Математическое собрание». Книга VII.
• Коксетер Х. С. М., Грейтцер С. Л. «Новые встречи с геометрией». — М.: Наука, 1978.
• Хартсхорн Р. «Основы проективной геометрии». — М.: Мир, 1970.
• Шафаревич И. Р. «Основы алгебраической геометрии». — М.: Наука, 1988.
• Вейль А. «Основы алгебраической геометрии». — М.: Мир, 1972.