Проективный подход к решению задач на построение циркулем и линейкой точек пересечения прямой и алгебраической плоской линии второго пор

    МИНИСТЕРСТВО  ОБРАЗОВАНИЯ РЕСПУБЛИКИ БЕЛАРУСЬ

    Учреждение  образования

    "БЕЛОРУССКИЙ  ГОСУДАРСТВЕННЫЙ  ПЕДАГОГИЧЕСКИЙ

    УНИВЕРСИТЕТ им. М.Танка" 
 

    Математический  факультет

    Кафедра алгебры и геометрии 
 

    Дипломная работа 

    Проективный подход к решению  задач на построение циркулем и линейкой точек пересечения прямой и алгеброической плоской линии второго порядка 
 
 

студентки 5-го курса

математического факультета

дневного  отделения

Стащенюк  Александры Анатольевны 

Научный руководитель

кандидат  физико-математических наук

доцент

Рачковский  Николай Николаевич 
 

    Минск 2003 
 

    Оглавление

    1. Введение……………………………………………………………….2

    2. Основные обозначения, понятия  и теоремы………………………...3

    3. Точки пересечения прямой с  гиперболой и параболой…………….6

3.1. Построение  проективного преобразования, переводящего гиперболу и параболу в эллипс……………………………………6

    3.1.1. Гипербола и парабола как конические  сечения………6

3.1.2. Задание  проективного преобразования определенного  типа на плоскости……………………………………………...7

    3.1.3. Свойства построенного преобразования……………...10

    3.1.4. Построение образа точки………………………………10

3.1.5. Доказательство  равенства построенного и искомого  преобразований………………………………………………..11

    3.2. Гипербола……………………………………………………………14

    3.3. Парабола………………………………………………………..……19

    4. Эллипс………………………………………………………………….24

    5. Заключение…………………………………………………………….26

    Литература………………………………………………………………..27 
 
 
 
 
 
 
 
 
 

    1. Введение

    Иногда  в задачах на построение возникает  геометрическое место точек, для  которых абсолютная величина разности расстояний до двух заданных точек есть величина постоянная. Множество таких точек составляют гиперболу. Аналогично в задачах конструктивной геометрии совершенно естественно могут возникать парабола и эллипс. Но так как построить эти фигуры с помощью циркуля и линейки нельзя, то возникает вопрос, можно ли построить точки пересечения гиперболы, параболы или эллипса и некоторой заданной прямой, не строя эти кривые и не используя методы аналитической геометрии. В данной дипломной работе рассматривается эта проблема и предлагается способ ее решения.

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

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

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

    2. Основные обозначения,  понятия и теоремы

    Определение 1. [1, стр.112] Пусть f:X→Y – некоторое отображение, область определения которого совпадает с X.

1. Если для двух различных элементов x₁, x₂∈X имеем: f(x₁) ≠ f(x₂), то отображение а f называется инъективным отображением или коротко инъекцией.
2. Если f(X)=Y, т.е. каждая точка множества Y является образом по крайней мере одной точки множества X, то f называется отображением множества X на множество Y или сюръективным отображением (сюръекцией).
3. Если отображение f:X→Y одновременно является инъективным и сюръективным, то оно называется взаимно однозначным отображением множества X на множество Y или биективным отображением множества X на множество Y (коротко биекцией).

    Определение 2. [1, стр.142] Преобразование плоскости называется аффинным, если оно любые три точки M₁, M₂ и M₃, лежащие на одной прямой, переводит в три точки M'₁, M'₂ и M'₃, лежащие на одной прямой, и сохраняет их простое отношение, т.е. (M₁ M₂,M₃)=(M'₁ M'₂,M'₃).

    Лемма 1. [2, стр.99] В любом аффинном отображении эллипс переходит в эллипс.

    Определение 3. [2, стр. 7] Плоскость, дополненную несобственной прямой, называют расширенной (проективной) плоскостью.

    Определение 4. [3, стр. 71] Пусть в расширенном евклидовом пространстве даны две расширенные евклидовы плоскости α₁, α₂ и точка S (центр перспективы), не принадлежащая данным плоскостям. Тогда отображение φ:α₁→ α₂, при котором образом точки A∈α₂ считается точка A'=(SA) Çα₂, называется перспективой.

    Определение 5. [2,стр. 34] Преобразование проективной плоскости называется проективным, если точкам любой прямой соответствуют точки, лежащие на некоторой прямой так, что сохраняется сложное отношение четырех точек, т.е. для любых четырех точек M₁, M₂, M₃, M₄ одной прямой и их образов M'₁, M'₂, M'₃, M'₄ выполняется равенство (M₁M₂, M₃M₄)=(M'₁M'₂, M'₃M'₄).

    Свойства  проективных преобразований [2, стр.36]:

