Назад Go Back

ПОСТРОЕНИЕ ФУНДАМЕНТАЛЬНЫХ ТОЧЕК КВАДРАТИЧНОГО КРЕМОНОВА ПРЕОБРАЗОВАНИЯ, ЗАДАННОГО СЕМЬЮ ПАРАМИ СООТВЕТСТВЕННЫХ ТОЧЕК

Фото Короткий Виктор Анатольевич (Южно-уральский государственный университет (Национальный Исследовательский Университет))


Аннотация

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



Ключевые слова: пучок кривых второго порядка, центральное квадратичное преобразование, инвариантная коника, проективные пучки, преобразование Гирста.

Введение

Развитие средств компьютерной графики приводит не только к появлению принципиально новых методов геометрического моделирования [1], но и предоставляет возможность конструктивного решения классических задач теоретической и прикладной геометрии. Одна из таких задач, связанная с теорией бирациональных (кремоновых) преобразований плоскости, была поставлена еще в 19 веке российским геометром К.А. Андреевым: требуется найти способ построения восьмой пары соответственных точек в квадратичном преобразовании, заданном семью парами точек. Решение сводится к построению двух корреляций, в которых искомая восьмая пара точек определяется с помощью линейного построения [2].

Обобщая задачу К.А. Андреева, приходим к проблеме поиска фундаментальных точек (F-точек) квадратичного преобразования, заданного семью парами соответственных точек. Почти полтора столетия обобщенная задача К.А. Андреева оставалась нерешенной. Формирование конструктивного алгоритма решения задачи и его практическая реализация стали возможны лишь с помощью средств компьютерного геометрического моделирования.

Постановка задачи

Квадратичное соответствие плоскостей П, П′ вполне определено семью парами точек. Требуется по семи парам соответственных точек A-A′, B-B′, C-C′, D-D′, E-E′, R-R′, T-T′ построить F-точки этого соответствия. Иначе говоря, в полях П, П′ надо найти три пары точек F1-F1, F2-F2, F3-F3, из которых указанные семь пар точек проецируются тремя парами проективных пучков.

Выполним проективное преобразование плоскости П, переводящее четырехугольник ABCD в четырехугольник, конгруэнтный четырехугольнику ABCD′ поля П′. Совместим плоскости П и П′ до совмещения  конгруэнтных четырехугольников. Получаем задачу: на совмещенной плоскости П=П′ требуется найти F-точки преобразования, заданного семью парами точек, из которых четыре пары точек совпадают.

Вспомогательная задача

Из трех пар не совпадающих соответственных точек выделим какие-либо две пары, например, E-E′, R-R′, не принимая во внимание оставшуюся пару T-T′. Сформулируем вспомогательную задачу: на совмещенной плоскости П=П′ надо найти F-точки квадратичного преобразования wER, заданного шестью парами соответственных точек A=A′, B=B′, C=C′, D=D′, E~E′, R~R′. 

Ассоциированные точки F1, F1 преобразования wER определяются на пересечении прямых, соединяющих соответственные точки E~E′ и R~R′. Проективные пучки (F1) и (F1) тождественны. Получаем центральное квадратичное преобразование с центром F1=F1=EE′∩RR′. Произвольное коническое сечение, проходящее через совпадающие соответственные точки, представляет собой инвариантную конику преобразования wER. Через четыре точки можно провести пучок конических сечений Ф, поэтому существует однопараметрическое множество квадратичных преобразований, удовлетворяющих условиям вспомогательной задачи.

Выделяя произвольное коническое сечение k1 пучка Ф, получаем центральное квадратичное преобразование (wER)1, заданное центром F1=F1=EE′∩RR′, инвариантной коникой k1 и двумя парами соответственных точек E-E′, R-R′. Ассоциированные точки F2, F2 этого преобразования принадлежат конике k1. Действительно, соответственные лучи проективных пучков (F2) и (F2) должны пересекаться в совпадающих соответственных точках на k1, следовательно, вершины F2, F2 этих пучков должны быть инцидентны k1. Ассоциированные точки F3, F3 преобразования (wER)1 также инцидентны k1.

