ГЛАВА 2. НЕКОТОРЫЕ ЛИНЕЙНЫЕ ОБРАЗЫ ПРОЕКТИВНОЙ ГЕОМЕТРИИ

Поскольку координаты точки на проективной плоскости задаются с точностью до ненулевого сомножителя, то, без ограничения общности, полагаем =1 и окончательно имеем C¢¢ = (1–a, b–1, 0). Аналогично B¢¢ = (1–a, 0, c–1), A¢¢ = (0, 1–b, c–1). Проверим, что точки A¢¢, B¢¢, C¢¢ принадлежат одной прямой. Для этого составим определитель из их координат:

= – (1–b) + (c–1) =
=(b–1)(1–a)(1–c)+(c–1)(1–a)(b–1)=0

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

Следовательно, точки A¢¢, B¢¢, C¢¢ принадлежат одной прямой, которая является осью перспективы. Мы доказали прямое утверждение Дезарга для проективной плоскости о том, что наличие центра перспективы влечет за собой существование оси перспективы. Обратное утверждение двойственно исходному по принципу двойственности для проективной плоскости.

Задача 20.Разместить на плоскости десять деревьев в десяти рядах по три в ряду.

Задача 21. На чертеже ограниченных размеров заданы точка А и пара прямых p и q, пересекающихся за пределами чертежа в недоступной точке В. Используя теорему Дезарга, построить доступную часть прямой (АВ).

Задача 22. С помощью одной линейки через данную точку А провести прямую, параллельную двум заданным не совпадающим прямым p и q.

Задача 23. Трапеция ABCD пересечена прямыми p и q, параллельными основанию [AB], p (AD)=M, p (AC)=P, q (BD)=N, q (BC)=Q. Доказать, что точка (MN) (PQ) лежит на прямой (AB).

p

p

q

q

Замечание. Проективную плоскость можно рассматривать над некоторым кольцом. (При этом необходимо дать «внутреннее» определение проективной плоскости, не вкладывая плоскость в трехмерное пространство).

Доказано [8], что при этом кольцо является телом тогда и только тогда, когда на проективной плоскости замыкается конфигурация Дезарга. Дезарговость проективной плоскости равносильна возможности её вложения в трехмерное пространство.

В дальнейшем мы рассмотрим конфигурацию Паппа, состоящую из 9 точек и 9 прямых. Если на проективной плоскости замыкается конфигурация Паппа, то замыкается и конфигурация Дезарга; обратное, вообще говоря, неверно, если мы рассматриваем проективную геометрию над телом. Если на проективной плоскости над телом замыкается конфигурация Паппа, то тело является полем.

Теорема Дезарга верна в случае, когда перспективные трехвершинники расположены в разных плоскостях трехмерного проективного пространства. Допустим, что трехвершинники ABC и A¢B¢C¢ имеют центр перспективы Q и расположены соответственно в плоскостях и (рис. 8). Т.к. Q = (AA¢) (BB¢), то точки A, B, A¢, B¢ лежат в одной плоскости, и прямые (AB) и (A¢B¢) имеют точку пересечения C¢¢, которая обязательно принадлежит прямой пересечения плоскостей и . Аналогично, ((AC) (A¢C¢)) , ((BC) (B¢C¢)) , и, следовательно, есть ось перспективы трехвершинников ABC и A¢B¢C¢. Обращая рассуждения, убеждаемся в обратном, т.е. если трехвершинники ABC и A¢B¢C¢, расположенные в разных плоскостях трехмерного проективного пространства имеют ось перспективы, то они

Замечание. В трехмерном проективном пространстве прямая и обратная теоремы Дезарга не двойственны.

§10. Сложное отношение четырех точек прямой

Пусть на проективной прямой даны точки A, B, C, D. Поставим задачу сопоставления действительного числа упорядоченной четверке проективных точек. Если все четыре точки совпадают, то трудно ожидать решения проблемы, т.к. на проективной прямой все точки равноправны. Допустим A D, B C, A B. Если A=C, то будем считать, что сложное отношение (AB, CD) = 0. Если A C, то точки A, B, C образуют проективный репер, в котором точка D(x¹, x²) имеет определенные координаты. В этом случае положим (AB, CD)= . Часто сложное отношение называют двойным или ангармоническим.

