
Лекция 5
Полный четырехвершинник, его гармонические свойства. Построение четвертой гармонической. Проективные отображения прямой на прямую. Проективные отображения пучков прямых.
Определение 5.1. Совокупность четырех точек общего положения и шести прямых, попарно соединяющих эти точки, называется полным четырёхвершинником.
Определение
5.2.
Противоположными называются
стороны, не имеющие общей вершины (AB и DC, AD и BC, АС и BD).
Определение 5.3. Точки пересечения противоположных сторон называются диагональными, а прямые, попарно
соединяющие диагональные точки, называются диагоналями.
Свойства полного четырехвершинника.
-
На каждой стороне полного четырехвершинника имеется гармоническая четверка точек: одна пара точек этой четверки – вершины, другая образована диагональной точкой и точкой пересечения этой стороны с диагональю, проходящей через две другие диагональные точки.
-
На каждой диагонали полного четырехвершинника имеется гармоническая четверка точек: одна пара точек этой четверки – диагональные точки, другая – точки пересечения сторон, проходящих через третью диагональную точку, с данной диагональю.
-
Через каждую диагональную точку полного четырехвершинника проходит гармоническая четверка прямых: одна пара прямых – две противоположные стороны, другая – две диагонали.
В силу свойств полного четырехвершинника построение четвертого гармонического элемента может быть выполнено проективными средствами, т.е. с помощью одной линейки.
Построение четвёртой гармонической точки к трем данным
З
адача
№1. Пусть
дана прямая
и различные точки
.
Построить точку
прямой
,
такую, что
Решение.
-
Проводим через точку
две произвольные прямые
и
.
-
Через точку
проводим произвольную прямую
:
.
-
Проводим прямые
и
:
.
-
Проводим прямую
- полный четырехвершинник.
-
По свойству 2 точка пересечения
стороны
с диагональю
является четвертой гармонической к точкам
.
Задача №2.
Построить
четвертую гармоническую точку
к трем данным точкам
на расширенной прямой.
Решение.
-
Возьмем на расширенной прямой репер
. Пусть точка
имеет координаты
относительно данного репера. По свойству сложного отношения четырех точек имеем:
и значит
.
-
Построим точку
по координатам относительно данного репера.
Проективные отображения прямых и пучков.
Пусть даны две
произвольные прямые
и
на
проективной плоскости.
Определение 5.4.
Взаимно однозначное отображение
множества точек прямой
на множество точек
называется проективным отображением,
если сохраняется сложное отношение
четырех точек
.
Теорема
5.5. Если на
различных прямых
и
заданы
соответственно реперы
,
то существует единственное проективное
отображение, переводящее репер R
в репер
.
Определение 5.6.
Проективное отображение прямых
и
,
при котором произвольная точка
переходит
в точку
,так
что точки
коллинеарны, где
- произвольная точка проективной
плоскости, отличная от
и
и не принадлежащая данным прямым,
называется перспективным отображением
с центром в точке О.
Обозначение
перспективного отображения:
Два прямолинейных
ряда
и
называются перспективными, если они
перспективны одному и тому же пучку,
или иначе, если они являются сечениями
одного и того же пучка, т.е. все прямые,
соединяющие соответственные точки
рядов
и
,
пересекаются в одной точке
(согласно рисунку точке О).
Лемма 5.7.
Любое проективное отображение одной
прямой на другую может быть разложено
в композицию не более двух перспективных
отображений, если прямые
и
различны,
и не более трех перспективных отображений,
если прямые
и
совпадают.
Свойства перспективного отображения.
-
Перспективное отображение биективно;
-
Общая точка прямых при перспективном отображении переходит в себя;
-
При перспективном отображении сохраняется двойное или сложное отношение четырех точек
Теорема 5.8. (Паскаля – Паппа).
Пусть на различных
прямых взяты по три различных точки
и
.
Точки пересечения прямых
лежат на одной прямой.
Доказательство.
1.Рассмотрим проективное отображение
. Определим это
проективное
отображение как композицию двух перспективных
отображений
2. Введем дополнительные
точки
3. Рассмотрим образы точек прямой А4А5 при двух перспективных отображениях
Проективное
отображение
,
переводящее А4А5
в А5А6,
переводит точку А5
в себя, а значит
- перспективное отображение по свойству
3.
4. Найдем центр
перспективы. Так как
,
то центр перспективы совпадает с точкой
пересечения прямых
.
5. Точка
,
следовательно PQ
проходит через R,
а значит, P,Q,R
коллинеарны.
Определение 5.9.
Взаимное отображение пучка
на пучок
называется проективным, если оно
сохраняет сложное отношение четырех
прямых.
Теорема 5.10.
Существует
единственное отображение, переводящее
пучка
в пучок
,
переводящее прямые
пучка
в
прямые
пучка
.
Определение
5.11. Два пучка
и
называются перспективными, если они
перспективны одному и тому же прямолинейному
ряду (прямой), или иначе, если они
проектируют один и тот же ряд, следовательно,
все точки пересечения соответственных
прямых пучков
и
лежат на одной прямой
,
называемой осью перспективы.
Теорема 5.11. (признак перспективного отображения пучка).
Для того чтобы данное проективное отображение одного пучка на другой было перспективным необходимо и достаточно, чтобы прямая, проходящая через центры пучков, переходила в себя.