Для построения точек F2, F3 отмечаем на k1 произвольные точки Ki (i=1, 2, 3). Проецируя точки E, R из Ki на k1, получаем на k1 точечные ряды Ri и Ei, инволюционно соответственные ряду Ki. Ряды Ri, Ei проективны. Проецируя ряд Ei на конику k1 из точки E′, получаем ряд Ei, инволюционно соответственный ряду Ei. Проецируя ряд Ri из точки R′, получаем ряд Ri, инволюционно соответственный ряду Ri. Ряды Ri и Ei проективны, следовательно, ряды Ri и Ei также проективны. Находим ось проективности f1 этих рядов и отмечаем точки F2, F3 пересечения оси f1 с коникой k1. Эти точки являются двойными точками проективных рядов REi и искомыми F′-точками преобразования (wER)1 в плоскости П′. Точки F2, F3 преобразования (wER)1 инцидентны исключенным прямым j2=F1F3 и j3=F1F2. Таким же образом определяются F-точки любого квадратичного преобразования, удовлетворяющего условиям вспомогательной задачи.

Конструктивный алгоритм построения F-точек

Совмещаем поля П, П′ до совпадения каких-либо четырех пар соответственных точек, например, A=A′, B=B′, C=C′, D=D′. Для обеспечения такого совмещенного положения полей требуется предварительно выполнить коллинеарное преобразование одного из полей.

Действие 1. Исключаем из рассмотрения какую-либо пару не совпадающих соответственных точек, например, T-T′. Рассматриваем однопараметрическое семейство квадратичных преобразований ωER, заданное четырьмя парами совпадающих соответственных точек и двумя парами не совпадающих соответственных точек E-E′, R-R′. Выделяя три произвольных конических сечения k1, k2, k3=ACBD пучка Ф(ABCD), получаем три центральных квадратичных преобразования (wER)1, (wER)2, (wER)3 с общим центром F1=F1 и инвариантными кониками k1, k2, k3 (рис. 1).

Решая вспомогательную задачу, на каждой конике k1, k2, k3 находим две пары ассоциированных точек F2~F2, F3~F3, из которых все соответственные точки (кроме исключенной пары T~T′) проецируются двумя парами проективных пучков. Каждой конике ki ставятся в соответствие две хорды: хорда fi=F2i -F3i (в поле П) и хорда fi=F2i-F3i (в поле П′). Хорды fi образуют пучок прямых с вершиной в точке QER (рис. 1, а). Хорды fi также образуют пучок прямых с вершиной в точке QER (рис. 1, б). 

Лемма 1. Хорды fi и fi образуют пучки прямых, проективные пучку конических сечений ki. Доказательство леммы основано на теореме Паскаля и на свойствах проективных соответствий в образах второго порядка.

Таким образом, согласно лемме 1, пучки хорд (QER) и (QER) проективны пучку коник Ф.

Действие 2. Исключаем из рассмотрения другую пару не совпадающих соответственных точек, например, R~R′. Получаем семейство квадратичных преобразований ωET, заданное шестью парами соответственных точек A=A′, B=B′, C=C′, D=D′, E~E′, T~T′. Выделяем из Ф те же самые коники k1, k2, k3, что и в первом действии.

Решая вспомогательную задачу, на каждой конике находим две пары ассоциированных точек F2~F2, F3~F3, из которых все соответственные точки (кроме исключенной пары R~R′) проецируются двумя парами проективных пучков. Каждой конике ki ставим в соответствие хорды fi=F2iF3i и fi=F2iF3i. Получаем пучки хорд QET(f1, f2, f3,…) и QET(f1, f2, f3,…), проективные пучку коник Ф(k1, k2, k3,…).

Действие 3. Исключаем соответственные точки E-E′. Рассматриваем семейство квадратичных преобразований wRT, заданное шестью парами соответственных точек A=A′, B=B′, C=C′, D=D′, R-R′, T-T′. Из пучка Ф выделяем те же самые коники k1, k2, k3, что и в предыдущих действиях. Решая вспомогательную задачу, на каждой конике находим две пары ассоциированных точек F2-F2, F3-F3, из которых все соответственные точки (кроме исключенной пары E-E′) проецируются двумя парами проективных пучков. В каждом из преобразований (wRT)i инвариантной конике ki ставятся в соответствие хорды fi=F2iF3i и fi=F2iF3i. Получаем пучки хорд QRT(f1, f2, f3,…) и QRT(f1, f2, f3,…), проективные пучку коник Ψ(k1, k2, k3,…).