Легко понять, что если A, B, C – попарно различные точки, а t – любое действительное число, то на данной прямой существует одна и только одна точка D такая, что (AB, CD) = t. Если на прямой даны точки D и Е, так что (AB, CD) = (AB, CE), то D = E.

Следующая теорема показывает, как вычислять сложное отношение четырех точек по их координатам в проективном репере.

Теорема. Если точки A, B, C и D, лежащие на некоторой прямой, имеют в некотором проективном репере координаты A(a¹, a²), B(b¹, b²), C(c¹, c²), D(d¹, d²),причем A D, B C, то

.

Приведем простейшие свойства сложного отношения четырех точек прямой.

1) (AB, CD) = (CD, AB)

2) (AB, CD) = = , если (AB, DC) 0

3) (AB, CD) = (BA, DC)

4) (AB, CC) = 1; (AB, CB) = 0

5) (AB, CD) + (AC, BD) = 1

Задача 25.Пусть A, B, C, D – четыре попарно различные точки на проективной прямой, сложное отношение которых (AB, CD) = t, где t – заданное число. Записать значения сложных отношений всех четверок точек, которые можно составить из точек A, B, C, D, переставляя их всеми возможными способами.

Задача 26. Доказать, что для пяти попарно различных точек A, B, C, D, E на проективной прямой имеет место равенство

(AB, CE) = (AB, CD)(AB, DE).

§11. Сложное отношение четырех прямых пучка проективной плоскости

Рассмотрим две прямые d и d¢ проективной плоскости и точку О, не принадлежащую этим прямым. Точку О примем за центр проекции. Для любой точки М на d поставим в соответствие точку M¢ на d¢: M¢ = d¢ (OM). Точка M¢ называется проекцией точки М из центра О, а само отображение называется проекцией.

Теорема. Проекция сохраняет сложное отношение четырех точек прямой.

Определение.Если m, n, k, l – четыре прямые на проективной плоскости, проходящие через точку О, то их сложным отношением называется сложное отношение четырех точек, высекаемых на некоторой прямой d, не проходящей через точку О.

(mn, kl) = (MN, KL)

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

Определение.Пара прямых a и b гармонически разделяет пару прямых c и d, если (ab, cd) = –1.

Задача 27.Прямые a и b евклидовой плоскости пересекаются в точке О, прямые c и d содержат биссектрисы углов, образованных прямыми a и b. Доказать, что (ab, cd) = –1.

Задача 28.Доказать, что прямые, содержащие диагонали параллелограмма, гармонически разделяют прямые, проходящие через центр параллелограмма параллельно его сторонам.

Задача 28. Доказать, что прямая (CM), содержащая медиану [CM] треугольника АВС, и прямая (CX), параллельная стороне [AB], гармонически разделяют прямые (CA) и (CB), содержащие две другие стороны треугольника АВС.

§12. Полный четырехвершинник на проективной плоскости

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

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

Можно легко доказать, что диагональные точки полного четырехвершинника не лежат на одной прямой.

Рассмотрим подробнее фигуру, определяемую полным четырехвершинником.

Прямые, попарно соединяющие диагональные точки, называются диагоналями. На рисунке 10 диагонали изображены пунктиром.

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

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

(GF, KL) = –1.

Следствие 1. Две вершины, лежащие на стороне полного четырехвершинника, гармонически разделяют пару точек, состоящую из диагональной точки и точки, в которой эта сторона пересекает диагональ, проходящую через другие диагональные точки.

Следствие 2.Две противоположные стороны полного четырехвершинника гармонически разделяют две диагонали, проходящие через точку пересечения этих сторон.

Условимся называть точу Х четвертой гармонической к трем данным точкам А, В, С, если (АВ, СХ) = –1.

Задача 30.На аффинной (или евклидовой) плоскости задан отрезок [AB] и его середина С. Пользуясь только линейкой без делений, провести прямую через данную точку D, не принадлежащую прямой (АВ), параллельно этой прямой.

Задача 31.Даны две различные параллельные прямые. Пользуясь только линейкой, построить середину отрезка, заданного на одной из данных прямых.

Задача 32. На аффинной (евклидовой) плоскости задан параллелограмм (окружность с центром), прямая m и точка А. С помощью одной линейки через точку А провести прямую, параллельную прямой m.

