WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 |   ...   | 27 | 28 || 30 | 31 |   ...   | 76 |

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

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

§ 3. Двойное отношение 1. Определение и доказательство инвариантности. Если длина отрезка прямой представляет собой своего рода ключ к метрической геометрии, то существует и в проективной геометрии одно основное понятие, с помощью которого могут быть выражены все отличительные проективные свойства фигур.

§ 3 ДВОЙНОЕ ОТНОШЕНИЕ Предположим, что три точки A, B и C расположены на одной прямой. Проектирование, вообще говоря, изменяет не только расстояния AB AB и BC, но и их отношение. В самом деле, любые три точки A, B, BC C на прямой l могут быть переведены в любые три точки A, B, C на прямой l посредством двух последовательно производимых проектирований. Чтобы в этом убедиться, станем вращать прямую l около точки C, пока она не примет положения l, параллельного l (рис. 74).

Затем, проектируя l на l параллельно прямой CC, получим три точки A, B и C ( C ). Прямые A A и B B пересекутся в точке O, которую мы изберем в качестве центра второй проекции. Последовательно выполненные указанные две проекции дают требуемый результат1.

C C B A B B O l A A l l Рис. 74. Проектирование трех точек Из доказанного вытекает, что никакая величина, определяемая только тремя точками на прямой, не может быть инвариантной при проектировании. Но — в этом заключается решающее открытие в проективной геометрии — если на прямой дано четыре точки A, B, C, D, которые при проектировании переходят в точки A, B, C, D другой прямой, то некоторая величина, называемая двойным отношением этих четырех точек, при проектировании не изменяет числового значения. В этом заключено математическое свойство системы четырех точек на прямой, которое носит инвариантный характер и которое можно обнаружить во всякой проекции рассматриваемой прямой. Двойное отношение не есть ни расстояние, ни отношение расстояний, а отношение двух таких отношений: если мы составим отношения CA DA и, CB DB Подумайте, что делать, если прямые A A и B B параллельны.

200 ПРОЕКТИВНАЯ ГЕОМЕТРИЯ. АКСИОМАТИКА гл. IV то их отношение CA DA x = :

CB DB по определению есть двойное отношение четырех точек A, B, C, D, взятых в указанном выше порядке.

Убедимся теперь, что двойное отношение четырех точек инвариантно при проектировании, т. е. что если A, B, C, D и A, B, C, D — две четверки точек на двух пряO мых и между ними установлено проективное соответствие, то тогда справедливо равенство CA DA C A D A : = :.

CB DB C B D B D C Доказательство вполне элеменB A тарно. Вспомним, что площадь h треугольника равна половине произведения основания на выA B C D соту и, с другой стороны, равна половине произведения двух Рис. 75. Инвариантность двойного отсторон на синус заключенного ношения при центральном проектировании между ними угла. Тогда получим (рис. 75):

1 площадь OCA = h · CA = OA · OC sin COA, 2 1 площадь OCB = h · CB = OB · OC sin COB, 2 1 площадь ODA = h · DA = OA · OD sin DOA, 2 1 площадь ODB = h · DB = OB · OD sin DOB.

2 Отсюда следует:

CA DA CA DB OA · OC sin COA OB · OD sin DOB : = · = · = CB DB CB DA OB · OC sin COB OA · OD sin DOA sin COA sin DOB = ·.

sin COB sin DOA Таким образом, двойное отношение точек A, B, C, D зависит только от углов, образованных в точке O отрезками OA, OB, OC, OD. Так как эти углы — одни и те же, каковы бы ни были четыре точки A, B, C, D, в которые при проектировании переходят A, B, C, D, то ясно, что двойное отношение не изменяется при проектировании.

Что двойное отношение не изменяется при параллельном проектировании, следует из элементарных свойств подобных треугольников. Доказательство предоставляется читателю в качестве упражнения (рис. 76).