Примечание. Если в действиях 1…3 используются вырожденные коники пучка Ф, то построение F-точек и пучков хорд в преобразованиях w выполняется геометрически точно (“одной линейкой”).

Действие 4. Рассмотрим пару w-преобразований, например, wER и wET. Пучки хорд, порожденные этой парой преобразований,  проективны пучку коник Ф, следовательно, проективны между собой.

Точки G пересечения проективно соответственных хорд fER и fET определяют конику gE, проходящую через точку E и через вершины QER, QET (рис. 2, а). Точки G′ пересечения соответственных хорд fER и fET определяют конику gE, проходящую через E′ и через вершины QER, QET (рис. 2, б).

Действие 5. Совместно рассмотрим другую пару преобразований, например, wRT и wET. Пучки хорд (QRT) и (QET), порожденные этими преобразованиями, проективны пучку коник Ф, следовательно, проективны между собой. Пучки (QRT) и (QET) также проективны. Точки G пересечения проективно соответственных хорд fRT и fET в пучках (QRT) и (QET) определяют кривую второго порядка gT, проходящую через вершины QRT, QET и через точку T, общую в преобразованиях ωRT и ωET. Точки G пересечения соответственных хорд fRT и fET в пучках (QRT) и (QET) определяют кривую второго порядка gT, инцидентную вершинам QRT, Q′ET и точке T′.

Примечание. В результате выполнения действий 4, 5 получены две пары вспомогательных кривых второго порядка gE~gE и gT~gT. Далее будет показано, что решение задачи поиска F-точек преобразования Ω сводится к построению точек пересечения gEgT, gEgT этих кривых. Задача построения точек пересечения кривых второго порядка не может быть решена геометрически точно (“линейкой и циркулем”).

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

Лемма 2. Фундаментальные точки F1, F2, F3 поля П совпадают с точками пересечения конических сечений gE и gT, а точки F1, F2, F3 поля П′ совпадают с точками пересечения коник gE и gT.

Доказательство леммы 2 основано на том обстоятельстве, что проективно соответственные лучи в пучках (Fi), (Fi) определяют конику fi, проходящую через базисные точки пучка Ф (рис. 3).

Таким образом, для окончательного решения поставленной задачи достаточно отметить точки пересечения gE-gT, gE-gT вспомогательных конических сечений. В соответствии с леммой 2, эти точки являются искомыми F-точками преобразования Ω на совмещенной плоскости П=П′.

Исследование

Вспомогательные кривые второго порядка gE, gT пересекаются в четырех точках. Чтобы выбрать из них искомые точки F1, F2, F3, заметим, что коника gE образована проективными пучками (QET) и (QER), а коника gT – проективными пучками (QET) и (QRT). Вспомогательные кривые gE, gT проходят через вершину QET общего для обеих коник пучка (QET). Следовательно, QET – одна из четырех точек пересечения вспомогательных кривых. Оставшиеся три точки пересечения указывают искомые F-точки исследуемого квадратичного преобразования.

Вспомогательные кривые gE и gT также пересекаются в четырех точках, одна из которых совпадает с точкой QET . Оставшиеся три точки пересечения вспомогательных коник gE, gT указывают точки F1, F2, F3 исследуемого преобразования.

Чтобы из найденных F и F′ точек выделить ассоциированные пары, напомним, что ассоциированные пары F-точек располагаются на одной и той же конике пучка Ψ (см. рис. 3). Поэтому для выделения точки F1, ассоциированной с точкой F1, достаточно начертить коническое сечение f1, проходящее через F1 и через базисные точки пучка Ф. Коника f1 пройдет через искомую точку F1. Точно так же определяются две другие пары ассоциированных F-точек.

Две точки пересечения вспомогательных коник могут быть мнимыми. В этом случае получаем квадратичное преобразование с двумя парами мнимых сопряженных F-точек, которое может быть приведено (посредством специально подобранного проективного преобразования одного из полей П, П′) к преобразованию Гирста с центром внутри инвариантной коники. Преобразование Гирста с внутренней центральной точкой, в свою очередь, может быть сведено к инверсии относительно окружности.

Графический эксперимент

