Предыдущая страница реферата | 1  2  3  4  5  6  7  8 | Следующая страница реферата

3.2. Аксиоматика проективной плоскости.
Определение: Проективной плоскостью S называют множество, элементами которого именуются точками, и набор его подмножеств, именуемых прямыми, если при этом выполняются следующие четыре аксиомы.
П1.Через две различные точки P и Q плоскости S можно провести единственную прямую.
П2. ( две прямые пересекаются по меньшей мере в одной точки.
П3. ( три неколлинеарные точки.
П4. Прямая содержит, по меньшей мере, три точки.

3.3. Модели проективной плоскости.
1)Рассмотренная ранее расширенная евклидовая плоскость есть модель проективной плоскости.
Доказательство: Проверим выполнение четырех аксиом П1-П4.
П1. Пусть P и Q ([pic]
1. Если Р и Q - собственные (), то через них можно провести только одну прямую.
2. Если Р - собственная точка (, а Q- несобственная точка, то по аксиоме
А2 ( прямая m, такая, что Р(m и m || l, так , что Q ( пополнению прямой m до прямой из (. Прямая m -единственная прямая (, проходящая через Р и Q.
3. Если Р и Q несобственные (), то через них проходит единственная несобственная прямая.
П2. Пусть заданы прямые l и m.
1.Если l и m - несобственные прямые и l || m, то они пересекаются в некоторой точке. Если l || m, то они пересекаются в несобственной точке Р(.
2.Если l - собственная прямая, а m - несобственная прямая, то они пересекаются в несобственной точке Р(.
П3. Непосредственно следует из А3. Необходимо только проверить, что если
Р и Q и R неколлинеарны в А, то они не будут коллинеарны в (.
Действительно, в ( ( только одна (несобсвтенная) прямая, не принадлежащая
А, но () Р,Q,R ей не принадлежат.
П4. Каждая прямая плоскости А содержит хотя бы две (). Но в ( каждая прямая содержит еще и несобственную точку, поэтому она содержит не менее трех точек.
2) Пополняя аффинную плоскость А из четырех (), мы получим проективную плоскость S1 из семи точек.
Докажем это: Проверим выполнение четырех аксиом П1-П4.

Определим () пересечения прямых АВ(CD=N(, BC(AD=M(, АC(BC=P( N(, P(, M( ( одной несобственной прямой.
П1. Через две различные () плоскости можно провести единственную прямую.
Если А,В - собственные (), то через них можно провести только одну прямую из А. () А,В ( несобственной прямой, поэтому и в S1 через них можно провести единственную прямую.
Рассмотрим А- собственная () и N(- несобственная (). Через эти точки проходит единственная прямая, так как () N( определена как пересечение прямых АВ и CD(N((АВ.
Пусть имеем не собственные точки, через них проходит несобственная прямая
S1 и она единственная.
П2. ( две прямые пересекаются по меньшей мере в одной точке.
Справедливость аксиомы П2 следует из определения S1.
П3. ( три неколлинеарные точки.
Непосредственно следует из построения аффинной плоскости А. А мы дополнили точками N(, P(, M( (несобственными, которые принадлежат одной несобственной прямой). И поэтому точки не коллинеарные в А будут неколлинеарные в S1.
П4. Каждая прямая плоскости А содержит хотя бы две точки. В S1 каждая прямая содержит несобственную точку. Следовательно прямая в S1 содержит не менее трех точек.
Все аксиомы проективной плоскости выполняются, следовательно, S1 - проективная плоскость.
3) Связка прямых евклидова трехмерного пространства - модель проективной плоскости, построенной на аксиомах П1-П4.
4) Действительная проективная плоскость (множество упорядоченных троек действительных чисел, одновременно не равных нулю), рассмотренная ранее, удовлетворяет аксиомам П1-П4.
3.4. Теорема Дезарга.
Одним из важных результатов проективной геометрии является теорема
Дезарга, которая утверждает следующее:
П5 (теорема Дезарга)
Если прямые проходящие через соответственные вершины двух трехвершинников пересекаются в одной (), то () пересечения соответственных сторон этих трехвершинников лежат на одной прямой.

P=AB(A’B’ AA’(BB’(CC’=0
Q=AC(A’C’
R=BC(B’C’
P,Q,R лежат на одной прямой.
В рамках теории, которую мы строим, не совсем правильно называть это утверждение «теоремой», потому что нельзя доказать, исходя только из аксиом
П1-П4. Примем это утверждение за аксиому П5. Хотя при первом и втором способе построения проективной плоскости это утверждение выступает как теорема.
Покажем, что П5 не есть следствие П1-П4, а именно, построим геометрию, удовлетворяющую аксиомам П1-П4, но не удовлетворяющую П5.
Определение: Конфигурацией называют множество элементов, именуемых точками, и набор его подмножеств, именуемых прямыми, если при этом выполняется аксиома.
К1. Две различные () принадлежат не более чем одной прямой.
Отсюда следует, что две различные прямые имеют не более одной общей точки
Примеры: Любая аффинная и ( проективная плоскость являются конфигурациями. Набор 10 точек и 10 прямых теоремы Дезарга - тоже конфигурация.
Пусть (0- некоторая конфигурация. Мы определим свободную проективную плоскость П, порожденную (0.
Пусть (1- новая конфигурация, определенная следующим образом. Точками (1 являются точки (0. Прямыми (1 являются все прямые (0; кроме того, каждая пара точек Р1, Р2( (0 не принадлежащая прямой из (0, задает новую прямую
( Р1, Р2( из (1. Тогда (1 обладает следующим свойством; а) ( две различные ()(1 принадлежат одной прямой. Построим (2, исходя из
(1, следующим образом. Точками (2 служат все точки (1; кроме того, каждая пара непересекающихся прямых l1,l2 задает новую точку l1(l2. Прямыми (2 служат прямые (1, пополненные новыми точками; например, () l1(l2 ( дополненным прямым l1 и l2. Тогда (2 обладает следующим свойством. б) ( две различные прямые имеют общую точку; продолжим это построение.
Для четных n мы построим (n+1 из (n, добавляя к прямым (n новые прямые; для нечетных n мы построим (n+1 из (n, добавляя к () (n новые точки.
Пусть теперь П= ((n
Элементы конфигураций (n мы назовем точками П; далее, прямой П мы назовем подмножество L(П, такое, что L((n есть прямая из (n для всех достаточно больших n.
Предложение 1: Если (0 содержит по меньшей мере четыре точки, никакие три из которых не принадлежат одной прямой, то П - проективная плоскость.
Доказательство: (n удовлетворяет б) для четных n и удовлетворяет а) для нечетных n ( на П выполняются оба свойства а) и б), то есть П удовлетворяет
П1 и П2. Если P,Q,R неколлинеарны на (0, значит, П3, тоже выполняется.
Покажем, что в П каждая прямая содержит хотя бы три точки.
Каждая прямая из П определяется двумя точками.
По П2: ( две прямые имеют общую ()
Пусть l: (P1,P2(, m: (P3,Р4(; по П2: l(m=P5(P5(l, P5(m
Получим, каждая прямая содержит хотя бы три точки.
Все аксиомы проективной плоскости выполняются ( П- проективная плоскость.
Определение: Ограниченной конфигурацией называется конфигурация, у которой каждая () принадлежит не менее чем трем прямым, а каждая прямая содержит не менее трех различных точек.
Пример: Конфигурация теоремы Дезарга ограничена.
Предложение 2: ( конечная ограниченная конфигурация из П содержится в (0.
Доказательство: Уровнем () Р(П мы назовем наименьшее n(0,такое, что Р((n.
Уровнем прямой L(П мы назовем наименьшее n(0, такое, что L((n - прямая.
Пусть ( - ограниченная конечная конфигурация из П, и пусть n- максимальный из уровней всех точек и всех прямых из (.
Предположим, что n - уровень какой-то прямой L(( (Если максимальный уровень достигается для точки, то доказательство аналогично).
Тогда l((n - прямая, а l((n-1 не является прямой. Если n=0, то все доказано, (((0. Предположим, что n>0. Тогда l возникла как прямая, соединяющая две () из (n-1, не принадлежащие в (n-1 одной прямой. Но в ( уровень всех точек ( n, а значит, они принадлежат (n, то есть l содержит не более двух таких точек. Полученное противоречие и доказывает наше предложение.
Пример: Недезаргова проективная плоскость.
Пусть (0 состоит из четырех точек и не содержит ни одной прямой, П- свободная проективная плоскость порожденная (0.
В качестве следствия из предыдущего предложения получаем, что П бесконечно; следовательно,( прямая содержит бесконечно много точек. Значит можно выбрать четыре () О,А,В,С, ( три из которых неколлинеарны, и затем
А’на ОА, 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

Рекомендуем скачать другие рефераты по теме: курсовые работы бесплатно, мир докладов.





Предыдущая страница реферата | 1  2  3  4  5  6  7  8 | Следующая страница реферата