§ 3 ДВОЙНОЕ ОТНОШЕНИЕ До сих пор, говоря о двойном отношении четырех точек A, B, C, D, расположенных на прямой l, мы предполагали, что это отношение составлено из положительных отрезков. Целесообразно видоизменить это определение следующим образом. Примем одно из двух направлений прямой l за положительное и условимся, что все отрезки, отсчитываемые в этом направлении, будут считаться положительными, а отрезки, отсчиты ваемые в противоположном направлеD нии, — отрицательными. Теперь опреде- C лим двойное отношение точек A, B, C, B D (взятых в указанном порядке) соглас- A но формуле CA DA (ABCD) = :, CB DB A причем знаки чисел CA, CB, DA, DB B берутся в соответствии с указанным C выше условием. Так как при изменеD нии направления на прямой l, принятоРис. 76. Инвариантность двойго за положительное, меняются только ного отношения при параллельзнаки всех четырех отрезков, то знаном проектировании чение (ABCD) не зависит от выбора направления. Легко понять, что (ABCD) имеет отрицательный или положительный знак, смотря по тому, разделена ли пара точек A, B парой точек C, D или не разделена. Так как свойство «разделяться» инвариантно относительно проектирования, то понимаемое в новом смысле (как величина, способная иметь тот или (ABCD) 0 иной знак) двойное отношение (ABCD) также инвариантно. Выберем начальA B C D ную точку O на прямой l и сопоставим каждой точке на прямой l в качестве ко(ABCD) ординаты x ее расстояние от O, взятое A C B D с надлежащим знаком; тогда, обозначая Рис. 77. Знак двойного отноше- координаты A, B, C, D соответственно ния через x1, x2, x3, x4, получим формулу CA DA x3 - x1 x4 - x1 x3 - x1 x4 - x(ABCD) = : = : = ·.

CB DB x3 - x2 x4 - x2 x3 - x2 x4 - xCA DA Если (ABCD) = -1, так что = -, то точки C и D делят CB DB отрезок AB внутренне и внешне в одном и том же отношении. В этом случае принято говорить, что C и D делят отрезок AB гармонически, и каждая из точек C и D считается гармонически сопряженной с другой точкой относительно пары точек A, B. Если (ABCD) = 1, то точки C и D (или A и B) совпадают.

202 ПРОЕКТИВНАЯ ГЕОМЕТРИЯ. АКСИОМАТИКА гл. IV Необходимо не упустить из виду, что при определении двойного отношения (ABCD) существенную роль играет порядок, в котором берутся точки A, B, C, D. Например, если (ABCD) =, то двойное отношение (BACD) равно, тогда как (DACB) = 1 -, в чем читатель убедится без труда. Четыре точки A, B, C, D могут быть переставлены между собой 4 · 3 · 2 · 1 = 24 различными способами, и каждой перестановке соответствует некоторое значение двойного отношения. Некоторым перестановкам соответствует то же числовое значение двойного отношения, что и начальной перестановке A, B, C, D; например, (ABCD) = (BADC). Читателю предоставляется в качестве упражнения доказать, что при 24 возможных перестановках четырех точек получается всего лишь шесть различных значений двойного отношения, а именно 1 - 1, 1 -,,,,.

1 - - Эти шесть величин, вообще говоря, различны, но при некоторых значениях могут и совпадать по две, например при значении = -1 в случае гармонического деления.

O A B C D x xxxxРис. 78. Координатное выражение для двойного отношения Мы можем также определить двойные отношения четырех компланарных (т. е. лежащих в одной плоскости) и конкуррентных прямых 1, 2, 3, 4, как двойное отношение четырех точек пересечения этих прямых с некоторой прямой, лежащей в той же плоскости. Положение этой пятой прямой несущественно вследствие инвариантности двойного отношения при проектировании. Эквивалентным этому определению является следующее:

sin(1, 3) sin(1, 4) (1234) = ± :, sin(2, 3) sin(2, 4) где нужно взять знак плюс, если пара прямых 1, 2 не разделяется парой 3, 4, и знак минус, если разделяется. (В этой формуле (1, 3), например, обозначает угол между прямыми 1 и 3.) Наконец, можно определить двойное отношение четырех коаксиальных плоскостей (четырех плоскостей, пересекающихся по одной прямой, или «оси»). Если некоторая прямая пересекает плоскости в четырех точках, то двойное отношение этих точек всегда будет иметь одно и то же значение, независимо от § 3 ДВОЙНОЕ ОТНОШЕНИЕ выбора прямой (доказательство предлагается в качестве упражнения).

Таким образом, полученное значение можно назвать двойным отношением рассматриваемых четырех плоскостей. Иначе, можно назвать двойным отношением четырех коаксиальных плоскостей двойное отношение четырех прямых, по которым они пересекаются произвольной пятой плоскостью (рис. 79).

Рис. 79. Двойное отношение четырех плоскостей Понятие двойного отношения четырех плоскостей побуждает поставить вопрос о том, нельзя ли дать определение проективного преобразования трехмерного пространства самого на себя. Определение с помощью центральной проекции, очевидно, не обобщается непосредственно от случая двух измерений на случай трех измерений. Но можно доказать, что каждое непрерывное преобразование плоскости самой на себя, взаимно однозначно переводящее точки в точки и прямые в прямые, есть проективное. Это обстоятельство наводит на мысль ввести следующее определение для случая трех измерений: проективным преобразованием пространства называется непрерывное взаимно однозначное преобразование, переводящее прямые линии в прямые линии. Можно показать, что такие преобразования оставляют значения двойных отношений неизменными.

