- •Аналитическое представление проективных преобразований 71
- •Дополнительная литература 91 введение
- •Структурно-логическая схема курса «проективная геометрия»
- •Исторические сведения
- •Проективное пространство
- •Аксиомы проективного пространства
- •Модели проективной прямой, проективной плоскости
- •Изоморфизм моделей
- •Проективная система координат
- •Проективный репер
- •Координаты точки на прямой (плоскости)
- •Принадлежность трёх точек одной прямой
- •Однородные проективные координаты
- •Уравнение прямой. Координаты прямой
- •Взаимное расположение двух прямых
- •Принадлежность трёх прямых одному пучку
- •Координаты точки и уравнение прямой в пространстве
- •Преобразование координат
- •Принцип двойственности
- •Теорема Дезарга
- •Простое отношение
- •Сложное отношение
- •Гармонизм
- •Гармонические свойства полного четырехвершинника
- •Квадрики на проективной плоскости
- •Классификация кривых второго порядка на проективной плоскости.
- •Взаимное расположение прямой и квадрики
- •Уравнение касательной
- •Полюс и поляра
- •Теорема Штейнера
- •Теорема Паскаля и ее предельные случаи
- •Задачи на построение, связанные с овалом
- •Прямые и квадрики на расширенной евклидовой плоскости
- •Проективные преобразования
- •Проективные преобразования плоскости
- •Аналитическое представление проективных преобразований
- •Перспектива
- •Отображение пучка в пучок
- •Инволюция
- •Коллинеация
- •Инварианты коллинеации
- •Гомология
- •Гомологии на расширенной плоскости
- •Дополнительная литература
Полюс и поляра
Рассмотрим овальную квадрику ХТ∙Q∙Х = 0 и точки А и В не принадлежащие квадрике.
Пусть M и L точки пересечения квадрики и прямой (АВ).
Определение: Если (AB,ML)=-1, то говорят что овальная квадрика гармонически разделяет пару АВ, или точки А и В гармонически сопряжены относительно овальной квадрики.
На прямой (АВ) рассмотрим репер R(A,B,M), тогда в этом репере и точки А, В , М и пусть точка L .
Если (AB,ML)= -1, тогда = -1 α = 1 и β = -1 , т.е. L .
Таким образом, М = А+В и L = А – В.
Значит, для точек пересечения прямой (АВ) с квадрикой .
Но являются корнями уравнения λ²∙а + 2∙λ∙μ∙с + μ²∙b=0,
где а = АТ∙Q∙А, b = ВТ∙Q∙В, с = А Т∙Q∙В = ВТ∙Q∙А.
По теореме Виета сумма корней равна среднему коэффициенту, взятому с противоположным знаком: += - с с = 0 АТ∙Q∙В = ВТ∙Q∙А = 0 - условие гармонической сопряженности точек А и В относительно квадрики.
Фиксируем точку А КВП. Рассмотрим все прямые проходящие через эту точку в каждом случае будет своя точка В гармонически сопряженная с А относительно овальной квадрики. Сделаем точку В переменной, по условию гармонической сопряженности точек относительно овальной квадрики получим: АТ∙Q∙Х = 0 - это уравнение I степени, то есть прямая, причем это прямая единственна. Эту прямую будем называть полярой точки А. Если точка А КВП, то уравнение АТ∙Q∙Х = 0 определяет касательную к квадрике в точке А.
Определение: Полярой точки А называется прямая, состоящая из точек гармонически сопряженных с данной точкой относительно овальной квадрики.
Вывод: Полярой точки А является прямая, которая имеет уравнение: АТ∙Q∙Х = 0 и
в случае А КВП является касательной к овальной квадрике,
в случае А КВП состоит из точек гармонически сопряженных с точкой А относительно овальной квадрики.
Определение: Уравнение АТ∙Q∙Х = 0 называется уравнением поляры точки А относительно овальной квадрики.
Если уравнение прямой а∙Х=0, тогда λ∙а = АТ∙Q (с точностью до пропорциональности).
λ∙а = АТ∙Q λ∙а∙Q-1 = АТ∙Q∙Q-1 μ∙АТ= а∙Q-1 или μ∙А= Q-1 ∙аТ
(Почему существует Q-1 и почему (Q-1)Т= Q-1 ? )
Вывод: Для любой прямой существует точка, для которой эта прямая является полярой относительно квадрики.
Определение: Точка, для которой данная прямая относительно овальной квадрики является полярой, называется полюсом прямой.
Свойства:
1. Если точка А внешняя по отношению к овальной квадрике, то ее поляра проходит через точки касания касательных проведенных из точка А к КВП.
Доказательство. Координаты точек касания Х1 и Х2 находятся из системы , первое уравнение это уравнение квадрики, второе уравнение это уравнение поляры, а значит это точки пересечения поляры и квадрики. □
2. Если точка и прямая инцидентны, то их поляра и полюс тоже инцидентны.
Доказательство. Пусть а – поляра точки А и В - полюс прямой b,
значит λ∙а = АТ∙Q и μ∙В= Q-1 ∙bТ. Докажем, что А b B a.
Уравнение прямой b∙Х = 0, тогда А b b∙А =0.
Найдем а∙В=(АТ∙Q)∙(Q-1∙b)=АТ∙(Q∙Q-1)∙bТ=АТ∙Е∙bТ=АТ∙bТ=(А∙b)Т=0 - это означает, что точка В лежит на прямой а. □
Замечание: Свойство 2 позволяет находить полюс прямой. Выбрав на данной прямой две любые точки и построив их поляры, точка их пересечения будет полюсом данной прямой.
Задача. Дана квадрика х1² - 2∙х2²+ 4∙х2∙х3 =0 . Найти уравнение поляры для А и координаты полюса прямой b: х1+х2–2∙х3=0.
Решение. Q= Q-1=
λ∙а=АТ∙Q=( 1: 3 :-1) ∙=(1 :-8: 6) х1 -8∙х2+6∙х3=0.
μ∙В=Q-1∙bТ=∙= В=.
Задача. Дана квадрика 2∙х1² + х3² - 2∙х1∙х2 -2∙х1∙х3 =0 . Найти уравнения касательных к квадрике из точки А.
Решение. Воспользуемся свойством (1). Q=. Найдем уравнение поляры.
λ∙а = АТ∙Q=( 1: 8 : 5 )∙=( -11 : -1 : 4 ) 11∙х1 + х2 - 4∙х3 =0.
Найдем точки пересечения квадрики поляры.
D=100–96 = 4 и . и
В и С - точки пересечения поляры и квадрики, тогда прямые (АВ) и (АС) будут касательными.
(АВ) : =0 - 7∙х1 - х2 + 3∙х3 =0.
(АС) : =0 17∙х1 + х2 - 5∙х3 =0.
Определение: Трехвершинник называется автополярным относительно овальной квадрики, если каждая его вершина является полюсом противоположной стороны.
Замечание: Автополярных трехвершинников может быть много.
Теорема. Для того чтобы уравнение овальной квадрики было каноническим необходимо и достаточно, чтобы ΔЕ1Е2Е3 был автополярным относительно данной квадрики.
Доказательство. Необходимость:
Дано q11 ∙х1² + q22∙х2² + q33∙х3² =0 .
Доказать что ΔЕ1Е2Е3 автополярный трёхвершинник.
Достаточность: Найти матрицу Q , используя то, что точка Е1
является полюсом прямой (Е2Е3 ) и т.д. (самостоятельно).
Определение: Четырехвершинник называется вписанным в овальную квадрику, если его вершины инцидентны квадрике.
Теорема. Если четырехвершинник вписан в овальную квадрику, тогда диагональный трехвершинник является автополярным относительно квадрики.
Доказательство. Пусть АВСD – четырёхвершинник вписанный в овальную квадрику и ΔPQR - диагональный трёхвершинник.
Докажем, что Р - полюс прямой (QR).
По гармоническим свойствам полного четырехвершинника гармоническими будут: (CB,PK)=(AD,PN)= -1, т.е. точки K и N гармонически сопряжены с точкой Р относительно овальной квадрики, а значит они принадлежат поляре точки Р. В тоже время точки K и N лежат на прямой (QR) (QR) - поляра точки Р. Для точек Q и R доказательство аналогично. □
Замечание: Эта теорема позволяет строить поляру точки если она не инцидентна овальной квадрике.
Задачи на построение
Задача 1. Дана овальная квадрика и точка Р ей не инцидентная. Построить поляру точки Р.
Решение. Пусть для определенности Р – внешняя точка. Необходимо восстановить какой-либо четырёхвершинник инцидентный овальной квадрике, так чтобы точка Р была одной из диагональных точек. Через точку P проводим две произвольные прямые а и b так чтобы они пересекали квадрику: а ∩ КВП =А, В, b ∩ КВП = С, D.
АВСD - является вписанным четырехвершинником и точка P является диагональной точкой. Строим две другие диагональные точки: (АС)∩(ВD)=Q, и (АD)∩(ВС)=R.
Прямая (RQ) является полярой.
Замечание: В некоторых случаях одну из диагональных точек построить сложно, она может выйти за пределы чертежа. В этом случае можно построить ещё один какой-либо четырехвершинник вписанный в овальную квадрику.
Замечание: Если P – внутренняя точка построение аналогичное.
Задача 2. Дана овальная квадрика и прямая а. Построить полюс прямой.
Решение. Воспользуемся свойством (2).
На прямой а возьмем две различные точки В и С, построим их поляры - b и с (см. пред. задачу).
b ∩ с = А – полюс прямой а .
Задача 3. Дана овальная квадрика и точка А ей инцидентная, построить поляру точки.
Решение. Поляра точки в этом случае будет касательной.
Воспользуемся свойством (2): если через точку А провести какую-либо прямую b, то её полюс – В пройдет через поляру точки А.
Построение полюса прямой – задача 2.
Задача 4. Дана овальная квадрика и точка А. Через точку А провести касательную к квадрике.
Решение.
1. А - внутренняя точка - касательных нет.
2 А КВП – касательная является полярой (см. задачу 3).
3. А - внешняя точка - касательные две. По свойству (1), если а поляра точки А, тогда а ∩ КВП = В и С - эти точки являются точками касания. Т.е. (АВ) и (АС) - касательные.
Задача 5. Дана овальная квадрика и прямая а , касающаяся квадрики, построить полюс прямой.
Решение. Полюс прямой в этом случае будет точкой касания.
Воспользуемся свойством (2). Если на данной прямой а взять какую-либо точку В, то её поляра – b пройдет через полюс прямой а.
Построение поляры точки – задача 1.