Искомые F-точки найдены на пересечении двух пар вспомогательных коник gE-gE и gT-gT. Конические сечения gE и gE образованы проективными пучками, порожденными преобразованиями wER и wET (см. действие 4). Коники gT и gT образованы проективными пучками (QRT) и (QET), порожденными преобразованиями wRT и wET (см. действие 5). Для проверки решения найдем еще одно вспомогательное коническое сечение gR, образованное проективными пучками хорд (QRT) и (QER) в преобразованиях wRT и wER. Коническое сечение gR проходит через точку R, через вершины проективных пучков QRT, QER и через ранее найденные F-точки, что подтверждает достоверность разработанного алгоритма и правильность найденного решения (рис. 4). Особо отметим замечательную конструктивную точность найденного решения: три конических сечения четко (с точностью “до привязок”) пересекаются в искомых точках!

Заключение

Предложен алгоритм построения фундаментальных точек квадратичного бирационального (кремонова) преобразования, заданного семью парами соответственных точек. Для реализации алгоритма требуется вычерчивать вспомогательные кривые второго порядка и отмечать точки их пересечения. Эти операции выполняются с помощью компьютерной программы “Универсальный коникограф” [4, 5]. Отличительная особенность программы состоит в том, что она выполняет геометрически точное построение не кривой второго порядка, а ее метрики – главных осей, фокусов и асимптот.  Только после определения метрики вычерчивается непрерывная кривая. Очевидно, если известна метрика (главные оси и др.) кривой второго порядка, то последующее ее вычерчивание не вызывает затруднений и может быть выполнено на компьютере с любой заранее заданной степенью точности. В качестве исходных данных для определения метрики конического сечения может быть задан любой внутренне непротиворечивый набор точек и касательных, в том числе – мнимых [6].  

Практическая значимость предложенного алгоритма связана с принципиальным свойством кремонова преобразования: образом рациональной кривой является рациональная кривая. Рациональные кривые наилучшим образом подходят для конструирования технических форм, так как в силу рациональности расчет их локальных геометрических характеристик осуществляется наиболее просто. В связи с этим кремоновы преобразования широко применяются для конструирования рациональных кривых с заданными динамическими свойствами [3]. Полученный в статье результат служит развитию теории кремоновых преобразований и применению их в практике геометрического компьютерного моделирования.

Список литературы

1. Толок, А.В. Функционально-воксельный метод в компьютерном моделировании: монография / А.В. Толок. – М.: Физматлит, 2016. – 112 с.

2. Андреев, К.А. О геометрических соответствиях в применении к вопросу о построении кривых линий / К.А. Андреев – М.: Издание Московского Математического общества, состоящего при Императорском Московском Университете, 1879. – 168 с.

3. Иванов, Г.С. Конструирование технических поверхностей: монография / Г.С. Иванов. – М.: Машиностроение, 1987. – 192 с.

4. Короткий, В.А. Универсальный компьютерный коникограф / В.А. Короткий, Л.И. Хмарова // Труды 26-й Международной научной конференции GraphiCon 2016 (19-23 сентября 2016), ННГАСУ, Нижний Новгород, Россия. – С. 347-351.

5. Свидетельство о государственной регистрации № 2011611961 от 04.03.2011. Построение кривой второго порядка, проходящей через данные точки и касающейся данных прямых (программа для ЭВМ) / Короткий В.А.

6. Короткий, В.А. Графические алгоритмы реконструкции кривой второго порядка, заданной мнимыми элементами / А.Г. Гирш, В.А. Короткий // Геометрия и графика. 2016. Т. 4. № 4. С. 19-30. DOI: 10.12737/22840.

 

Рисунки к докладу

Рис. 1
Рис. 1

Пучки хорд преобразования wER: а – хорды fi=F2i-F3i; б – хорды fi=F2i-F3i (i=1,2,3)  




Рис. 2
Рис. 2

Коники, образованные проективными пучками хорд в преобразованиях wER и wET: а – коника gE в поле П; б – коника gE в поле П′  




Рис. 3
Рис. 3

Коники f1...f3




Рис. 4
Рис. 4

Проверка решения




Вопросы и комментарии к выступлению:


Фото
Гирш Антон Георгиевич
(7 марта 2017 г. 16:25)

Виктор Анатольевич, поздравляю. Достойая тема, хорошая заявка доклада. Уровень выше среднего - не сразу настроишся вникнуть.


Назад Go Back