Добавим к предыдущему еще кое-какие замечания. Пусть на прямой даны три различные точки A, B, C с координатами x1, x2, x3. Требуется найти четвертую точку D таким образом, чтобы удовлетворялось равенство (ABCD) =, где задано. (Частный случай, когда = -204 ПРОЕКТИВНАЯ ГЕОМЕТРИЯ. АКСИОМАТИКА гл. IV и задача заключается в построении четвертой гармонической точки, будет подробно рассмотрен в следующем пункте.) Вообще говоря, задача имеет одно и только одно решение; действительно, если x — координата искомой точки D, то уравнение x3 - x1 x - x· = x3 - x2 x - xимеет ровно одно решение. Считая x1, x2 и x3 заданными и полагая ради x3 - xкраткости = k, мы придадим решению вид x3 - xkx2 - xx =.

k - Например, если точки A, B, C находятся на равных расстояниях друг от друга и имеют соответственно координаты x1 = 0, x2 = d, x3 = 2d, то 2d - 0 2d тогда k = = 2 и x =.

2d - d 2 - O O A B l C D l l A B C D Рис. 80. Проективное соответствие между точками двух прямых Если прямая l спроектирована из двух различных центров O и O на две различные прямые l и l, то получается соответствие P P между точками прямых l и l и соответствие P P между точками прямых l и l. Этим устанавливается соответствие P P между точ ками прямых l и l, и притом такое, что каждые четыре точки A, B, C, D на l имеют то же самое двойное отношение, что и соответствующие точки A, B, C, D на l. Всякое взаимно однозначное соответствие между точками двух прямых, обладающее этим свойством, называется § 3 ДВОЙНОЕ ОТНОШЕНИЕ проективным соответствием, независимо от того, каким способом это соответствие установлено.

Упражнения. 1) Докажите, что если даны две прямые вместе с проективным соответствием, установленным между ними, то можно подвергнуть одну из прямых такому параллельному перенесению, что заданное соответствие будет получаться посредством простой проекции. (Указание: совместите какую-нибудь пару взаимно соответствующих точек на данных прямых.) 2) Пользуясь предыдущим результатом, покажите, что если между точками двух прямых l и l установлено соответствие посредством конечного числа последовательных проектирований на различные промежуточные прямые при произвольных центрах проекций, то тот же результат может быть получен посредством всего лишь двух проектирований.

E I H F G A C B D Рис. 81. Полный четырехсторонник 2. Применение к полному четырехстороннику. В качестве интересного применения инвариантности двойного отношения мы докажем одну простую, но важную теорему проективной геометрии. Речь идет о полном четырехстороннике — фигуре, образованной произвольными четырьмя прямыми, из которых никакие три не являются конкуррентными, и шестью точками их пересечения. На рис. 81 названные четыре прямые суть AE, BE, BI, AF. Прямые AB, EG и IF являются диагоналями четырехсторонника. Рассмотрим одну из диагоналей, например AB, и отметим на ней точки C и D, где она пересекается с двумя другими диагоналями. Тогда теорема утверждает существование равенства (ABCD) = -1; словами это выражается так: точки пересечения одной диагонали с двумя другими делят отрезок между вершинами четырехсторонника гармонически. Для доказательства достаточно об206 ПРОЕКТИВНАЯ ГЕОМЕТРИЯ. АКСИОМАТИКА гл. IV ратить внимание на то, что x = (ABCD) = (IF HD) (проектируем из E), (IF HD) = (BACD) (проектируем из G).

Как нам известно, (BACD) = ;

(ABCD) таким образом, x =, x2 = 1, x = ±1. Но так как C, D разделяют A, B, x то двойное отношение x отрицательно и потому оно должно быть равно именно -1, что мы и хотели доказать.

Полученное замечательное свойство полного четырехсторонника дает нам возможность с помощью одной лишь линейки построить точку, гармонически сопряженную с точкой C относительно пары A, B (если A, B, C коллинеарны). Нужно только, выбрав произвольную точку E вне данной прямой, провести прямые EA, EB, EC; затем, взяв произвольно точку G на EC, провести прямые AD и BD, пересекающие EB и EA, скажем, в точках F и I; провести, наконец, прямую IF, которая и пересечет исходную прямую в искомой точке D.

Pages:     | 1 |   ...   | 27 | 28 || 30 | 31 |   ...   | 76 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.