Различные подходы к определению проективной плоскости

можно выбрать четыре () О,А,В,С, ( три из которых неколлинеарны, и затем

А’на ОА, B' на ОВ, С’ на ОС так, что они образуют семь различных точек,

причем A’,B’,C’ неколлинеарны. Тогда построим Р=АВ(А’В’, Q=AC(A’C’,

R=BC(B’C’. Все 10 точек различны. Если теорема Дезарга была бы не верна на

П, то P,Q,R принадлежали бы одной прямой, ( 10 () и 10 прямых образовали бы

ограниченную конфигурацию; но тогда она должна была бы содержаться в (0, а

(0 содержит всего лишь четыре точки.

Построили геометрию, удовлетворяющую аксиомам П1-П4 и не удовлетворяющую

П5, тем самым показали, что П5 не является следствием П1-П4.

3.5. Принцип двойственности

Займемся изучением свойств проективной плоскости, вытекающих из аксиом П1-

П4.

Предложение: Пусть П - проективная плоскость, П*- множество прямых

плоскости П; назовем еще пучок прямых плоскости П прямой из П*.(здесь П*-

это множество элементов из П, называемых прямыми; пучком прямых называется

совокупность всех прямых, проходящих через некоторую фиксированную точку-

центр пучка). Тогда П* тоже является проективной плоскостью (назовем ее

двойственной к П проективной плоскостью); при этом, если П удовлетворяет

аксиоме П5, то и П* ей удовлетворяет.

Следствие (принцип двойственности).

Пусть S- некоторое утверждение, касающееся проективной плоскости П,

которое может быть выведено из аксиом П1-П4 (соответственно П1-П5). Тогда

"двойственное" утверждение S*, полученное из S заменой слов.

точка ( прямая

лежит на ( проходит через

коллинеарные ( сходящиеся

точка пересечения двух прямых ( прямая, соединяющая две точки

и т.д., тоже может быть выведено из аксиом П1-П4 (соответственно П1-П5).

Определение: Полным четырехугольником называется конфигурация, состоящая

из семи точек и шести прямых, полученных следующим образом: рассмотрим

четыре точки А,В,С,D (такие, что любые три из них неколлинеарны), шесть

соединяющих их прямых и три новые точки пересечения этих прямых.

("противоположных сторон" полного четырехугольника) Р=АВ(СD, Q=АС(ВD,

R=АD(ВС.

Точки Р, Q и R называются диагональными точками полного четырехугольника.

Диагональные точки P,Q и R могут оказаться коллинеарными. Однако на

действительной проективной плоскости этого быть не может. Мы убедимся в

этом позже, пока будем рассматривать случай коллинеарности диагональных

точек как исключительное явление и поэтому введем следующую аксиому П7

(аксиома Фано).

П7: Диагональные точки полного четырехугольника неколлинеарны.

Предложение: Действительная проективная плоскость удовлетворяет аксиоме

П7.

Определение: Полным четырехсторонником называется конфигурация, состоящая

из семи прямых и шести точек, полученных следующим образом: рассмотрим

четыре прямые a, b, c, d (такие, что никакие три из них не являются

сходящимися), шесть точек их пересечения и три новые прямые p,q,r.

Соединяющие пары противоположных вершин полного четырехсторонника прямые

p, q, r называются диагоналями полного четырехсторонника.

Предложение: Из того, что П7 выполняется на П (, что П7* выполняется на

П*; поэтому принцип двойственности применим также и к следствиям из П7.

Докажем П7*: П7* в терминах П означает: диагонали полного

четырехсторонника не являются сходящимися (не принадлежат одному пучку).

Пусть a, b, c, d- "стороны" полного четырехсторонника; предположим, что

диагонали p, g, r- сходящиеся. Но в этом случае диагональные точки полного

четырехугольника АВСD, где А=b(d, B=c(d, C=a(b, D=a(c коллинеарны, что

противоречит П7. Значит утверждение П7* справедливо.

Заметим, что определение четырехсторонника двойственно определению

полного четырехугольника.

3.6. Гармонические четверки точек.

Определение: Упорядоченная четверка различных коллинеарных точек А,В,С,D

называется гармонической четверкой, если ( полный четырехугольник XYZW,

такой, что А и В являются его диагональными точками (например А=XY(ZW,

B=XZ(YW), а С и D принадлежат двум другим сторонам четырехугольника

(например,C(XW, D(YZ).

Для гармонических точек А,В,С,D мы введем обозначение H (АВ, СD). Из

того, что точки А,В,С,D образующие гармоническую четверку, различны,

следует неколлинеарность диагональных точек определяющего эту четверку

четырехугольника XYZW. Вообще понятие гармонической четверки точек в

значительной мере теряет смысл, если аксиома Фано не выполняется; поэтому,

говоря о гармонической четверке точек, мы всегда будем предполагать

выполняемость П7.

Предложение 1: Н(АВ,СD)(Н(BA,CD)(H(AB,DC)(H(BA,DC)

Доказательство: Это утверждение немедленно следует из определения

гармонической четверки, так как А и В, С и D играют одинаковую роль в

построении полного четырехугольника. Действительно, можно переставить буквы

X,Y,Z,W,так, чтобы привести обозначение в соответствие с определением

Н(ВА,СD) ч.т.д.

Предложение 2: Пусть А,В,С- три различные точки прямой. Тогда (если

выполняется П7) ( точка D, такая, что Н(АВ,СD). Более того (если

выполняется П5), можно утверждать, что подобная точка D единственная (D

называется четвертой гармонической точкой для А,В,С или точкой,

гармонически сопряженной к точке С по отношению к точкам А и В).

Предложение 3: Пусть А,В,С,D- гармоническая четверка точек. Тогда (если

выполняется П5) C,D,A,B- тоже гармоническая четверка.

Объединяя это предложение с предложением 1, получаем:

H(AB,CD)(H(BA,CD)(H(AB,DC)(H(BA,DC)

H(CD,AB)(H(DC,AB)(H(CD,BA)(H(DC,BA)

Доказательство: Пусть Н(АВ,CD) и пусть XYZW- полный четырехугольник, с

которым связано определение этой гармонической четверки.

Проведем DX и CZ и обозначим точку пересечения через U. Пусть, далее

XW(YZ=T. Тогда XTUZ- полный четырехугольник, а С и D- две его диагональные

точки. Точка В(XZ, поэтому достаточно доказать, что TU проходит через А,

так как в этом случае будем иметь H(CD,AB). Рассмотрим 2 треугольника XUZ и

YTW. Пары их соответственных сторон пересекаются в точках D,B и С, но эти

точки коллинеарны ( по П5*,XY, TU, WZ соединяющие соответственные вершины

принадлежат одному пучку.

Пример: На действительной евклидовой плоскости четыре точки А,В,С,D

образуют гармоническую четверку тогда и только тогда, когда

(АС/ВС)*(ВD/AD)=-1

3.7. Перспективные и проективные отображения.

Определение: Проективное отображение- это отображение прямой l на l'

(быть может, совпадающую с l), которое, может быть представлено как

композиция перспективных отображений.

Обозначение: l – l’ или АВС…-А’В’С’…

Последняя запись означает, что проективное отображение переводит точки

А,В,С,….соответственно в A',B',C',….

Проективное отображение устанавливает взаимно однозначное соответствие

между точками прямых l и l' и является отображением на l'.

Определение: Перспективным отображением прямой l на прямую l' (обе прямые

рассматриваются как множество точек) с центром О (точка О не принадлежит ни

l, ни l') называется отображение А(A', где для произвольной точки А(l точка

А' находится как ОА(l'.

Обозначение l = l’ ("l переводится в l' перспективным отображением с

центром в ()О". Отметим, что перспективное отображение устанавливает

взаимно однозначное соответствие между точками

l и l' и является отображением

l на l' и что отображение, обратное

перспективному отображению,

также является перспективным отображением. Если ()Х=l(l', то Х (как точка

l) переходит в Х (как точку l'). Композиция двух или более перспективных

отображений уже не обязательно будет перспективным отображением: так мы

имеем l = l’ = l’’ и ABCY = A’B’C’Y’ = A’’B’’C’’Y’’ если бы полученное в

результате композиции отображений l = l и l = l отображение l на l'’ было

перспективным, то в точку l(l’'=Y оно должно было бы переводить в себя.

Однако у переходит в точку Y'', которая не совпадает с Y. Поэтому мы ввели

проективное отображение.

Предложение 1: Пусть, задана прямая l. Тогда множество проективных

преобразований (взаимно однозначное отображение множества М на себя

называется преобразованием множества М). l образует группу. Это означает,

что 1)композиция двух проективных отображений снова есть проективное

отображение. 2)отображение, обратное проективному отображению, снова есть

проективное отображение.

Предложение 2: Пусть задана прямая l и пусть А,В,С и A',B',C'- две тройки

ее различных точек. Тогда ( проективное преобразование l, переводящее А,В,С

в A',B',C'.

Доказательство: Пусть l'- прямая отличная от l и не проходящая через А и

А’, а О произвольная точка не принадлежащая ни l, ни l'. Спроектируем из О

точки A',B',C' прямой l в точки A’’,B’’,C’’, прямой l’: A'B'C' = A''B''C'',

где А(l’ и А’’(l.

Ясно, что нам достаточно построить проективное отображение l на l’,

переводящее A,B,C, в A’’,B’’,C’’.

Заменим в обозначениях двойные штрихи одинарными и забудем про исходные

A’,B’,C’. Таким образом, наша задача свелась к следующей. Заданы две

различные прямые l и l’. Пусть А,В,С- три различные точки l, а A’,B’,C’-три

различные точки l’, предположим что A(l’ и A’(l. Требуется построить

проективное отображение l на l’, переводящее А,В,С соответственно в

A’,B’,C’. Проведем прямые AA’,AB’,AC’,A’B,A’C и положим AB’(A’B=B’’,

AC’(A’C=C’’. Обозначим прямую B’’C’’ через l’’; пусть она пересекает AA’ в

A’’. Тогда l = l’’ = l’ переводит ABC = A’’B’’C’’ = A’B’C’.

Таким образом, мы построили искомое проективное отображение l на l’

как композиция двух перспективных отображений.

Предложение 3: Проективное отображение переводит гармоническую четверку

точек в гармоническую четверку.

3.8. Аксиома Паппа и основная теорема о проективных преобразованиях

прямой.

Докажем «основную теорему», которая утверждает, что существует

единственное проективное преобразование прямой, переводящее три заданные

точки в любые другие три заданные точки. Эта теорема не следует из аксиом

П1-П5 и П7; поэтому нам предстоит дополнительно ввести аксиому Паппа П6.

Основная теорема (теорема о проективных преобразованиях прямой). Пусть

задана прямая l и А,В,С;A’,B’,C’- две тройки различных точек этой прямой.

Тогда существует одно и только одно проективное преобразование l, такое,

что АВС - A’B’C’.

П6 (аксиома Паппа). Пусть l и l’-две различные прямые, А,В,С- три

различные точки прямой l, отличные от Х=l(l’и А’,В’,С’- три различные точки

прямой l’, отличные от Х. Тогда точки P=AB’(A’B, Q=AC’(A’C, R=BC’(B’C

коллинеарны.

Предложение 1: Аксиома П6 влечет за собой двойственную аксиому Паппа П6*,

то есть принцип двойственности применим и ко всем выводам из П6.

Предложение 2: На действительной проективной плоскости справедлива

аксиома П6.

Лемма 1: Пусть l = m = n, где l(n, предположим еще, что или:

а)прямые l, m, n принадлежат одному пучку, или

б)точки O,P и l(n коллинеарны.

Тогда полученное проективное отображение l - n является перспективным (то

есть ( такая точка Q, что перспективное отображение l = n совпадает с

нашими проективными отображениями l - n).

Лемма 2: Пусть l = m = n,

Где l(n; предположим теперь, что не имеет места ни а) ни б) из условий

леммы 1. Тогда ( прямая m’ и точки O’(n и P’(l, такие, что l = m = n есть

рассматриваемое проективное отображение l на n.

Доказательство: Пусть l, m, n, O,P заданы; пусть далее A,A’- две точки на

l и AA’ = BB’ = CC’. Точку пересечения ОР и n обозначим через O’. Так как

мы предположили, что точки О,Р, l(n=X неколлинеарны, то O’(X, то есть O’(l.

Проведем O’A и O’A’; пусть они пересекаются РС и РС’ соответственно в D и

D’.

Соответствующие стороны треугольников АBD и A’B’D’ пересекаются в

коллинеарных точках O,P,O’; значит, по П5*, прямые, соединяющие

соответственные вершины этих треугольников принадлежат одному пучку. Таким

образом, прямая m1, содержащая D и D’, проходит через точку Y=l(m.

Следовательно, прямая m1 определена точками D и Y, и если точка A’

меняется, то D’ меняется, оставаясь на прямой m1. Поэтому исходное

проективное отображение совпадает с отображением l = m1 = n.

Повторяя то же самое рассуждение еще раз, мы можем переместить Р в

положение P’=OP(l и найти новую прямую m’, такую, что l = m’= n дает

исходное проективное отображение.

Лемма 3: Пусть l и l’- две различные прямые. Тогда любое проективное

отображение l - l’ может быть получено как композиция двух перспективных

отображений.

Теорема 1: Основная теорема вытекает из аксиом П1-П6.

Доказательство: Для заданной прямой l и двух троек различных точек А,В,С

и A’,B’,C’ этой прямой мы должны найти проективное преобразование,

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

прямую l’, не проходящую через заданные точки, и спроектируем A’,B’,C’ на

l’. Обозначим образы этих точек теми же буквами A’,B’,C’. Таким образом мы

свели теорему к следующей: имеем А,В,С на l A’,B’,C’ на l’ (все точки

отличны от l(l’) требуется показать, что ( единственное проективное

отображение, такое, что ABC - A’B’C’. Одно такое проективное отображение мы

уже получили в предложении 2 (п.3.7); следовательно, достаточно показать,

что любое другое проективное отображение совпадает с этим.

Случай 1: Предположим, что второе проективное отображение есть просто

перспективное отображение. Пусть l - l’ переводит ABC = A’B’C’. Рассмотрим

P=AB’(A’B ; пусть прямая l’’ соединяет Р с Q. Мы утверждаем, что l’’

проходит через точку Х=l(l’. Действительно, применим П5 к треугольникам

AB’C’ и A’BC, которые перспективны с центром О. Их стороны пересекаются в

точках Р,Q,Х соответственно. Следовательно, l’’ определяется точками Р и Х.

Но так как С может меняться, перспективное отображение l = l’ совпадает с

проективным отображением l = l’’ = l’

Случай 2: предположим, что второе проективное отображение не является

перспективным. Тогда в силу леммы 3 оно может быть представлено в виде

композиции двух перспективных отображений, а в силу леммы 2 можно

предположить, что центры этих отображений принадлежат соответственно l’ и

l. Таким образом, мы приходим к конфигурации: l = l’’ = l’ и ABC =

A’’B’’C’’ = A’B’C’

Применяя П6 к треугольникам АBR и A’B’R’, мы получаем, что Р=АB’(A’B(l’’.

Аналогично, применяя П6 к ACR и A’C’R’, мы получаем, что Q=AC’(A’C(l’’.

Таким образом, l’’ есть прямая, которая была использована в предложении 2

(п.3.7) для построения второго проективного отображения

l = l’’ = l’

Пусть теперь D(l – произвольная точка; определим D’’=R’D(l’’и D’=RD’’(l’.

Из П6, применимой к треугольникам ADR и A’D’R’, следует, что AD’(A'D,

A’’,D’’ коллинеарны, то есть AD’(A’D(l’’. Но это означает, что также и

проективное отображение предложения 2 переводит D в D’. Следовательно, эти

проективные отображений совпадают. ч.т.д.

Теорема 2: П5 следует из П6.

Доказательство: Пусть, О,A,B,C,A',B',C' удовлетворяют предложениям

теоремы Дезарга (П5), построим P,Q,R. Для доказательства их коллинеарности

нам придется трижды применить П6.

Шаг 1: Пусть A’C’ пересекает АВ в точке S. Затем применим П6 к прямым.

О С C’

B S A и заключим отсюда, что точки T=OS(BC, U=OA(BC’, Q

коллинеарны.

Шаг 2: Применим теперь П6 к тройкам O B B’

C’ A’ S

и заключим отсюда, что точки U,V=OS(B’C’, P коллинеарны.

Шаг 3: Применим, наконец, П6 к тройкам B C’ U

V T S

и заключим отсюда, что точки R, P=BS(UV (шаг2),Q=C’S(TU (шаг1)

коллинеарны. ч.т.д.

Следствие: (из основной теоремы). Проективное отображение l - l’, где

l(l’, есть перспективное отображение ( точка пересечения X=l(l’ переходит в

себя.

Глава 4. Применение основных теорем к решению задач

на евклидовой плоскости.

4.1. Использование теоремы Дезарга на евклидовой плоскости.

В аксиоматическом построении проективной плоскости мы рассматриваем

теорему Дезарга, как аксиому. Покажем, что она справедлива на евклидовой

плоскости. Если две одинаковые конфигурации, составленные из точек и

прямых, могут быть приведены в соответствие так, что пары соответствующих

точек соединяются прямыми, пересекающимися в одной точке, то мы говорим,

что эти две конфигурации перспективны относительно этой точке. Если

соответствие таково, что пара соответствующих прямых пересекаются в точках

лежащих на одной прямой, то говорим, что эти две конфигурации перспективны

относительно этой прямой.

Сформулируем теорему Дезарга, покажем использование на евклидовой

плоскости.

При доказательстве будем пользоваться теоремой Менелая.

Теорема Менелая гласит:

Если точки X,Y,Z лежащие на сторонах ВС,СА,АВ (соответственно

продолженных) треугольника АВС коллинеарны, то

(BX/CX)*(CY/AY)*(AZ/BZ)=1

Обратно, если это уравнение выполняется для точек X,Y,Z, лежащих на трех

сторонах треугольника, то эти три точки коллинеарны.

Теорема Дезарга.

Если два треугольника перспективны относительно точки и если их пары

соответствующих сторон пересекаются, то эти три () пересечения коллинеарны.

Доказательство: Мы имеем теорему лишь о принадлежности () прямым и

пересечении прямых. Треугольники АВС и A’B’C’ перспективны относительно

точки О, а пары их соответствующих сторон пересекаются в () R,Q,P. Для

доказательства применим теорему Менелая к тройкам точек.

(Q,C’,A’(, (R,B’,C’(, (P,A’,B’(

Лежащих на сторонах трех треугольников ОАС, ОСВ, ОВА, получим при этом

(AQ/CQ)*(CC’/OC’)*(OA’/AA’)=1 (CR/BR)*(BB’/OB’)*(OC’/CC’)=1

(BP/AP)*(AA’/OA’)*(OB’/BB’)=1

Перемножим эти три выражения и проделав умеренное число сокращений,

получим (AQ/CQ)*(CR/BR)*(BP/AP)=1( что () Q,R,P коллинеарны, теорема

доказана.

4.2. Использование предложения Паппа на евклидовой плоскости.

Покажем использование предложения на евклидовой плоскости.

Теорема Паппа: Если А,С,В - три точки на одной прямой, а A’,C’,B’ - на

другой, и если три прямые AB’,CA’,BC’ пересекают прямые A’B,C’A,B’C

соответственно, то три точки пересечения P,Q,R коллинеарны.

рис. 1

Доказательство: Эта теорема как и теорема Дезарга использует

принадлежность точек прямым или прохождение прямых через точки, без

измерения длин или углов и даже без какой-либо ссылки на порядок; в каждом

множестве из трех коллинеарных точек безразлично, какая из них лежит между

двумя другими. (рис. 1, рис. 2)

рис. 2

При доказательстве будем пользоваться теоремой Менелая. Предположим, что

три прямые AB’,CA’,BC’ образуют треугольник UVW.(рис. 3)

рис. 3

Применяя теорему Менелая к пяти тройкам точек

(P,A’,B(, (A,Q,C’(, (B’,C,R(, (A,C,В(, (B’,A’,C’(,

лежащих на сторонах этого треугольника, мы получаем.

(VP/WP)*(WA’/UA’)*(UB/VB)=1 (VA/WA)*(WC/UC)*(UB/VB)=1

(VB’/WB’)*(WC/UC)*(UR/VR)=1 VB'/WB')*(WA'/UA')*(UC'/VC')=1

(VA/WA)*(WQ/UQ)*(UC’/VC’)=1

Разделив произведение первых трех соотношений на произведение последних

двух, производя сокращение, мы получаем:

(VP/WP)*(WQ/UQ)*(UR/VR)=1

то есть P,Q,R коллинеарны, теорема доказана.

Приложение

№1. Если два треугольника перспективны относительно точки и две пары

соответствующих сторон параллельны, то и две оставшиеся стороны

параллельны.

Дано: треугольник PRQ и треугольник P’R’Q’ перспективны относительно

точки О. QR||Q’R’, PR||P’R’

Доказать что: QP||Q’P’

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

Так как QR||Q’R’ и RP||R’P’, то

(OQ/OQ’)=(OR/OR’)=(OP/OP’) ( (OQ/OQ’)=(OP/OP’) ( QP||Q’P’

№2.Назовите два треугольника перспективных относительно:

а) точки Р

б) точки Р’

в) точки D

Ответы: а) треугольники ROQ и EP’F б) треугольники EFP и R’Q’O’ в)

треугольники R’RE и Q’QF.

№3. Если А,С,Е - три точки на одной прямой, B,D,F- на другой, и если

прямые АВ и CD параллельны прямым DE и FA соответственно, то прямые EF||BC.

1) АС||BD. Рассмотрим параллелограмм ABDE и AFDC ( BD=AE и DF=AC.

Произведем вычитание BD-DF=BF; AE-AC=CE ( BF=CE ( BCEF -

параллелограмм ( EF||BC.

2) AC(BD=0, так как AB||ED и CD||FA, то (|OA|/|OB|)=(|OE|/|OD|) и

(|OC|/|OD|)=(|OA|/|OF|) получаем |OB|*|OE|=|OA|*|OD|=|OC|*|OF| (

(|OE|/|OF|)=(|OC|/|OB|) ( EF||CB.

№4. Пусть A,B,D,E,N,M - шесть точек, обладающих тем свойством, что прямые

AE,DM,NB пересекаются в одной точке и прямые АМ,DB,NE пересекаются в одной

точке. Что можно сказать о прямых AB,DE,NM?

Решение. Пусть AE(DM(NB=C, AM(DB(NE=F обозначим () пересечения прямых АВ

и DE через L. По теореме Паппа ()L(MN ( AB(DE(MN=L. Прямые AB,DE,NM

пересекаются в одной точке.

№5. Доказать, что медианы треугольника пересекаются в одной точке.

AA’(BB’(CC’=S ?

Решение: Рассмотрим треугольник АВС и треугольник А1В1С1- дезарговые

треугольники, то есть треугольники удовлетворяют теореме Дезарга.

AB( А1В1=P(

BC( В1С1=Q(

AC( А1С1=R( лежат на одной несобственной прямой S(

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

вершины, пересекаются в одной точке S.

AA’(BB’(CC’=S.

№6. В евклидовой плоскости в четырехугольник вписана трапеция,

параллельные стороны которой || его диагонали. Доказать, что непараллельные

стороны трапеции пересекаются на другой диагонали.

Решение: треугольники NCK и AMP дезарговые треугольники по прямой теореме

Дезарга, соответствующие стороны этих треугольников пересекаются в ()-ах,

лежащих на одной прямой ( ()F,D,B, то есть () пересечения непараллельных

сторон трапеции принадлежат диагонали BD.

№7. В евклидовой плоскости противоположные вершины одного параллелограмма

расположены соответственно на противоположных сторонах второго. Доказать,

что оба параллелограмма имеют общий центр симметрии.

Требуется доказать, что LN(MK(BD(AC=S

Решение.

AC(LN(BD - треугольники ALD и СNB - дезарговые треугольники

удовлетворяют обратной теореме Дезарга ( AC(LN(BD=S.

Треугольники DKC и BMA - дезарговые треугольники по обратной теореме

Дезарга ( MK(BD(AC=S

Получили AC(BD(MK(LN=S.

Оба параллелограмма имеют общий центр симметрии.

№8. В евклидовой плоскости дан треугольник и три параллелограмма, для

каждого из которых одна сторона треугольника служит диагональю, а две

другие - смежными сторонами. Доказать, что вторые диагонали этих

параллелограммов пересекаются в одной точке.

Требуется доказать, что AN(BP(CM=S.

Решение: Треугольники ABC и NPM - дезарговые треугольники.

AB(NP=Q(

BC(MP=R(

AC(NM=K( лежат на одной несобственной прямой P(

по теореме обратной теореме Дезарга NA(BP(CM=S.

№9. В треугольнике АВС из его вершин проведены прямые, пересекающиеся в

одной () S; A’=AS(BC, B’=BS(AC, C’=CS(AB. Доказать, что точки BC(B’C’,

AC(A’C’, AB(A’B’ лежат на одной прямой.

Решение.

Обозначим () пересечения сторон BC(B’C’, AC(A’C’, AB(A’B’ соответственно

P,R,Q. Рассмотрим треугольники АВС и А’В’С’ прямые проходящие через вершины

этих треугольников пересекаются в () S( () пересечения соответствующих

сторон P,R,Q лежат на одной прямой.

№10. В конфигурации Дезарга одну из точек выбрать за дезаргову точку.

Найти в этой конфигурации вершины дезарговых треугольников и дезаргову

прямую.

Точка А- дезаргова точка

Треугольники A’RP и SCB - дезарговы треугольники

A’(S SC(A’R=C’

R(C SB(A’P=B’

P(B CB(RP=Q.

Точки C’,B’,Q(S - дезаргова прямая.

№11. Сформулировать в терминах евклидовой геометрии теорему Дезарга для

случая:

1) ()S( - несобственная (), дезаргова прямая S - собственная.

Формулировка теоремы Дезарга: Если прямые проходящие через соответствующие

вершины двух треугольников параллельны, то точки пересечения

соответствующих сторон лежат на одной прямой.

2) ()S собственная, прямая S( - несобственная.

Формулировка.

Если прямые, походящие через соответствующие вершины двух треугольников

АВС и А’В’С’ пересекаются в одной точке и AB||A’B’, B’C||BC, то AC||A’C’.

3) ()S( - несобственная, прямая S( - несобственная.

Формулировка.

Если прямые проходящие через соответствующие вершины двух треугольников

параллельны и AB||A’B’, BC||B’C’, то AC||A’C’.

№12. Прямая p лежит в плоскости треугольника АВС; К=ВС(p, L=AC(p, M=AB(p,

R=BL(CM, S=CM(AK, T=AK(BL.

Доказать, что прямые AR,BS и CT пересекаются в одной точке.

Требуется доказать, что AR(BS(CT=Q

Решение

Треугольники АВС и RST - дезарговы треугольники.

RS(AB=M

TS(BC=K () M,K,L(з (по условию)

TR(AC=L

Таким образом, по теореме обратной теореме Дезарга AR(BS(CT=Q.

№13. Даны прямые a и b, пересекающиеся в точке S, которая лежит за

пределами чертежа. Дана ()С не лежащая ни на одной из данных прямых.

Построить прямую SC.

Построение.

Выбираем произвольно прямую s, () A,A’(a и ()В(b.

1)AB(s=P, 2)PA’(b=B’, 3)AC(s=R,

4)BC(s=Q, 5)A’R, B’Q, 6)B’Q(A’R=C’,

7)CC’ искомая прямая.

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

Треугольники АВС и А’В’С’ - дезарговы треугольники, прямая s - дезаргова

прямая.

AB(A’B’=P

AC(A’C’=R (s (по построению)

BC(B’C’=Q

По обратной теореме Дезарга AA’(CC’(BB’=S.

№14. Даны две точки P и Q и не проходящая через них прямая c. построить

() PQ(C, не проводя PQ.

Анализ: Произвольно выбираем прямую s, ()Q1(C,Q

QQ1Q2 - трехвершинник, построить РР1Р2 – трехвершинник,P1(C,

PQ(P1Q1(P2Q2=S

Обратная теорема Дезарга.

Построение:

1) QQ1(s=X

2) PX(C=P1

3) Q1Q2(s=Y

4) QQ2(s=Z

5) YP1

6) ZP(YP1=P2

7) P2Q2(c=S ()S - искомая точка.

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

Треугольники QQ1Q2 и PP1P2 - дезарговы.

QQ2(PP2=Z

QQ1(PP1=X (S (по построению).

Q1Q2(P1P2=Y

По обратной теореме Дезарга. PQ(P1Q1(P2Q2=S ( PQ(c=S искомая точка.

№15. На евклидовой плоскости даны две параллельные прямые a||b и точка С,

им не принадлежащая. Через () С провести прямую, параллельную а и b.

1) Анализ: Произвольно выбираем прямую s. ()А,А’(а, ()В(b.

Здесь работает обратная теорема Дезарга для случая ()S( - несобственная,

прямая s - собственная.

Треугольники АВС и А’В’С’ - построить.

2) Построение:

1)АВ(s=P

2) A’P(b=B’

3) AC(s=R

4) BC(s=Q

5) A’R, B’Q

6) A’R(B’Q=C’

7) CC’ - искомая прямая.

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

Треугольники АВС и А’В’С’- дезарговы

Формулировка обратной теоремы Дезарга.

Если прямые, содержащие соответственные стороны треугольников АВС и

А’В’С’ пересекаются в точках лежащих на одной прямой и АА’||BB’, то

СС’||AA’.

По этой теореме СС’- искомая прямая.

№18. Трапеция ABCD пересечена прямыми p и q, параллельными основанию АВ,

p(AD=M, p(AC=P, q(BD=N, q(BC=Q. Доказать, что точка MN(PQ лежит на прямой

АВ.

Требуется доказать, что MN(PQ(AB=K.

Решение:

Рассмотрим треугольники

МРА и NQB.

МР(NQ=S(, так как p||q. (p(q=S()

PA(BQ=C

AM(BN=D

DC||p||q ( DC(p(q=S( ( C,D,S(( одной прямой по теореме обратной теореме

Дезарга MN(PQ(AB=K.

Тем самым доказали, что точка МN(PQ(AB.

№17. В евклидовой плоскости даны параллелограмм АВСD, ()Р(CD и прямая l

пересекающая стороны АВ и АD. Провести прямую || l.

1) Анализ: Треугольник ANM построен. Построить треугольник СРК. Задача

решается с помощью прямой теоремы Дезарга.

2) Построение:

1) NP, AC

2) NP(AC=S

3) MS(BC=K

4) KP- искомая прямая.

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

треугольники ANM и CPK - дезарговы, так как AN(CP=R( (AN||CP), CK(AM=Q(

(CK||AM) то по теореме Дезарга KP(NM=F( ( KP||NM.

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

1. Р. Хартсхорн «Основы проективной геометрии».-М:Мир,1970.

2. Ефимов «Высшая геометрия»-:Наука,1971.

3. Франгулов С.А. «Лекции по проективной геометрии»-Л:ЛГПИ,1975.

4. Вахмянина О.А., Измайлова Т.С. «Пособие по проективной геометрии»-

Оренбург:ОГПИ,1994.

5. Коксетер С.М. «Новые встречи с геометрией»-М:Нуака,1978

6. Базылев «Геометрия»-М:Просвещение,1975

7. Потоцкий «Что изучает проективная геометрия »-М:

Просвещение,1982

8. Певзнер «Проективная геометрия»-М:Просвещение,1980

9. Измайлова Т.С. Лекционный курс по проективной геометрии.

-----------------------

В

С

А

D

s

R

Q

C

C?????????????????????????????’

b

B

B’

c

A

A’

D

C

Q

B

q

N

P

M

K

A

p

Страницы: 1, 2, 3