1. При проективном  преобразовании три точки, не лежащие  на одной прямой, переходят  в  три точки, также не лежащие на одной прямой.
2. При проективном преобразовании любой репер переходит в репер
3. При проективном преобразовании прямая переходит в прямую.

    Определение 6. [1, стр. 124] Точку плоскости назовем инвариантной (неподвижной) точкой преобразования, если она переходит в себя в этом преобразовании. Прямую назовем инвариантной (неподвижной) прямой преобразования, если любая ее точка переходит в точку этой же прямой. В частности, прямая является инвариантной, если каждая ее точка инвариантна в данном преобразовании (такую прямую будем называть прямой инвариантных точек).

    Определение 7. [2, стр. 37-38] Нетождественное проективное преобразование называется гомологией, если оно имеет по крайней мере три инвариантные точки, лежащие на одной прямой. Точка пересечения прямых, проходящих через соответственные точки гомологии, называется центром гомологии. Если центр гомологии не лежит на оси гомологии, то гомология называется гиперболической..

    Свойства  гомологии [2, стр. 37]:

1. Прямая, проходящая через несовпадающие соответственные точки гомологии, является инвариантной прямой.
2. Прямые, проходящие через несовпадающие соответственные точки гомологии, принадлежат одному пучку, центр которого является инвариантной точкой гомологии.

    Определение 8. [3, стр. 5] Пусть A, B, C, D – точки проективной прямой. Если точки C, D лежат на разных отрезках с концами A, B, то пара (C, D) называется разделяющей пару (A, B), если на одном, то неразделяющей.

    Теорема 1. [3, стр. 17] Для того, чтобы пары точек AB и CD были неразделенными, необходимо и достаточно, чтобы двойное отношение (AB,CD) было положительным, т.е. (AB,CD)>0.

    Лемма 2. При проективном преобразовании проективный отрезок переходит в проективный отрезок.

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

      Покажем, что отрезок [AB] перейдет в отрезок [A'B'], где A', B' – образы точек A, B в данном проективном преобразовании. Для этого необходимо показать, что для любых двух точек C, D∈[AB] их образы C', D'∈[A'B']. Т.е. если пара AB, CD – неразделенная, то A'B', C'D' - неразделенная.

      Из определения проективного  преобразования плоскости следует,  что если (AB,CD)>0, то(A'B',C'D')>0, так как оно сохраняет сложное отношение четырех точек, т.е. (AB,CD)= (A'B',C'D').

      Таким образом, мы показали, что  образом проективного отрезка  [AB] является проективный отрезок [A'B'].

                                                                                                         ⊠                                                                                                                                                                                       

    Теорема 2. [2, стр. 55] При любом проективном преобразовании линия второго порядка ранга r переходит в линию второго порядка того же ранга.

    Определение 9. [1, стр. 100] Два диаметра центральной линии второго порядка называются сопряженными, если каждый из них делит пополам хорды, параллельные другому диаметру.

    Определение 10. [1, стр. 145] Нетождественное аффинное преобразование называется перспективно-аффинным, если оно имеет по крайней мере две неподвижные точки. Прямая неподвижных точек называется осью перспективно-аффинного преобразования.

    Определение 11. [1, стр. 147] Если прямые, соединяющие соответственные точки перспективно-аффинного преобразования, не параллельны его оси, то преобразование называется косым сжатием плоскости, а направление прямых, соединяющих соответственные точки, - направлением сжатия.

    Обозначения:

 [AB] – отрезок с концами A и B;

 [ACB] – проективный отрезок с концами A и B, содержащий точку C;

 (AB) - прямая;

 /AB/ - длина отрезка с концами A и B;

 a//b – прямые a и b параллельны;

 a∦b – прямые a и b не параллельны. 
 

    3. Точки пересечения  прямой с гиперболой  и параболой