Задача 33.Построить четвертую гармоническую точку Х к трем данным точкам А, В, С, лежащим на одной прямой.

§13. Проективные отображения прямых и пучков

Допустим, что две прямые g и g¢ принадлежат одной проективной плоскости. Взаимно однозначное отображение всех точек прямой g на множество точек прямой g¢ называется проективным, если оно сохраняет сложное отношение четырех точек.

Имеет место следующая теорема.

Теорема. Биекция f:g g¢ прямой g на прямую g¢ является проективным отображением, если и только если, каждый проективный репер  прямой g переходит в проективный репер ¢ прямой g¢ и выполняется правило равенства координат: прообраз – точка M(x¹, x²) на прямой g имеет такие же координаты в репере Â, что и образ – точка M¢ (x¹, x²) в репере ¢ на прямой g¢.

Критерий перспективности. Для того, чтобы проективное отображение f:g g¢ было перспективным, необходимо и достаточно, чтобы точка пересечения прямых g и g¢ переходила в себя.

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

Приведем иллюстрацию к этой теореме.

Задача 34. В проективном отображении f:g g¢ репер Â=(A, B, C) переходит в репер ¢=(A¢, B¢, C¢). Построить образ произвольной точки M прямой g.

Решение.

Теорема. Проективное преобразование прямой на себя есть композиция не более трех перспектив.

Задача 35. В проективном преобразовании f:g g прямой g на себя заданный репер Â=(A, B, C) переходит в заданный репер ¢=(A¢, B¢, C¢). Построить образ и прообраз произвольной данной точки M на g.

Двойственным образом строится теория проективных отображений пучков прямых на проективной плоскости.

Определение. Взаимно однозначное отображение пучка на пучёк называется проективным, если оно сохраняет сложное отношение четырех прямых.

Теорема. Если a, b, c – три произвольные прямые пучка с центром в точке O и a¢, b¢, c¢ – три произвольные прямые пучка с центром в точке O¢, то существует одно и только одно проективное отображение пучка O на пучок O¢, переводящее прямые a, b, c в прямые a¢, b¢, c¢.

Построенное отображение является проективным и называется перспективным. Прямая d называется осью перспективы.

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

Задача 36. В проективном отображении f пучка O на пучок O¢ три попарно различные прямые a, b, c переходят соответственно в прямые a¢, b¢, c¢. Построить образ произвольной прямой m пучка O.

Решение.

Через точку A пересечения прямых a и a¢ проведем две прямые d и d¢, отличные от прямых a и a¢, и обозначим через B и C точки пересечения прямых b и c с прямой d, а через B¢ и C¢ точки пересечения прямых b¢ и c¢ с прямой d¢. Отображение f порождает перспективу прямой d на прямую d¢ с центром в точке S=(BB¢) (CC¢).

§14. Теорема Паппа

Рассмотрим одну из замечательных конфигураций действительной проективной геометрии. (Автором первой фундаментальной теоремы проективной геометрии является Папп Александрийский. Теорема Паппа содержится в «Математическом собрании», начало 1V века нашей эры)

Теорема. Пусть даны три точки A, B, C, лежащие на одной прямой d и три точки A¢, B¢, C¢, лежащие на прямой d¢, причем d d¢. Тогда три точки A¢¢=(BC¢) (B¢C), B¢¢=(A¢C) (C¢A), C¢¢=(AB¢) (A¢B) принадлежат одной прямой d¢¢.

Задача 37.Посадить 9 деревьев так, чтобы получилось 10 рядов по три дерева в каждом.

Задача 38.Сформулируйте предложение, двойственное теореме Паппа. Сделать чертеж.

§15. Преобразования проективной прямой. Инволюции.

В геометрии принято определение, согласно которому термин «преобразование» обозначает «биекция» или «взаимно однозначное отображение» некоторого множества на себя.

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

Теорема. Проективное преобразование прямой d переводит проективный репер  на d в проективный репер ¢,и выполняется правило равенства координат, т.е. точка M d имеет в репере  те же самые координаты, что и ее образ М¢ в репере ¢: M(x¹, x²) в  и M¢ (x¹, x²) в репере ¢.