Академический Документы
Профессиональный Документы
Культура Документы
Выпус({5
В. А. ИЛЬИН, Э. Г. ПОЗНЯК
АНАЛИТИЧЕСКАЯ
ГЕОМЕТРИЯ
ИЗДАНИЕ ЧЕТВЕРТОЕ, ДОПОЛНЕННОЕ
СССР
Допущено Министерством
высшего и среднего специ<Zльного образования
в качестве учебника для студентов университетов,
«Прикладная
обу<iающихся по специальностям
математика» и «Физика•
МОСКВА «НАУКА»
ГЛАВНАЯ РЕДАКЦИЯ
ФИЗИКО-МАТЕМАТИЧЕСКОЙ ЛИТЕРАТУРЫ
1988
ББК 22.151.5
и 46
�'дК5 14.122
Под редакцией
А. Н. ТИХОНОВА, В. А. ИЛЬИНА,
А. Г. СВЕШНИКОВА
в 1968 г. Второе издание (1971 г.) и третье (1981 г.) были стер еот и пны .
государственном университете им . М. В. Ломоносова. Первое издание вышло
и
74-88
1702040000-019 © Издательство «Наука•,
фиэико-иатематической литер�туµы,
Главная редакция
1988
053(02)-88
ISBN 5- 02-013762- 6
ОГЛАВЛЕНИЕ
Uт р е да ктор ов серии 7
Предисло1ше 8
Введение 10
12
Гл а в а !. Системы координат. Простейшие зада•ш аналитической гео-
меtрии .
12
•,
15
1. Декартовы коо рдин а ты на плос к ости (15). 2. Д ек а рто в ы координаты в про·
§ 2. Декартовы координаты на плоскости и в пространстве
(16).
задачи аналитической rеометрин 16
сгранстве
§ 3. Простейшие
отрезка на ось (16). 2. Р а ссто я н ие · ыежду двумя точками (17). 3. Д еление от·
1. Пон яти е направленного отрезка в простраисrве. Проекция н а п р а в л ен н ого
ределителем, отли чны м от нуля (33). 7. О дн о род ная система двух л и не й ных
м иноры (30). 6. Система трех линейных уравнений с тремя неизвестными с оп·
Г л а в а 2. Ве кторная алrебра , , . 41
§ 1, Понятие вектора н 41
1. П о няти е вектора (41). ЛинеАиые 091<J>ации над векто ра ми (42),
линейные о пераци и над векторами
тие линей�!t завис 11мости векторов (47). \.!:)Линейные ком№ и ац н и двух векто·
ф Поня· ф
Лине йн ы е комбинации трех векто ров (49). Лн не llиая зависи·
мость четырех векторов (51). (f) П онят ие базиса. Аффинные коор дина ты (53).
ров (48). @ (§)
@ П роекции вектора на ось lr'ее с в о йства (55). 9. Дек ар това прямоугольная
с ист ема координат как частный случай аффинной системы координат (56).
. 59
0 0Irределение (59),
§ 2. Скалярное произведение двух векторов • • • • . • • • •
б. 6. В ы ражен ие век-
трех векторов (66).
Алгебраические своl!ства векторного произведения (68).
4 or JlABJJ EI 11\Е
83
линейных преобразований плоскости (83). 2. Аффинные прсобра
§ 3. Линейные преобразования
1. Понятие
зова1111я плоскости (84). 3. Основное свойство афф11нных преобразованиi\ пло·
ван н я (90).
§ 4. Проективные преобразования 92
Гл а в а 4. Уравнени е л и ни и на плоскосп1. Уравнени я поверхиости и л и-
94
§ !.
нии в пространстве
94
2. Параметрическое иредставление ли
Уравнение линии на плоскости
1. Понятие об уравнении люши (94).
§ 2. 122
проходящей через данную точку М, (х,, у,) и соста
Некоторые задачи на прямую линию на плоскости .
.
ресечения двух данных прямых и удовлетворяющей еще одному условию (125).
пространстве .
скости (130), 6. Пучки и связки плоскостей (133).
§ 4.
( 134). 2. ;,'раьнения прямой,
Прямая линия в 134
1. Канонические уравнения прямой в пространстве
•
и 7.
x-x,_y-11,_z-z,
(\37).
Ax+By+Cz+D=O (138). 8.
лярности прямоА плоскост11 Условия принадлсжнрсти прямоn
--z---п-,----n-
к плоскости Связка
13�
прямых (138).
М1 (х1, у1, z1) и перпендикулярной данной плоскости Ах+ Ву+ Cz + D-O (140\.
плоскостями (140). 5. Уравнения прямой, проходящей через данную точку
6. Уравнение плоскости, проходящей через данную точку Мо(Хо, у,, z0) и параЛ·
А,х + В,у + C1z + D1-0 (140). 7. Уравнение
Мо (х0, у0, z0) и перпен·
лельной задан11ой плоскости
х-х, у-у, z z,
- (140). 8. Уравнение
плоскости, проходящей через эадан11ую точку
--1-=---;п- =--n-
х -х у-у, z-z,
дикулярно l\ зад анной прямой
= =
,
х- х, у-у, z-z,
нение плоскости, проходящеl\ через данную прямую """-'L=---=---
' ni
- 2 x-x2
-= !!......J!.. =---' (141). 10. Ура в·
�-z 'lJ!J)
-1-
и
' т, п..
параллельной другой данной прямо!t
149
§ 2. Исследование формы эллипса, гиперболы. и параболы по их ка-
1. Исследование формы эллипса (149). 2. Исследование формы гиперболы (150).
ноническим .уравнениям
3. Исследование формы параболы (154).
. 155
2. Директрисы эллипса
§ 3. Директрисы эллипса, гиперболы и параболы
1. Эксцентриситет эллипса и гиперболы (155). гипер· 11
болы (156). 3. Определение эллипса и гиперболы, основанное на их свойстве
болы (164) .
.§ 4. Касательн ые к . . 166
1. Уравнения касательных к эллипсу, гиперболе и параболе (166). 2. Опти·
эллипсу, гиперболе
и параболе
ческие свойства эллипса, гиперболы и параболы (167).
линии второго порядк а . Понятие типа линии второго порядка (172). 3. Центр
линии второго порядка (174). 4. Стандартное упрощение любого уравнения ли·
нии второго порядка путем поворота осей (176). 5. Упрощение уравнения цен·
тральной линии второго порядка (/2 =F О).
линий (176). 6. Упрощение уравнения линии параболического тнпа (/2=0). !(ла с·
!(лассификация центральных
И Т.д).
П р едс та вляет интерес и приложение, содерж а щ ее аксиома
тику Гильберта, о б основ а ни е метода координат ·н дающее пред
ставление о неевклидово.й теометрии.
*)
:�e'l'IJ'a' веществе�шых ttисел 2 Приложен·ш1
Свойства вещественных чисел и аксиоматический метод введ('НИЯ мнo
изm1.rаюvся в главе и в к вы
пуску 1 FJ.ac:roящero курса,
ГЛАВА
СИСТЕМЫ КООРДИНАТ. ПРОСТЕЙШИЕ ЗАДАЧИ
АНАЛИТИЧЕСКОЙ ГЕОМЕТРИИ
л
.fЕ )> q
ll
•
е
� � � ��
�:�юiва; �:��м т 1�1,С ако ц,
один возможный случай, когда отрез-
c�r::;
на п рав л е ны в противопо-
ки АВ и CD
стороны (рис. 1.3). В этом
Рис. 1.3
ложные
СJ1учае величины о тр е з к о в АВ и CD имеют р а з ные знаки, и по
этому дJiина отрезка AD р ав н а 1 АВ + CD 1 Так как направле
ние отр е з к а AD совпадает с направлением наибольшего по
·
у
Il I
.t'<O, У>О :С>О, !!>fl
о :с
l!l zv
3:<0, У<О .r>O, у<О
( 1 . 9)
Рис. 1 . 1 0 н а з ы в а етс я
отношением, в ко·
тор ом то чка М дели т н а пра в
л етt ый о т р ез о к М 1М 2• Т а ки м о б р а з ом , лю б а я , о тли ч н а я от М 2
н а п р авленных о т р е з ко в .
2
§ 3] ПРОСТЕ Й Ш И Е ЗАДАЧИ АНАЛИТИЧЕСКОП ГЕ ОМЕТРИ И 19
( 1 . 1 0)
ь/ = у , + 'А!/ 2
1 + л. •
(1 . 1 1)
с а м и т1 , •
• •
ра же н ие
т , х 1 + . . . + тп - 1 Хп - 1 +
(т 1 тп Хп
+ +
.
++
. . тп - 1 )
Пl i . . . 111 " _ 1
•
Х= (m1 + . . . + тп - 1 ) + lll n
( 1 . 1 3)
ttтo данная точка М ( х, у) будет центром тяжести систел1 ы точек М1, М2, Мз
с J.t accaJ.ш т 1 , т 2 , т з с оответ ственно. Н иж е м ы убеди мся, ч т о при с ф орм у
л иr ован н ых требо в ан и ях ч исл а т 1 , т z , тз о п ределяю т ся одн оз на ц но для
каждой точки М . О н и н аз ы ваются барицентрическими координаталш точки М
отн ос ител ь н о базисн ы х т оч ек М 1 , М 2 и М 3•
§ 4] П О Л 51 Р Н Ы Е , ЦИ Л И Н Д Р ИЧ Е С К И Е , С Ф Е Р И Ч ЕСКИЕ КОО РДИНЛТЫ 21
m2 , тз :
Уз
Этот о п р еделитель отличен от нуля, и н аче
Xz - X 1
м ы получили бы пропорцию
У2 - У 1
и, обоз н ачив ка ж дое
Х3 - Х 1
из указанных отн'о шений через
-Л. (Л. =1= - 1 , и бо точки М2 и Ма р а зличны) , пришли б ы с точностью до
Уз - У 1
о бозн ачений к пер в ы м двум р авенст в а м ( 1 . 1 1 ) . Эт о о з н а ч а л о бы, ч т о точка М,
делит отрезок M2kla в отношении Л., т . е. означало бы, что т очк и М 1 , М2 и Мз
ОДНОЙ ПЛОСКОСТИ.
логично. Для этого и спользуются четы р е базисные точк и, не р а сполагающи еся
В
ДОПОЛ Н Е Н И Е К ГЛ А В Е 1
О ПР ЕД ЕЛ И Т ЕЛ И ВТО РО ГО И Т Р ЕТ Ь Е Г О ПО РЯДКО В
( ;2 � )
точ к и , л и бо к р угл ы е с1<об ю 1 . Н а п р и м е р ,
1 ;2 � 1�, 1 1
-9 7 6
или
-9 7
1 3. 1
6
о •
(Д l . 1 )
О п р е д е л и т е л е м в т о р о г о п о р я д к а , соответствую
щ им лштрице ( Д l . 1 ) , называется ч исло, равное а1Ь2 - а2Ь 1 и
обоз н а ч а е мое с и мволом
Ит а к , п о о п р еделе н и ю
\ �: �� \ = а 1 Ь2 - а2Ь 1 . ( Д l .2 )
Элементы, сост а в л яющие м ат р ицу д а н н ого о п р едел ител я , обыч
но н а з ы в а ются элемента м и этого о п р еделитеJi я .
ДОПОЛНЕН И Е К ГЛ АВЕ I 25
1
Л = а1 Ь1
Ь
а2 2
1 · 1
Лх = h 21 Ь 21
h Ь
1 · 1
ЛУ = аа21 hh 21 1· (Д l . 6)
а1 х + Ь 1 у = h1 (Д"l :�}')
и меет бесчисленно много решений ( хотя бы один из коэффи
ц и е нт о в а 1 и л и ·ь 1 отл и ч ен от нуля, и стоящее пµи -не-м н еиз в ест
ное м ожет "б ыть оп,редел е но из :уравнения �( Д'1 ;9} через цроиз
вольно заданное значение другого неизвестного) .
ТI риходим к следующему выводу: ·если определитель Л · си
стемы .(Д l .3) равен. нулю, то система (Д l .3) либо вовс.е не
имеет решений (в случае, если х отя ·б ы один. из определителей
=
ДОПОЛНЕНИ Е . Щ rлAD-E·· ! 27
·л_"' и:ли: f':jY, о:гд.u чен от Нi!Jдя}" либо u,;иеет· бесч.t1дден1-t0е> мН:(!JО/С.е•
ство ре�ие1шй ( в случае, когда л,,., = Л.у =' О} . В после-д н.€ м ел:у:
ч а е д ва уравнен и я (Д 1·. З ) можно з а менить одн и м и п р и р еше
н и и его одно неизвестное з·адав ать произвольно .
3 а м е ч а н и е . В случ а е, когда свободные члены /1 1 и h2
р а в н ы н улю, л и н е й н а я систе м а (Д l . 3 ) н а з ы в а е тся однородной.
Отмети м , что однородная си:етема sсегда и меет так н а з ы в а емое
тр ивиальное решение: х = О, у = О (эти дв а числ а обр а ща ют о б а
одн о р одных у р а в н е н ия в тождеств а ) .
Если определитель. Л системы отличен от нуля, то одно р од
н а я систе м а и меет только т р и в и а льное решение. Если же Л = О ,
то. однородная система и меет бесчисленное м ножество р ешений:
( п о с кольку для оююр одной систем ы воз м о ж н ость отсутствия
р ешений и.скл.юче на ) Таки м о бр а з ом., однородная с uстелю. име-ет
"
1 .a'J
а2 Ь 21 11
с21 · 1 •
С
(Д l . 1 0)
J аз Ьз Сз /
О п р е д е л и т е л е л-� т р е т ь е г о п о р я д к а , соответствую
щ им .ма трице (Д 1 . 1 0) , называе тся число, равное
И т а к , п о о п р еделе н и ю
Л = 1 ::
аз
�: �:
Ьз Сз
1 = а1Ь2сз + Ь 1 с2аз + с1а2Ьз - с1Ь2а3 - Ь1 а2с3 - а 1с2Ь3 •
(Д l . 1 2)
Ка к и в случ а е определ ителя второго по р я д ка , эле менты
матрицы (Д l . 1 0.) б уде м назыв ать элемента м и с а м ого о п редел и
тел я . Кроме того; догово:р и мся н а з ы в ать д и а го н а л ь , о б р а зова н ·
ную элеиента м и а 1 , Ь 2 и с з , главной, а диагональ, о б р а з о n а н ную
эле ме нт а ми_ 6l<:t, Ь2 и 6'1" -·побоч,н ой�
Для 3'ЗПGМРНМ НИ Я кoнc:npi)IKЦFIИ СШ:Ша�'МЫ:Х, В.ХОДЯЩ И Х В · вы•
р а ен и е для оnр еделиrгеля {ДJ. 1 1)" ука№е-м. Д!В а: правила.
3-амети�м , чrго первы-е: т�л:: с л;ар аем1Ьгх,. ет0я-щ11 х в (iД l'. 1 1-)' ео
ж
1
.v.··· \::
// ·, ... '
i
\' az. .. b;:'>,j,... ,,.Cz
. • • • ••
/"·
1 ,,.,,. ...... "�
.. ./ / :/ '"· '
"
fl;;
,...
i13 С;;
" .;:'
п, h1 С1 !11 Рт
a�b;xxa //.h
,/_/ ·х 'Х '"" '
а; bj cj '[!з Ь3
(Дl . 1 3)
з Ь з Сз з Ь з сз
'А
а а
•
1� �1·+
(Д l . 1 7)
а1
ство
Ь h
за hз 1
1
hz1
1 а2 ь�
Ьз
+ = hiC 1
h1 , h2 и h3 сначала
,элеменtы а 1 , а 2 и а 3 первого столбца , а затем элементы Ь 1 , Ь 2
й Ьа в'i'орёго столбца и учитывая, что определитель с . двумя
сов nадающими столбцами в силу свойстnа 3 равен нулю, мы
придем к следующим равенств а м :
а1С1 + azC2 + а зСз = О, Ь 1 С1 + Ь2С2 + ЬзСз =-= О,
Тем самым доказано, что сум ма произведений элементов пе р ··
rюro или второго столбца на соответствующие алгебраичесюtс
дополнения элементов третьего столбца равна нулю.
Аналогично доказыва ются р авенства
а 1В1 + а2В2 + азВз = о, С1В1 + С2В2 + С383 = о�
Ь 1 А 1 + Ь2А2 + ЬзАз = О, с1А1 + с2А2 + сзАз = О
и соответствующие равенств а, относящиеся не к столбцам, а к
строка м :
а 1 Аз + Ь 1 Вз + с1Сз = О, а2Аз + Ь2Вз + С2Сз = О,
а 1 А2 + Ь 1 В2 + с1С2 = О, азА2 + ЬзВ2 + сзС2 = б,
а2А 1 + Ь2В1 + с2С1 = О, азА 1 + ЬзВ1 + сзС1 = 6.
6. Систем а трех ли нейных уравнений с тремя неизвестными
с определителем, отл ичным от нуля . В качестве приложени я
изложенной выше теории рассмотрим систему трех лин�йных
уравнений с тремя неизвестными
а1х +
Ь 1у + c1 z = h1 ,
azx + b2u + c2z = h2, (Д l . 1 9)
азх + Ьз У + сзz hз
1� коэффициенты а 1 , а 2, а з, Ь 1 , Ь2, Ь з, с 1 , с2, с3 и свободные члены
=
:(д l . 19 ) в тождества .
Фунда ментальную роль в дальнейшем будут играть следую·
1
щие четыре определителя :
а1 Ь1
1
С1
1
h1 Ь1 С1
Л=
1 аз1
а2 Ь2
Ь з Сз
Cz ' Лх = h2
hз
Ь2
ЬЬз
Cz
Сз 1 1
Лу = а
1 аз
az
h1
h2
liз Сз
Ct
1
Cz '
Л:t.
= а1
1 аз
az Ь2
1
Ьз
h
1
h2
hз 1
,•
(Дl .28)
Аз = 1 �: �: \ . Сз = 1 :: �J (Д l .29)
Основываясь н а ( Д l .29)' , мы можем переписать фор мулы
(Д l 28) в в иде
.
Аз
x --z
- Сз '
(Дl .30)
Для того чтобы получить решение в в иде, симметричном отно
сительно всех неизвестных х, у и z, положим t = z/C3 ( отме
т и м , что в силу (Д l .2 7 ) определитель С3 отл ичен от нуля ) . По
·
сколь ку z может п р и н и мать любые значени я , то и нов а я пере
менная t может принимать любые значения.
Мы пр иход и м к выводу, что в случае, когда определитель
(Д l .27) отличен от нуля, однородная система (Д l .25} имеет
бесчисленное множество решений, определяемых формулами
x = A3t, y = B3t, z = C3t, (Д l . 3 1 )
в которых t принимает какие угодно значения, а алгебраиче
ские дополнения А 3, В3 и С3 определяются формулами (Д 1 .29) .
8. Однородная систем а трех л инейных уравнени й с трем я
неизвестными. Р ассмотр и м теперь однородную систему трех
л инейных уравнений с тремя неизвестн ы м и
а 1х + Ь 1 у + c 1 z = O,
а 2 х + Ь 2У + c2 z = О, (Д l .32)
а3х + Ь3у + сзz = О .
Очевидно, что эта систе м а всегда и меет так н а з ы в ае мое три
виальное решение : х = О , у = О, z = О.
В случае, когда определитель систем ы Л =F О, это тривиаль
ное решение является единствен н ы м ( в силу п . 6) .
Дока жем , что в случае, когда определитель · Л равен нулю,
однородная система (Д l .32): имеет бесчисленное множество ре
шений.
Если все о пределители второго порядк а , которые можно со
ставить из матрицы
(Д l .33 )
1 1 11
Л = 2 21 2
3 3 3
В Е КТО Р Н АЯ АЛ Г Е Б РА
В этой гл аве изучаются векторные величины (или просто
векторы ) 1 т. е . такие величины, которые, кроме своего числен-
1юго значения, характеризуются еще направленностью. Физиче
скими примерами векторных величин могут служить смещение
м атериальной точки, двигающейся в пространстве, скорость и
ускорение этой точки, а также действующая на нее сила.
В главе изучаются простейшие операции над векторами
(сложение векторов, умножение векторов на число) , вводится
понятие линейной зависимости векторов и рассм атриваются
основные приложения этого понятия, изучаются различные
типы произведений векторов, актуальные для физических при·
ложений (скалярное и векторное произведение двух векторов,
смешанное и двойное векторное произведение трех векторов} .
ный отр�зок.
Мы будем обозначать вектор либо как на,
п р авленный отрезок символом АВ, где точки Рис. 2. 1
А и В обозначают соответственно начало и
конец данного н апр авленного отрезка (вектор а) , либо одной
Жирной л атинской буквой, например а или Ь. На чертеже будем
изобр ажать вектор стрелкой, причем л атинскую букву, обозна�
чающую этот вектор, будем писать у его конца (рис. 2. 1 ) .
Н ачало вектора называют точкой его приложения. Если
точка А является началом вектора а , то мы будем говорить,
что вектор а приложен в точке А . Для обозначения длины век·
тора будем пользоваться символом модуля (или а бсолютной ве·
42 В Е КТ О Р Н А Я АЛ Г Е Б Р А [ГЛ . 2
"' * ) Для получ ения А' достаточно поменять ролями начало и конец в ек<
* ) См. выпуск 1 , гла в у 2.
тора А.
· ··
44 В ЕКТОРНАЯ АЛ ГЕ БРА [ГЛ . 2
т. е. свойство 2° доказано.
3 а м е ч а н и е 1 . ПрИ доказательстве свойства 1° обосновано
еще одно правило сложения векторов, называемое правил ом
r, в параллел ограмма : если вектор ы а и Ь
А прил о жены к о б щ ему началу и на них
а постр оен параллелограмм, то с умма
а + Ь ( и л и Ь + а) этих век торов пре д
ставляет собо й д иагональ у ка занного п а
раллелограмма, и дущую из о бщего на:
о чала век тор ов а и Ь * ) .
Рис. 2.5 Доказ анные свойства 1 °-4° позво-
ляют оперировать с суммой векторов
так же, как с сум мой вещественных чисел. В частности, при
сложении трех векторов а, Ь и с нет необходимости указыв ать,
как мы псщимаем сумму а + Ь + с (как а + (Ь + с) или как
( а + Ь ) + с) . Свойств а 1 °-4° позволяют нам ра спростр анить
п р авило сложения на сумму любого конечного числа век
торов. При этом нет необходимости производить сложение по
следовательно, фиксируя каждый промежуточный р езультат;
сумм а любого числ а векторов может быть по
стро е на с пом ощью следующего п р а в и л а :
е сл и приложить вектор а2 к ко н цу вектора а1_,
в ек то р а3 к ко нц у вектора а 2 , , вектор а п
• • •
· с + Ь = (а + Ь') + Ь = а + (Ь' + Ь) = а + О = а,
т. е . вектор с представляет собой разность а - Ь.
Убедимся теперь в однозначности разности а - Ь. Предпо·
ложим, что, кроме вектор а с = а + Ь', существует еще один век
тор d такой, что d + Ь = а . Тогда, с одной стороны, ( d + Ь ) +;
ь:
�+ = а + Ь' = с, с другой стороны, ( d + Ь). + Ь' = d + ( Ь +
+ Ь ) = d + О = d, т. е. с = d.
Непосредственно из определения 2 и из правила треуголь·
ника сложения векторов вытекает следующее п р а в и л о п о •
с т р о е н и я р а з н о с т и а - Ь : р азнос т ь
а - Ь привед енных к о б щему н ачалу век т оров
а и Ь пред ставля ет со бо й в ек тор, и дущи й из
ко нца в ычи та ем ог о в ектора Ь в конец умень �
шаем ог о в е ктора а.
Это правило иллюстрируется на рис. 2.7. о
� .
Ь
Д о к а з а т е л ь с т в о. 1 ) Н е о б х о д и м о с т ь. Пусть два
вектора а и линейно зависимы. Докажем коллинеа рность этих
вектор19в.
По опр еделению линейной зависимости найдутся такие ве
ществен"i1 ые числа а и � . хотя бы одно из которых отлично от
нуля, что справедливо равенство
аа + Ь
� = о. (2 .6)
Пусть для определенности отлично от нуля ч исло � · Тогда из
р авенства (2.6), ( посредством деления этого равенства на �
и переброски одного члена в правую часть). получим следую
щее р авенство :
Ь = - � а.
Вводя обозначение Л = - а / � , получим, что Ь=
Ла. Таким об
р азом, вектор Ь равен произведению вектора а на вещественное
число Л. По определению произведения вектора на число век
тор ы а и Ь коллинеарны. Необходи мость доказана.
2 ) Д о с т а т о ч н о с т ь. Пусть векторы и а Ь
коллинеа рны.
Докажем , что эти векторы линейно зависимы. Если хотя бы
один из векторов а и Ь нулевой, то эти векторы линейно зави
симы в силу теоремы 2.2 .
Ь
Таким образом, нужно р ассмотреть лишь случай, когда век
Ь
торы а и ненулевые. Но если вектор а ненулевой, то из кол
линеа рности векторов а и в силу теоремы 2. 1 вытекает суще
ствование такого вещественного числа Л, что Ь = Ла, или, что
то же са мое,
ла + (-l)Ь = О . �2 . 7)
Так как из двух чи сел Л, - 1 одно заведомо отлично от нуля,
то равенство (2.7) доказывает линейную зависи мость векто
ров а и Ь. Достаточность доказа н а .
;---- Следствие
&ейно независимы.
1. Если ве к т оры а и Ь н е коллинеарны, то они
v v
с = - �а - 1- ь .
*
'
жет быть двух коллинеарных векторов и не может быть ни
одного нулевого вектора * ) .
нейная зависимость четырех векторов.
Q ема 2.6. Любые четыре вектора линейно зависим ��,
\
· ,
ti
о к а з а т е л ь с т в о. П р ежде всего исключим случаи, ко·
rда какая-нибудь тройка из указанных четырех векторов ком-
d = Ла + µЬ + v c . ' (2 . 1 7)
равенство ( 2. 1 7) .
Аналогично определяется базис на некоторой плоскости л.
Оnределение 2. Г оворят, ч то д ва лежащ их в плос к ости л:
линей но независимых в е кт ора а и Ь о бразуют на э то й плос кости
б а з и с, если любо й л ежащ ий в плос к ос ти л: ве ктор с может
быть пре д с тав лен в вид е неко торо й линейной комбинац ии в е к ·
торо в а и Ь , т. е. если для любого лежащего в плоскости л
вектора с найдутся такие вещественные числа 'Л и µ, что спра·
ведливо равенство (2. 1 3 ) .
Справедливы следующие ф у н д а м е н т а л ь н ы е у т в е р •
ж д е н и я:
1) л ю бая тро йка нeкo_MJJ !!Jl!:!:QP.J:.ll?�. 1!.��J'Of2.9J� а , 1;»_ и . с ofjp_q,�JJf! T
базис в простран.а:JЗJ?. ;
2 ) л юбая, .J1Ш2.а л eж a.шшL!L.д.fl.1!J!.9Й_fl:.,!tOcк o c т цy.?�!1:.и fi.f!Ef!·
н ь!:?'_ век т оров_ �--�-о9рg з�х.. .б.аз ис -иа. эт.оа··-пдi[сiс оfт_ц. _
1 аое коорд
все его и
Н!!д1t у!!!:fj.QE!CйlfJ Т.СQ.ji й.....Э.]'О,Щf.4!!_. .
Д-о к а э а т е л ь с т в о. Пусть d1 = Л1 а + µ1 Ь + v 1 c , d 2 =
-
/,za ·..µ
+ JL2b + v2c. Тогда в силу свойств 1°-7° линейных операций
(см. п . 2 )
в п. 9 настоящего параграфа.
В заключение за метим , что свойства базиса и понятие аф·
финных координат н а плоскости вполне ан алогичны случ аю
простр а нства .
н а ось и е е свойст ва. Пр ежде всего оп·
8 . Проекция вектора
р ед ел и м проекцию вектора а = А В на произвольную ось и.
Обозначим букв ами А ' и В' основания пер -
·
11ри сложении
вольную ось и складываются. При умножении вектора d 1 на лю
бое ч исло а проекция этого вектора на произвольную ось и
также умножается на число а. г-- -"-· --- "."._._ · - · -- ·
* ) Здесь под А 'В ' следует понимать величину направленного отрезка А ' В'
оси и, а под АС - величину напр авленного отрезка АС оси v,
§ 1] ЛИН Ей Н ЫЕ ОП ЕРАЦИИ НАД В-Е!<ТОРАМИ 57
. .·
-
i
L_ . d = ХТ + Yj + Z k� '._ (2 .24)
. .
• •
:
--- ----- -- - -----
··--- - --· �• · ·-
z
(2 .28)
cos у = --;:===:==::;;=
,У х2 + у2 + z2
Возводя в квадрат и складывая равенства (2.28)', получим, что
cos2 а + cos2. р + cos2 у = 1 ,
т. е . сумма квадратов направляющих коси нусов любого вектора
равна единице .
. Так как вектор d однозначно определяется заданием трех
его координат, то из фор мул (2.26), ясно, что ве к тор d одно
значно определяется заданием его длины и трех направляющих
косинусов,
§ 2] С К А Л Я РНОЕ П РОИ ЗВЕДЕНИЕ ДВУХ В Е К ТОРОВ 59
и
можно утверждать, что
Х, = ПРи d , , Х'2 = П Р d2, Х , + Х2 = ПР и (d1 + d2),
а Х1 = ПР и (ad1).
Таким образом , пр и (d 1 + d 2 ) = пр и d 1 + ПР и d2, ПР и (ad,) = а ПР и d 1,
и сформулированно е утверждение доказано.
_
.
§ 2. Скаляри ое произведени е двух в е кторов
1. Оп � деление скалярного произведения. "-- - - -
.---Oпpeдe/ieiiiie -г:- ·с-к а Л !i р ii ы м n р ·о ti'з tГе а 1ЛГ tГ е· м двух
векторов называется число, равное произведению длин этих век-
торов на косинус угла между ними. ,
"
! ab = l a l п pa b. ) (2. 3 1)
60 В Е КТОРНАЯ АЛ ГЕБРА [ГЛ . 2
Д о к а з а т ел ь с т в о. 1 ) Н е о б х о д и м о с т ь. Пусть век
торы а и Ь ортогональны, q) - угол между ними. Тогда cos <р = О
и в силу формул ы ( 2 . 29)_ скалярное произведение аЬ равно
нулю.
2 ) Д о с т а т о ч н о с т ь. П усть скалярное произведение аЬ
равно нулю. Докажем, что вектор ы а и Ь ортогональны. Прежде
всего исключим тривиальный случай, когда хотя бы один из
векторов а или Ь является нулевы м ( нулевой вектор имеет не
определенное н апр авление, и его можно - считать
ор тогональным любому в ектору) . Если же об а
вектор а а и Ь ненулевые, то 1 а 1 > О и 1 Ь 1 > О,
и поэтому из р авенства аЬ = О и из фор мулы
(2.29) вытекает, что cos <р = О, т. е. вектор ы а
И Ь ор тогональны.
Теор ема доказана.
П режде чем сформулиров ать следующее ут
Ри с. 2. 1 4 вер ждение, уточним понятие угл а <р между век-
тор ами а и Ь. Пр иведем пр оизвольные векто
ры а и Ь к общему н ач алу О (р ис. 2 . 1 4 ) . Тогда в качестве
угла <р м ежду вектор а м и а и Ь можно взять любой из двух
указанных н а р ис. 2 . 1 4 углов <р 1 и <р2. В самом деле,
сумма углов <р 1 и <р2 равна 2л:, и поэтому cos <р 1 = cos <р2, а в
определение скалярного произведения входит только косинус
угла между векторами. Из двух углов <р1 и <р 2 один заведомо
§ 2] С КАЛ Я Р Н ОЕ П Р ОИЗВЕДЕН И Е ДВУХ ВЕКТОРОВ 61
(C.lieacтi
\
iue 2. УгоЛ 1р мёЖду веkтор.ами
J а = {Х1 , У1 , Z1} и Ь = {Х2, У2, Z2}
р
оn еделяется по формуле
/
/
"-.,_
cos <р = . / 2 2 2 . / 2 2 2
(2 . 35)
"'--.. 'У Х 1 + У1 + Z1 · 'У Х2 + У2 + Z2
· ···� ·- ·-·· · -· � .._ -- ...,,-· .
аЬ
--� ---- --- �· -- ···--- . ,_ ,. •
третьим. _,....---· · �
-· - · -··- · ··
k
,
р а ссм а :; р ив а е мые две тройки пр отивопо
ложнои ориента ции.
Всего из тр ех векторов а, Ь и с мож·
а но составить следующи е шесть троек:
ь
_
Г
- - · �··· ·--
·
�v
��
,(рис. 2 . 1 7) '.
Колл инеарность векторов, стоящих
в левой и пр авой ч астях ( 2.40) , выте-
rt° п - кает из того, что оба эти вектора орто.
гональны к плоскости n (вектор [ac ] i
-
Рис. 2. 1 7
в силу определения векторного произ·
ведени я, а вектор пр еа 1 с 1 g в силу того, что вектор g по усло
·
з•
68 В Е КТОРНАЯ АЛ ГЕБРА [ГЛ . 2
{
(см. конец предыдущего пункта ) , то
+ h, если аЬс - п р а в а я тройк а,
П Ре С= -h
, если аЬс - левая тройка .
Для завершения доказательства теоремы достаточно вставить
это значение пре с в правую часть (2.4 1 ) .
В случае, когда векторы а, Ь и с компланарны, вектор с ле
жит в плоскости , определяемой векторами а и Ь, откуда сле
дует, что пр е с = О, и по фор муле (2.4 1 } [аЬ ] с = О. Теорем а
полностью доказана.
Следствие 1. Справедливо равенство [аЬ ] с = а [Ьс] .
В самом деле, из переместительного свойства скалярного
произведения в ытекает, что а [Ьс] = [Ьс] а, и достаточно дока
зать, что [аЬ ] с = [Ьс] а. С точностью до знака, последнее ра
венство очевидно, ибо как правая, так и левая его части с точ
ностыо до знака равны объему параллелепипеда , построенного
на векторах а, Ь и с. Но и знаки правой и левой частей послед
него равенства совпадают, ибо обе тройки аЬс и Ьса относятся
к группе троек ( 2.36). и и меют одинаковую ориента цию
(см. п. 1 ) .
Дока� анное р а_венство Г[аЬ] с = а [Ьс] позволяет записыв а ть
· --
06;_
= sin q> и в силу фор мул
( 2 .42) l c l = l d l , т. е. векто
и аа: аа
ры с и d имеют одинаковущ а а
длину. (�> fl)
Далее, очевидно, что век (� <О)
торы с и d коллинеарны, Рис. 2. 1 9 Рис. 2.20
и бо ортогональность к пло·
скости, определяемой вектор ами аа и Ь , означает о ртогональ•
ность и к плоскости, опр еделяемой вектор ами а и Ь .
Для доказательства равенства векторов с и d остается про·
верить, что эти векторы имеют одинаковое направление. Пусть
а > О (а < О) ; тогда векторы а и аа одинаково направлены.
( противоположно направлены) , и, стало быть, векторы [аЬ]
'* ) Одн а и з этих троек входит в группу .(2.36) , а другая - в группу
J 2.37) .
70 В Е КТОРН АЯ АЛ ГЕБРА [ГЛ . 2
( 2 .43)
Остается доказать, что "л = µ и "л = v * ) . Дока жем, например,
что "л = µ . Для этого, пользуясь уже доказанным ( в п. 3 . § 2)
р аспределительным свойством 3° скаляр ного произведения,
умножим равенство (2.43) скалярно на вектор Ь и учтем, что
смешанное произведение [Ьс] Ь равно нулю (в силу следствия 3
из теоремы 2. 1 6) . В результате получим
Л [(а + Ь) с] Ь = µ [ас] Ь .
Поск ольку вектор ы а, Ь и с не ком планарны, смешанное произ·
ведение (ас] Ь не равно нулю, и для доказ ательства р авенства
Л = µ до с та то ч но доказать равенство смешанных произведе·
ний { (а + Ь) с] Ь и · [ ас] Ь. Равенство абсолютных величин ука
занных смешанных цроизведений вытекает из того, что (в силу
'rеОремы 2. 1 6) эти а бсолютные величины равны объемам двух
=
§ З] BEI<:TOPHOE И СМЕШАННОЕ ПРОИЗВЕДЕНИ Я В Е КТОРОВ 71
;;;;
дин -
�ма 2.17. (Есл � дв а в ектора а � Ь �пределены своими
В'екартовь'iiiи-'iiрямоугольными координатами
а = { Х1 , У 1 , Z 1 } , Ь = { Х2 , У 2 , Z 2 } ,
то векторное произведение этих векторов имеет вид
-
Г [аЬ ] . {Y1Z2 - Y2Z1 , Z1X2 - Z 2X1 , Х1У2 - Х2 У1 } . ' (2 .45)
Дл я запоминания формулы (2.45) удобно использов ать СИМ •
вол определителя * ) и переписать эту формулу в виде
.
1
�
1
[ аЬ] =
--... . .. -. 11
х.
Х2 '
r.
Уj2
z.
Z
k2 1 . (2 .45')
[ �: �: ;�[·
векторов, т. е.
аЬс = " · (2 . 47)
Хз Уз Zз
Д о к а з а т е л ь с т в о�- Так как с мешанное произведение аЬс
равно скалярному произведению векторов [аЬ] и с ц поскольку
координаты вектор а ' [аЬ ] определяются формулой (2.45} , а ко
ординаты с равны {Хз , Уз, Zз} , то в силу выражения (2.33) для
скалярного r�роизведения векторов в координатах получим
аЬс = Хз (Y1Z2 - Y2Z1 ) + Уз (X2Z1 - X1Z2) + Z3 (Х1У2 - Х2У1) .
Если воспользоваться выражением для определителя вто
рого порядка и символом такого определителя, то последнее
74 ВЕ КТОРНАЯ АЛГЕБРА [ГЛ . 2
= Хз \ �� �: \ - Уз \ �: �: \
выражение можно переписать в виде
аЬс + Zз / �: �: \ · (2 . 4 8)
1 �: �: �:\= о.
Хз У з Z з
В самом деле, достаточно привлечь следствие 2 из теоре·
м ы 2 . 1 6 и воспользоваться формулой (2.47) .
8 . Двойное векторное п ро����- .I]yg-_12.... д?.!I_l�I три произ
:8.q_-!_!� ��.О.Р� а, Ь и_сГЕсли. вектор Ь векторно умножаеiсi�
на вектор с, а вектор а также векторно умножается на вектор
ное произведение [Ьс] , то получающийся при этом вектор
[а [Ьс] ] называется д в о й н ы м в е к т о р н ы м п р о и з в е д е -
....... . ... ... " · -··_ ::....._ .. .....:
.....- 1_
н и е м. :.:.. .. . ...· . ... ........:.:...
qЮрмfjла **J.
'--- --·"--·
_ _ _ __ .. _[� Jbc!J ! ( �с) ...:-����).
__ __
(\ --- - ·-(;.·� 9)
Д о к а з а т е л ь с т в о. Рассмотри м отдельно д в а с л у ч а я :
1 ) векторы Ь и с коллинеарны; 2 ), векторы Ь и с н е колли
неарны.
В первом случае обозначи м через Чэ орт вектора с и учтем,
что с = \ с \ · со, Ь = ± \ Ь \ · со, где знак плюс берется для случая,
когда векторы Ь и с одинаково на правлены, а знак минус - для
случая, когда Ь и с противоположно напр авлены. С помощью
этих формул для с и Ь получим, что Ь ( ас ) - с (аЬ ) = О * * * ) , т. е.
правая часть ( 2.49) равна нулю. Но и левая часть (2.49) равна
нулю, ибо векторное произведение [ Ьс] двух коллинеарных век·
торов равно нулю. Для первого_ случая теорема доказана.
* ) См. формулу ( Д l . 1 6 ) из п. 5 Дополнен ия к главе 1 .
'
* * ) Для запоминания этой формулы удобно следующее п р а в и л о:
двойное векторное произведение равн.о среднему вектору, умн.ожен.н.ому н.а
скалярное произведение двух остальных, мин.ус другой вектор вн.утрен.н.его
проиэведен.ия1 умн.ожен.ный на скалярное произведение двух остальных. Это
правило годится и для случая, когда внутреннее векторное произведен ие от·
носится к первым двум векторам : с его помощью получается следующая
форм �ла r[ab]c] = Ь (ас) - а (Ьс) , являющаяся следствием (2.49) .
· • * ) В самом деле, элементарн ый подсчет показывает, что как Ь (ас ) , так
в с_(а Ь ). .р ав н о :d: ( b ( ( c J { асо) · с о.
· ·
.
§ 3) ВЕКТОРНОЕ И С МЕ ШАН НОЕ ПРОИЗВЕДЕНИЯ ВЕКТОРОВ 75
{2.56)
с.(аЬ) = {О, о, YY'Z" + ZZ1Z"}. (2.57)
Из сопоставления равенств (2.55) , (2.56) и (2.57) вытекает формула {2.49),.
Г Л А ВА 3
П Р Е О Б РА З О В А Н И Е Д Е КА Р Т О В Ы Х П Р Я М О У ГОЛ Ь Н Ы Х
)(О О РД И Н А Т Н А П Л О С КО СТ И И В П Р О С Т РА Н СТ В Е
§ 1 . П реобразование декартовых
прямоугольных координат на плоскости
Пусть на плоскости n заданы две произвольные декартовы
пря моугольные системы координат: п е р в а я , определяемая
началом О и базисными в ектор а ми i и j ,
l/ и в т о р а я, опр еделяемая н ач алом О'
и б азисными вектор а м и i' и j'
(р ис. 3. 1 ) .
Поставим пер ед собой цель - в ыр азить
координаты х и у произвольной точки М
J плоскости n относительно п е р в о й систе ·
'
о i м ы координат чер ез координаты х' и у
Рис. 3. 1 этой же точки М относительно в т о р о й
системы координат.
З а метим , что координаты х и у совпадают с координата ми
вектор а ОМ в р а зложении его по б азису ij , а координаты х'
и у ' совпа8ают с коор4инатами вектора О'М в р азложении ега
§ 1] П РЕОБРА З О ВАНИЕ КООРДИНАТ Н А плоскn�ти 77
по базису i'j', т. е .
O M = x i + yJ , (3. 1 )
О ' М x' i' + y'j'. (3 . 2 )
Если обозначить через а и Ь координаты начала О' второй
системы относительно первой системы, то
00' = ai + b j . (3.3)
Так как любой вектор на плоскости n можно разложить по
ба зису ij, то найдутся числа а1 1 , а12, а21 и а 22 такие, что
i' = ct11 i + ct 12J. j ' = ct21 i + ct22J. (3 . 4)
В силу правила треугольника сложения векторов (см. рис. 3. 1 )'
О М = ОО' + О'М. (3. 5)
Вставляя в п равую часть (3.2)' значения i' и j ', определяемые
ф ормулами ( 3.4) , и после этого под�тавляя в (3.5) значения
-
ОМ, О'М и 0 0', определяемые формул а м и (3. 1 )' , (3.2)" и (3.3} ,
и группируя слагаемые относительно i и j , получим *1
x i + yj = (а + ct 11X' + С121 У') i + (Ь + ct 12X' + ct22Y') j . (3. 6 )
В силу единственности р азложения вектора по базису из р а
венства (3,6! получим искомые формулы преобразования ко
ординат
Х = а + а 1 1 х ' + ct21Y',
' (3.7)
у = Ь + ct12X1 + ct22Y ·
Мы приходим к следующему з амечательному в ыводу : ка
ковы бы ни были две произвольные декартовы системы на
плоскости n , координаты любой точки плоскости n относительно
первой системы являются л и н е й н ы м и ф у н к ц и я м и коор
динат той же точки относительно второй системы.
Установив этот фунда ментальный алгебраический факт, пе
рейдем к геометрической интерпретации полученных ,,.-...
формул.
Для этого договоримся обоз начать символом cos ( аЬ )' косинус
угла между векторами а и Ь. Помножая ка ждое из р авенств
( 3.4 ) скалярно сначала на 1, а затем на j и учитывая, что ii = 1 ,
jj = 1 , lj = о, получим * * ) :
,,......_ ,,......_ ,,......_ ,,......_
ct 1 1 = cos (i'i), ct 1 2 = cos ( 1' 'J' ) ' ct21 = cos (j ' i) , ct22 = cos (J' 'J' ) .
(3.8)
* ) Возможность сгруппировать слагаемые относительно 1 и j вытекает
из свойств линейных опер аций над вектор ами (см. п. 2 § 1 главы 2) .
* * ) Учитываем та кже, что скалярное произведение двух единичных век.
торов р авно косинусу угла между ними.
78 П Р ЕОБ РАЗОВАНИЕ ДЕКАРТОВЫХ ПРЯМОУГОЛ ЬНЫХ КООРДИНАТ [Г.П. З
= cos ( � <р)
- = sin <р , a:i1 = cos + (� = - sin <р .
<р)
Во в т о р о м случае получим : ан '= cos q>, а 22 = соs.(л: - <р) =
= - cos <р, а1 2 = co s (� - <р) = sin <р, a:i1 = cos (�
- <р )=siп<p.
Таки м образом, . в п е р в о м случае фор мулы преобразова
ния координат (3.7). принимают вид
х =а+ n s
х' c o s q> - у' s i <р, у = Ь + х ' i n <р + у' cos <р. ( 3.9)
В о в т о р о м случае соответствующие фор мулы преобразо
вания принимают вид
х =а + х ' cos <р + у' <р, у = Ь + х' s i n <р - у' c os
sin (3. 1 О) <р .
Еслu мы примем договоренность рассматривать только такие
с истемы координат, у которых кратчайший поворот от первого
* ) Все углы отсчитыва ются в направлении, отвеча ющем
повороту от 1 к j.
кр а тча йшемУ,
ПРЕОБРАЗОВАНИЕ КООРДИНАТ В П РОСТРАНСТВЕ 79
}
относительно первой системы '* } :
х' = (х - а) c os <р + (у - Ь) sin <р,
(3. l l )
у ' = - (х - а) sin <р + (у - Ь) cos <р .
Общее преобразова ние координат (3.9)' распадается н а сум·
му двух преобразований, одно из которых отвечает только па
раллельному переносу системы, а другое - только повороту
системы вокруг начала на угол <р .
В самом деле , полагая в фор мулах ( 3 . 9 ) угол поворота <р
равным нулю, получим ф ор м у лы прео бразования координат
при параллельном переносе системы вдоль вектора 00' =
= { а , Ь} :
х = а + х' , (3. 1 2)
Полагая в тех же фор мулах ( 3 . 9 ) координаты а и Ь в е к ·
тора 00' равными нулю, получим форлtулы преобразования ко
ординат при повороте системы вокруг начала на угол <р (в на
правлении против часовой стрелки )
х = х' cos <р - у' sin <р, у = х' sin <р + у' cos <р . (3. 1 3)
стемы.
ч ис ел aim :
....... ....... .......
Ct 1 1 = cos (i'i), а1 2 = cos ( i'j), а 1 3 = c o s (i'k),
....... ....... .......
Ct2 1 = cos (j'i), Ct22 = cos (j'j), Ct23 = c o s (j'k),
....... ....... .......
Ct3 1 = cos (k' i), Ct32 = cos (k'j), Ct33 = c o s (k'k).
2 . В ыя снение геометрического см ысл а. Углы Эйлера. Уясним
геометрический см ысл фор мул преобр азования ( 3.20 ) . Для вы
числения чисел а 1 т и их геометрического значения предполо
жим, что первая и втор ая системы имеют о б щее начало (т. е.
а = Ь = с = О) .
Р ади определенности будем считать, что обе системы Oxyz
и Ox'y'z' являются п р а в ы м и.
Введем в рассмотрение т р и у г л а , полностью характери
зующие р асположение осей второй системы относительно пер
вой. Обозначим чер ез и ось, совпадающую
z
с линией пер есечения координатной пло
скости Оху первой систем ы с координатной
плоскостью Ох'у' второй системы и н а
У'
пр авленную так, что тр и н апр авления Oz,
Oz' и и обр азуют пр авую тр ойку
( р ис. 3.3) .
Пусть теперь 'Ф - угол между осями Ох
и и, отсчитыв аемый в плоскости Оху от :с '
оси Ох в напр авлении кр атчайшего пово
р ота от Ох к Оу, 0 - не превосходящий л: Рис. 3.3
угол между осями Oz и Oz' и, наконец, ер -
угол между осями и и Ох', отсчитываемый в плоскости О х'у' от
оси и в напр авлении кр атчайшеrо поворота от Ох' к Оу'.
. Три угла ер , 'Ф и 0 называются углами Эйлера * ) . Очевидно,
по трем углам Эйлера и по направлениям осей Ох, Оу и Oz
однозначно определяются направления осей Ох', Оу' и Oz'.
Если заданы три угла Эйлера , то преобразование первой
системы Oxyz во вторую систему Ox'y'z можно представить
в виде последовательного проведения следующих трех поворо
тов :
1 ) поворота системы Oxyz на угол 'Ф вокруг оси Oz, пере·
водящего эту систему в систему Ox1y1z1 ( р ис. 3.4 ) ;
2) поворота системы Ox1y1z1 на угол 0 вокруг оси Ох1 , пе·
р еводящего эту систему в систему Ox2 Y 2Z2 (рис. 3.5) ;
3 ) поворота системы OX2Y2Z2 на угол ер вокруг оси Oz2 =
= Oz', переводящего эту систему в систему Ox'y'z' ( р ис. 3.6) .
l!t
Рис. 3 . 4 Рис. 3.5
'
у = (х' c os <р у s i n <р) s i n 'ljJ +
- (3.24)
+ [( х ' s in <р + у ' c os ер) cos О - z ' sin О] cos 'Ф .
z = (х' s i n <р + у' cos <р) sin е + z ' cos О.
Сравнивая формул ы (3.24 ) с формулами ( 3 .20) ( п р и а =
= Ь = с = О ) , окончательно получим выражения для чисел а1т
Ctz2 = sin 'Ф sin + cos 'Ф cos е cos <р, (3.25)
<р,
-
Сtзз = cos e.
Для вывода фор мул (3.25} м ы использов али допущение, что
обе системы имеют общее н ачало. Разумеется, отказ от этого
до пущения не изменит вида формул (3.25) , ибо ни направлени�
f З] JIИНЕАН ЫЕ ПРЕОБРАЗОВАНИЯ 83
§ 3. Л инейные преобразования
1 . П онятие линейных преобразований плоскости. Линейны м
преобразованием плоскости л: называется преобразовани е, при
J<отором каждая точка М.(х1 у)� этой плоскости переходит в
84 П Р ЕОБ Р АЗО В АН И Е ДЕ l(АРТОВЫХ ПРЯМОУГОЛЬН ЫХ КООРДИН АТ [ ГЛ . S
(3.28)
называется определителем линейного преобразования (3.2 7 )'.
В случае Л =!= О преобразование (3.27} называется невырож
денным , а в случае Л = О вырожденным. Мы в дальнейшем
-
fi
= 1 � � 1 = 1 =:/=- о .
3°. Преобразование, обратное данному аффинному (т. е. пре ·
о бразование плоскости л:, переводящее точки М' (х', у'), в точки
М (х, у) ) , также является аффинным.
* ) Если Л = О, то с помощью пр еобр азования {3.27) все точки М (х, у)
п л о скост и 1t преобразуются в точки М' (х', у' ) , расположенные на некоторой
п р я мой. Действительно, если Л то а11
О, Ла2 1 , а2 1 Ла22. Поэтому, если
мы умножим на Л второе из соотношений (3.27) и сложим с первым , то
rюлучим х - Лу' = а 1 з - Ла2з. М ы видим, что координаты х ' , у ' точек .М'
'
= = =
л 1
= дz = д =I= о .
(3.34)
определител ю
1 х; u; -u; 1
х; 1 , , 1 (3 . 3 5 )
Х3 -- Х 1 Уз - У1 •
1 1 Хз -- Х1х1
'
У2 - У1 1
'
У2 - У 1
' '
Х2
Уз - Уr '
Уз - У 1
а11 а12
о т личны от н уля , то из (3. 3 G ) следу ет, что и Л = а21 az2 =;6:
0. / 1
Тео р е м а доказан а .
З а м е ч а н и е . Аффинное преобразов ание, для которого
Л \ i
= а н a 1 2 = 1 , называется эквиаффинным, т. е. сохр аняющи м
а21 а22
площа ди. Для та ких преобр азов а ний соотношение (3.36} озна
ч а ет равенство площадей п а р а ллелогр а м мов, построенных на
ве кто р ах М 1 М2 и М 1 М 3 и н а в ектор ах м;м; и м;м;.
4. Основной инвар иант афф инного преобразования плоскос ти.
Простым отношением трех точек А , В и С на прямой L наз ы ·
в ается число
(АВС) = АВ вс , (3.37)
(3.39 )
Из (3.27) получаем
х; - х � = а 1 1 ( х 2 - х 1 ) + а 12 ( У2 У 1 ) ,
�
(3. 40)
х; - х; = а 1 1 ( хз - х2) + а 12 ( Уз - У2 )·
Из соотношений ( 3.38) получим, что Х2 х, = 'Л (хз - Х2) ' и
-
х; - х � = Л [ а1 1 ( хз - х2 ) + а 12 ( Уз - У2 )] .
Подставим теперь в числитель пр авой части (3.39 )' н айденное
выражение для х; - х ; ! а в зна менатель - выражение для х ; - х;
(см. вторую формулу ( 3.4 0 )>: . После сокращения н а а 1 1 ( хз
- х2) + а 1 2 ( У з - У2 ) получим 'Л = 'Л' . Т а к как 'Л = А В/В С =
= (А ВС) и 'Л' = А'В'/В'С' = (А'В'С'): (см. (3.37) ) , то ( АВ С) =
= (А'В'С')', т. е. при аффинном преобр азовании п ростое отноше·
ние трех точек не меняется. Теорема доказана .
3 а м е ч а н и е. П ростое отношение трех точек называется
основным инвариантом а ффинного преобразования, так как че
рез него могут быть выражены все другие инварианты аффин
ного преобразования.
5. Афф инные преобразования пространства. А ффи н ным пре•
о бр азов анием пространства н азыв ается преобразование , при
котором каждая точка М ( х , у, z) простр анства переходит в точ"
ку М', координаты х ', у ' , z' которой определяются фор мула м и
х ' = a ll x + а 12у + а 1зz + а 14,
у' = az1X + а22У + а2зz + az4 , (3 .4 1)
z ' = аз1 х + аз2У + аззz + аз4,
l(ООРДИН АТ [ГЛ . З
90 П РЕО Б РА З ОВАН ИЕ Д Е КАР Т ОВЫХ ПРЯМОУГОЛЬНЫХ
nричем определитель
1
Д = а 21
а 1 1 а 1 2 а1э
а 22 а2з
1
йз1 аз2 азз
считает ся отличны м от нуля : д =/= О .
В полной аналоги и со случаем плоскос ти доказыв а ются сле
дующие свойств а аффинн ых преобра зов а ний простра нств а :
1°. Последо вательн ое выполн ение афф инных преобра зований
простра нства являетс я аффинн ым преобра зование м простра н
ства.
2°. Тождест венное преобра зование является аффинны м.
3°. Преобр азовани е, обратно е данном у аффинн ому, также ·
\ М�м; 1 2 = [ х; - х; ] 2 + [ у; - у;] 2 =
= [а 1 1 (х2 - Х 1) + а 12 (У2 - У1)] 2 + C0z1 (х2 - х ,) + Oz2 (У2 - У1)] 2 =
2
= (ai1 + а�1) (х2 - х 1 ) + (ai2 + а�2) ( У2 - У 1 )
2 +
+ 2 (а11 а 12 + az1a22) (х2 - х,) (У2 - У1) =
= (Х2 - Х 1 )2 + (У2 - У1)2 = 1 М 1 М2 12•
И т а к , \ M 1 M2 J = \ М �м; J. Т ео р е м а до ка з а н а .
3 а м е ч а н и е. Так как при ортогональных преобразованиях
р а сстоя ния сохра няются, то любая фигура на плоскости пре
образуется в равную ей фигуру * ) . Иными словами, ортого
налыюе преобразование н а плоскости можно р ассматривать
как движение этой плоскости. При движении ортогональн а я
система координат переходит в ортогональную систему коор
динат. Этим можно объяснить тер мин ортогональное преобра
зование.
Ортогональные преобр азования обладают следующими свой
ств ами * * ) :
1 °. Последовательное выполнение дв ух ортогональных пре·
образований есть ортогональное преобразование.
2° . Тождественное преобразование х' = х, у ' = у является
ортогональным преобразованиел-1 (для этого преобразования со
отношения (3.43 ) , очевидно, выполняются ) .
3°. Преобразование, обратное ортогональному, также я в
ляется ортогональ ным.
Линейное преобразова ние в простра нстве
х' = а 1 1Х + а12У + а 1зZ + а 14 ,
у' = а2,х + OzzY + azзZ + az4, (3 .4 4 )
'
z = йз1Х + аз2У + аззZ + аз4
называется ортогональным, если выполняются соотно ш е ния
ai 1 + а�1 + а�1 = 1 , а 1 1 а 1 2 + а2 1 а22 + а3 1 а32 = О ,
ai2 + а�2 + а�2 = 1 , а,2а1з + azzazз + аз2азз = О , (3 .45)
аiз + а�з + а�з = 1 , а1за 1 1 + а2за21 + аззаз 1 = О.
УРА В Н Е Н И Е Л И Н И И Н А ПЛ О С КО СТ И. УРА В Н Е Н И Я
П О В Е РХН О СТ И И Л И Н И И В П Р О СТР А Н СТ В Е
В этой главе р ассматривается один из важнейших вопросов
а н а литической геометрии - вопрос об аналитическом представ
л е н ии линии на плоскости и поверхности и линии в пр остран
ств е при помощи уравнений, связывающих их координаты * ) .
Обсуждаются простейшие задачи, связанные с таким аналити
ч е с ки м представлением , и приводится классификация плоских
л и ний и поверхностей. Доказывается , что порядок алгебраич е
ско й линии ( и соответственно поверхностиl не зависит от вы
б о ра д екартовой прямоугольной систем ы.
Рис. 4 . 1 Рис. 4 . 2
4 В. А. 1 ! л ы1н. Э. Г. Позняк
gg УРАВНЕНИЯ ПОВЕРХНОСТИ И ЛИНИИ rгл •
ляться уравнением
Ф 1 (р , QJ) = О,
где введено обозначение Ф1 (р, QJ) = Ф ( р cos QJ, р sin QJ )' ( см. фор·
мулы перехода от дека ртовых координат к полярным ; гла ·
ва 1 , § 4) .
Использование для определения некоторых линий недека р·
товых с И сте м координат объясняетс я тем , что уравнени е линии
и меет при эт ом более простой вид .
П р и м е р . Предположим , что ось и вращается ( против ча
совой стрелки ) вокр уг неподв ижной точки О и по этой вра ·
ща ющейся оси движется точка М так, что дл ина р вектора О М
пропорциональна углу QJ поворота оси и, отсчитываемому от
некоторой неподв ижной оси Ох ( р ис. 4 .3) .
Л иния, опи с ыва емая точкой М, наз ыва •
ется спирал ью А рхи меда.
Ес ли ввести полярную си с тему координ ат,
:с пом естив полю с в точку О и на п р авив пол яр ·
ную ось вдоль о с и Ох, то по са мому опреде•
лению спирали А р х имеда ее у р авн е ние и меет
вид
Рис. 4.3 р = а<р, (4 . 9 )
где р - пол ярный радиус, <р - п ол я рны й угол , · а - коэффици е н т
пропорциональности, который буд ем считать отличным от нуля .
а
Н а рис. 4.3 спло ш ной линией изображена часть спирали Архи ·
>
меда дл я сл у чая а О, ш три х ово й линией - часть с п ир ал и
Архимеда для случая а < О * ) .
Уравнение (4.9) спирали Архимеда в полярной системе координат отли·
чается чрезвычайной простотой. Для того чтобы читатель убедился, насколько
угольной системе, приведем это у равнение для случая а > О. Имея в виду,
сложно в ыглядит у равнение той же спир али Архимеда в декартовой прямо·
ч то
arctg JL + 2nn
х
.J
пр и х > О,
[ 1t
т sgn y + 2nn пр и Х = О,
где п = О, ± 1 , ±2, , мы получим, что для слуqая а > О спираль Архи·
меда определяется следующей бесконечной системой уравнений (номер п
• . •
,Ух 2 + у3 = а ( � + + 2:tn )
arctg n при х < О,
1 I=а(�
v + 2n:n )
sgn у при х - О.
4•
1 00 УРЛ Ш IЕНИЯ П О В Е Р Х Н ОСТИ И ЛИНИИ ,, ·' ;
где k и / - u е л ы е н е о т р и u а т е л ь н ы е ч и сл а , п р и ч е м н а и бол ьш ее
соответственно.
Ф 1 (х, у) · Ф2 (х, у) 0<1евидно, что координаты 1&
и у точки М удовлетворяют уравнению Ф (х, у)
Из р авенства Ф (х, · у) =
Ф 1 (х, у)
когда эти координаты удовлетворяют хотя бы одному из уравнен и ii
ур а внением Ф (х, у)
= О или Ф2 (х, у ) О. Это означает, что линия L, о пределяемая
=
ур а внением Ф 1 (х, у) = =
= .
х 2 + у2 + z2 = R 2. (4. ! 4)
Если ввести сферические координаты r, е , <р, связанные с де
картовыми координатами так, ка к указ ано в п . 3 § 4 гл ав ы 1 ,
то ур авнение сферы р адиуса R . с центром в начале координ ат
принимает вид r = R .
Это последнее уравнение, сразу в ытека ющее из геометри
ческого определения сферы, может быть получено и посред
ством подстановки в {4. 1 4 ) на место х, у и z их выражений че
рез сферические координаты.
2 . Уравнения линии в простр анстве. Л инию в простр анстве
естественно рассматривать как пересечение двух поверхностей ,
т. е . ка к геометрическое место точек, находящихся одновременно
на двух поверхностях.
Е сли Ф1 { х , у, z ) = О и Ф2 { х, у, z ) = О суть уравнения двух
поверхностей, пересечением которых является данная линия L ,
то : 1 ) координаты любой точки, лежащей на линии L, удовле
творяют обоим указанным уравнениям ; 2 ) обоим указанным
уравнениям не удовлетворяют координаты ни одной точки, не
·л ежащей на линии L.
• ) Эта сфера определяется как геометр ическое место точек М (х, у, z) ,
расстояние каждой из которых от точки Мо (а, Ь, с) равно R.
1 04 .У РА В Н Е Н И Я П О В Е Р Х Н ОСТИ И Л И Н И И [ГЛ . 4
,
первое и з которых определяет цилиндрическую поверхность, на
правляющей которой служит р а ссматриваемая окружность и
образующа я которой параллельна оси O z, а второе уравнение
оп ределяет координатную плоскость Оху.
Из п. 2 § 1 мы уже знаем, что на плоскости О ху пара метри
ческие уравнения окружности х2 + у 2 = r2 и меют в ид x = r cos t,
у = r sin t, где О � t < 2n.
Очевидно, та же окружность в простра нстве задается тремя
уравнениям и :
x = r cos t , y = r sin f, z = O,
причем иара метр t пробегает п олусегмент О � t < 2n.
Для пара метрического задания поверхности координаты лю·
бой точки этой поверхности должны быть заданы как функции
не одного, а двух п ар а метров р и q . Убедимся в том, ttтo т ри
уравнения
х = <р (р, q), у = '\' (р , q ), z = х (р, q) (4.22)
определяют в пространст.в е н�кот0рую поверхность.
1 08 У Г'А В Н Е НJ Н ! П О В Е Г'ХНОСТ И И Л И Н ИИ {ГЛ 4
= Ф 1 (х, у ) , q = Ф2 (х , у ) .
В ста в л я я эти з н а ч е н и я р и q в тр етье у р а в не н и е ( 4.22) , м ы
получи м у р а в н е н IIе с тре м я п е р е м е н н ы м и
z - Х [ Ф 1 ( х , у), Ф2 (х , у)] = О,
о п р еделя ющее , к а к на "-'1 известно, не которую поверх ность * ) .
В к а ч естве п р и м е р а п р и ведем п а р а метрические у р а в не н и н
сфе р ы р а д и уса г > О с це н т р о м в н а ч а л е коорд и н а т :
x = r cos 0 si n <p, y = r s i n 0 s i n <p, z = r cos <p.
З десь п а р а м ет р ы е и ер п редста в л я ют собой угловые сфе р и че
ские коо р д и н а т ы ( дол готу и ш и роту) точе к пове р хности сфе р ы
( с м . § 4 гл а в ы 1 ) . Д л я того что б ы все точ к и сфе р ы обход и л и сь
оди н р а з , следует огр а н и ч ить обл а сть и з м е н е н и я п а р а метров
п роме жутка м и о ::::;;; е < 2 л, о ::::;;; <р ::::;;; :rt .
5. Кл асси ф икаци я поверхностей . В пол ной а н ал о г и и с кл ас
с и ф и к а ци е й плоских к р и в ы х уста н а в л и в а ют следующую кла сс и
ф и к а ц и ю пове р х н осте й .
Определение 1 . Поверхность называется а л г е б р а и ч е с к о й,
если в некоторой декартовой прямоугольной системе координат
с на определяется алгебраи ческим уравнением с тремя перемен
ными.
Определение 2 . Всякая не алгебраи ческая поверхность назы-
вается т р а н с ц е н. д е н. т н. о й.
·
JI И Н Е Я Н Ы Е О Б РАЗЫ
С1 = Ct.
2. Н епол ные уравнения прямой. Ур авнен ие прямой в отрез ках.
Общее уравнение прямой ( 5 . 1 ) называется п о л н ы м, если все
его коэффициенты А , В и С отличны от нуля. Если хотя б ы
один из ука з а н н ых коэфф ициентов р а вен нул ю , ур а в нение н а
зывается неполным.
Р а ссмотрим все возможные виды непол н ы х уравнений.
1) С = О, уравнение А х + Ву = О определ яет прямую, про
ходящую через н а ч а л о коорди нат ( поскольку коорди наты н а
чала удовлетворяют это му уравнен и ю ) .
2 ) В = О, ур а в нение А х + С = О оп ределяет пря мую, п а р а л
лельную о с и О у ( поскольку н о р м а л ь н ы й вектор этой п рям ой
n = {А , О} ортогона лен оси Оу) .
3 ) А = О, уравнение Ву + С = О определяет пря мую, п а р а л
лельную о с и Ох ( поскольку н о р м а л ь н ы й вектор этой прямой
n = {О, В} о ртогонален оси Ох) .
. 4 ) В = О и С = О, уравнение Ах = О опред�ляет ос ь Оу ( в
с а м о м деле , эта п р я м а я п а р а ллел ь н а оси Оу и проходит через
н а чало коорди нат) .
5 ) А = О, С = О, ур а в нение Ву = О оп редел яет о сь Ох ( и бо
эта п р я м а я п а р а л лельна оси Ох и п роходит через начало коор
динат) .
Р а сс м о т р и м теперь полное уравнение п р я мой ( 5 . 1 ) и пока
жем , что о н о может б ыть п р и ведено к следующе му в иду:
оо .
•
<
Мы получим х - х, = lt, у - у, = mt или окончательно
·х = х 1 + lt, у = у1 + т t . ( 5 . 9)
Уравнения (5.9) и есть искомые параметрические уравнения
прямой. Уравнения (5.9) допускают наглядную механическую
интерпретацию. Если считать, что пара метр t - это время, от
считываемое от некоторого н а чального момента, то п а р а
м етрические уравнен и я (5.9) определ яют з а кон движения м ате
ри альной точки по прямой линии с постоянной скоростью v =
= ,,/11 +
т2(такое движение происходит по инерци и ) .
5. П рямая с угловым коэффи ц иентом. Р ассм отр им любую
прямую, ие параллельную оси О х . Введем понятие угла на
клон а этой п р я мой к оси О х . Предполо-
У жим, что р ассматриваемая прямая пер есекает
ось Ох в точке А (рис. 5.2) . В озьмем н а оси
Ох пр оизвольную точку М, л ежащую по ту
сторону от точки А , куда н апр авлена ось Ох,
а на р а ссм атр ив аемой прямой пр оизвольную
о н .v точку N, лежащую по ту стор ону от точки А ,
куда напр авлена ось Оу. Угол а = L NAM
Рис. 5.2 н азовем углом наклона данной прямой к
оси Ох.
Если п р я м а я п а р а ллельна оси Ох или совпадает с ней, то
угол н а клона этой п р ямой к оси Ох мы будем считать р а вным
н ул ю.
Тангенс угла наклона прямой к оси Ох назовем у г л о в ы м
к о э ф ф и ц и е н т о м э т о й п р я м о й. Если обозначить буквой
k угловой коэффи циент да н ной прямой, а буквой а угол на
клона этой п р ямой к оси Ох, то по определению можно запи-
сать k = tg a. .
З а м ет и м , что ·для прямой, п а р аллельной оси Ох, угловой ко
эффициент р авен нулю, а для прямой, пер пендикулярной оси
§ 1] РАЗЛИЧН ЫЕ В ИДЫ УРАВН Е Н ИЯ П РЯМО!'! НА ПЛОСКОСТИ 1 15
~
Ох под остр ым или под тупым углом
и ее н апр авляющий вектор q может lf а:
о
и меть два противоположных направ
:с
ления, то возможны четыр е случая, 1)
изобр аженных на рис. 5.3. В случаях J)
1 ) и 3 ) е = сх; и для пр оекций н а оси
вектор а q справедливы формулы
l = I q l cos e, � *� 2)
т ( � - в) = 1 q 1 sin е . 4)
::ас: 1 q 1 cos Рис. 5.3
а в случаях 2) и 4) tg е t g а и m/l = - t g е. -
Стало быть, во всех четырех случаях t g а = т/ l, и утверж
=
дение доказано.
Для того чтобы вывести урав нение прямой, проходящей че
рез заданную точку М 1 (х 1, У1 ) и имеющей заданн ы й угловой
коэффициент k, умножим обе части канонического урав нения
(5.7) на т и учтем, что m/l = k.
Получим искомое уравнение в виде
у - У1 = k (Х - Х1 ). (5. 1 0)
Если теперь обозначи т ь через Ь постоянную Ь = Yi - kx 1 , то
уравнение (5. 1 0) примет вид
у = kх + ь. (5 . 1 1 )
Уравнение (5. 1 1 ) называется уравнением прямой с угловым
коэффициентом. В этом уравнении k обозначает угловой коэф
ф ициент данной прямой, а Ь представляет собой величину от
резка, отсекаемого данной прямой на оси Оу, начиная от на
ч а ла координат. Чтобы убедиться в этом, достаточно р ассмот
реть совместно уравнение { 5. 1 1 ) и уравнение х == О оси Оу и
1 16 Л И ll ПН ! Ы Е ОБРАЗЫ [ГЛ. б
вид * * )
А, В,
= · (5. 1 3)
А;" в;-
У с л о в и е п е р п е н д и к у л я р н о с т и п р я м ы х L 1 и L2
може т быть извлечено из формул ы ( 5 . 1 2 ) ( п р и cos ср = О ) или
вы р а жено р а венством нулю с1<а л я р 11 ого произведе ния n 1 n2. ·
Оно имеет в ид
(5. 1 4)
б ) Пусть те п е р ь две прямые L 1 и L 2 з аданы канонически.м и
уравнениями
х - х, у - у,
-
-, ,-
и
т,
случ а е м а ) м ы получ и м :
* ) Л юбые две п е р есек а ющ и е с я прямые образуют два yr ла, в с у м м е p D B ·
пых л. Н а м доста точ но определить один из н и х .
* * ) Пр и этом, как и в ы ш е, м ы п он и м а е м п р о п о р ц и ю а /Ь c/d в с м ы сл е
Ь с.
=
р а в ен с тв а ad =
§ 1) РАЗЛ И Ч Н Ы Е В И Д Ы У РА В Н Е Н И Я П Р Я МОЙ НА ПЛ ОСКОСТИ . 117
1 ) формулу дл я угла <р между прямымц Li и L 2 :
cos
l , !2 + т , т2
<р = . /2 ) / ? 2
' (5. 1 2')
ry 1 1 + т ; 'У 12 + m2
•
Та ки м образом ,
tg а2 - tg а , k2 - k ,
tg <р = tg (а.2 _ а.,) = 1 + tg а , tg а2 - 1 k 1k ·
_
+ 2 Рис. 5.5
*) В силу того, что проекция вектора на любую ось равна модулю этого
вектора, умноженному на косинус угла наклона к оси (см. п. 8 § 1 главы 2 ) ,
� \] РАЗ ЛИЧНЫЕ В И ДЫ УРАВНЕНИЯ ПРЯМОl'I НА ПЛОСl(ОСТИ 1 19
tA = co s e. tB = sin 0, tC = р. (5.22)
-
получили бы
А 1/ А 2 = - � /а , В1/В2 = - Ма , т. е. А 1/А 2 = В 1/В2 .
Последнее р а венство ( с м . п . 6) есть условие параллельности пря
м ых, оп ределяемых ур а в н е н и я м и А 1 х + В 1 у + С 1 = О и А 2х +
+ В2у + С2 = О, и п ротиворечит п р едположению о том, что эти
прямые пересе к а ются и н е совпадают.
Ита к, ( 5.24) при любых а и � . не р а вных одновременно нул ю,
представл яет собой у р ав н е н ие первой степени, оп р е дел я ю щ е е
( в силу резул ьтатов п . 1 ) некоторую п р я мую.
Эта п р я м а я заведомо проходит через точ к у S (х0, Уо) пер есе
чен ия двух п р ям ых, определ яем ых ур а в н е н и я м и
А 1х + В1у + С1 = О и А 2х + В2у + С2 = О .
В самом деле, так как S (хо , Уо) п р и н адлежит к а ждой из двух
ука з а н н ых п р я м ых, то спра ведливы р а венства
А 1 х0 + В1Уо + С1 = О и А2хо + В2Уо + С2 = О ,
из котор ых вытекает, что при любых а и �
а (А 1 х0 + В1у0 + С1 ) + � (А 2хо + В2Уо + С2 ) = О ,
т. е. к оо р дин а т ы х0 и у 0 точки S удовлетворяют уравнению
( 5.24 ) .
Остается доказать, что, ка кова бы н и была н а п е р е д з а -
д а н н а я проходящая через точку S п р я м а я , она определяется
ур авнением ( 5.24 ) п р и н екоторых а и �· Наперед зада н f( а я п ро
ходящая через точку S (хо, Уо) прямая одн означно определ,яется
зада нием еще одной отл ичной от S точки М* ( х*, у* ) , ей п р и н ад
лежащей. Таким образом, достаточно доказать, что н е р а вные
одновреме н но нулю а и � можно выбрать так, что координаты
х* , у• н а п еред задан ной точки М* будут удовлетвор ять ур а вн е
нию ( 5.24 ) п р и этих а и �- Подста в ляя в ( 5.24 ) н а место х и у
к о о р д и н аты Х* и у* точки М* , получи м ра венство
(5.25)
П р е жде всего з а метим , что (5.25) предста вляет собой уравнение
относительно а и �- В самом деле, оба выражения в кругл ы х
ско�ках, являющиеся коэ фф ициентами п р и а и �. обратИться
в нуль не могут" ибо это озн ачало бы, что две прямые, опреде
л яемые ур а вн е н и я м и А 1 х + В 1 у + С1 = О и А 2х + В 2у + С2 .:._ О,
п р оход ят через точку м•. ( П о с л ед н ее невозможно в силу того,
что эти п р ям ые не сов.падают и проходят через точку S , отл и ч
ную от М*. ) И та к , хотя бы одн а из к р у гл ы х скобок в ( 5.25)
от ли ч н а от нуля . Пу сть, н апример, А 1 х* + В 1у"' + С1 =/= О. Т огда ,
задав пр о и звол ь н о � + О, мы определим из уравнения ( 5.25)
122 Л И НЕАНЫЕ ОБ Р АЗЫ rг.л. 5
коэфф ициент а:
[еорема доказана.
3 а м е ч а н и е. Так как в ура внении пучка (5.24) хотя бы
одно из чисел а и j3 отлично от нуля, то можно записывать
�р а внение пучка не с д в умя коэффициентами а и 13, а с о д ним
коэффициентом Л., р авным их отношению. Так, если отлично от
нуля а, то, поделив (5.24 ) на а и положив Л. = 13/а, мы полу·
�им уравнение пучка в виде
(5.26 )
У - У1 = k (Х - Х1) •
.
П р я м а я (5. 1 0) проходит через точку М 1 (х1 , У1 ) , и н ам остается
выбрать ее угловой коэффициент k так, чтобы она составляла
угол q> с прямой у = k1x + Ь,. З аметим, что, взяв уравнение
искомой п р я мой в виде ( 5 . 1 0) , мы исключаем из р а ссмотрени я
прямую х == х 1 , прщшдящую через точку М1 ·( х1, У1 ) и !Jер пенди •'
кул ярную оси Ох. Так как искомая прямая у ""' kx .+�(у1 - kxi)
§ 2] Н Е К ОТОРЫЕ ЗАДАЧИ НА П Р.ЯМУЮ ЛИНИ Ю Н А ПЛОСКОСТИ 123
а А 1 + � А2 =
- у А з , а А 1 + � А2 + у А з = О ,
аВ1 + � В2 = У Вз,
-
или аВ1 + � В2 + у Вз = О,
аС 1 + � С2 = - v Сз. аС1 + � С2 + у Сз = О .
� 21 Н Е К ОТОРЫЕ З А ДАЧИ НА П Р Я МУЮ Л И Н И Ю НА ПЛОСКОСТИ 1 25
1 А1
В,
А2
В2
А1
Вэ
1 1
rл а в е 1 , п . 8 ) , что б ы о п р едел и тел ь этой с и с т е м ы
=
А,
А2
В,
В2
С,
С2
1 (5. 29)
С1 С2 Сз Аз Вэ Сз
был р а вен нул ю .
для того чтобы три прял.tые, определяемые уравнениялщ
И т а к,
'А 1 х + В1 у + С1 = О, А 2х + В 2у + С 2 = О и А зх + В з у + Сз = О,
пересекались в одной и тол ько в одной точке, необходи.м о и д о
статочно, чтобы обращался в нул ь определител ь (5.29 ) и был
отличен от нуля хотя бы о дин из определителей (5.28) .
М ы п р и ш л и к этому ут в е р жде н и ю, п р е дп ол о ж и в , что п ер в ы е
две из ука з а н н ых трех п р я м ы х п е р е с е к а ю т с я в одной точ к е .
К это м у же резул ьтату п р и в о д и т и п р едположение о том , что
п е р ес е к а ют с я в о д н о й точке л ю б ы е другие две из у к а з а н н ы х
т р е х п р я м ых ( в п р о ч е м , п о с л е д н е е ясно из соо б р а ж е н и й с и м
м етрии ) .
6. Н а х ождение п р я мой , про ходя ще й ч е р е з точ ку пересеч е н и я
д в у х д а н н ы х пря мы х и у довлетвор я ю щей е щ е одном у услов н ю.
П у сть т р е б у ет с я н а й т и уравнение п р я м о й , п р о х од я щ е й через
точ 1< у п ер есечен и я двух н е 1< 0J1 л 1 1 н е а р н ы х *) п р я м ы х , о п р еде.11 я е
м ы х у р а в н е н и я м и А 1 х + В 1у + С 1 = О и А 2х + В 2у + С2 = О , 11 ,
к р о м е т о г о , у д о в л ет во р я ю щ е й од н о м у и з с л е д у ю щ и х трех усл'о
в ий : а ) о тс е 1< а ю ш е й н а о с я х от р ез 1<И р а п н о й дл и н ы ; б ) п а р а л
л ел ь н о й з а д а н н о й п р я м о й А 3х + В3у + С3 = О ; в ) п ер п е нди l\ у
л я р н о й з а д а н н ой п р я м о й А зх + В 3у + С 3 = О .
И с к о м а я п р я м <� я п р и н а дл е ж и т п у ч ку
А (х -
х0 ) + В ( у - Уо) + С (z - Zo) (5.34)
р а в но нулю. Если же точка М (х, у, z)" не лежит на указанной
ллоскости л:, то ее координ аты не удовлетворяют уравнению
(5.33) , ибо в этом случае векторы п и М 0М не ортогональны и
п оэтому их скалярное произведение (5.34 ) не 'р авно нулю.
Утверждение 2° доказано.
Уравнение (5.3 1 ) с произвольными коэффициентами А , В , С.
и D такими, что из коэффициентов А , В и С хотя бы один отли•
чен от нуля, называется общим уравнением плоскости .
*) В самом деле, хотя б ы одна из постоянных А, В, С отлична от нуля.
Пусть, например, е #= о. Тогда, �зяв произвольные Хо и Уо, получим из урав·
А В
пения (5.3 1 ) zo =- С Хо. С Уо·
-
1 28 JН I H E VI H ЬI E О Г> Р А Э Ы {ГЛ 6
� + JL + ..!. = 1 '
Ьс
(5 .3 5)
а
�
- /А + - /В + � - �/С = l
и з атем положить а = - D/A , Ь = -D/B, с = .,.-D/C.
З а м етим , что в уравнении « В отр езках» ( 5.35) t�:исла а, Ь и с
и м еют п ростой геометр ический смысл : они р авны вел ичинам
отр езков, котор ые отсекает плоскость на
осях Ох, О у и O z соответственно ( отр ез ки
отсчитыв а ются от начала коорди н ат, см.
р ис. 5.8) . Чтобы убедиться в этом , доста·
точно н а йти точки пер есечения плоскости ,
опр еделяем ой ур авнение м ( 5.35) , с о сями
координат. Н а п р и м ер , точка п ер есечения с
6сью Ох определится из совместного р ас- .-с
5 В . А. И л ь и 11, Э. Г. П озняк
1 30 ЛИНЕЙ Н ЫЕ ОБРАЗ Ы [ГЛ. 8
t противоположен знаку D ,
Ит а к, для приведения общего уравнения плоскости А х +
:+ Ву + Cz + D = О 1� иормированному виду ( 5.44 ) следует
умножить его на норлшрующий множитель ( 5.48) , знак которого
противоположен знаку D .
6. Пуч ки и связки плоскостей. Совокупность всех плоскостей,
проходящих через одну и ту же прямую L , называется п у •t -
к о м п л о с к о с т е й ( с центром в L ) .
В полной а налогии с теоремой 5.2, относящейся к пучку
прямых, до�а зывается следующее утвер ждение :
Если А 1 х + В 1у + C1 z + D 1 = О и А 2х + В2у + C2z + D2 = О
суть уравнения двух разли•tных и не параллельных плоскостей,
пересечением которых служит некоторая прямая L , а а и � -
какие угодно не равные одновременно нулю числа, то
а ( А 1 х + В1 у + C1z + D1) + � (А2х + В2у + C2z + D2) = О ( 5 .49)
есть уравнение плоскости, проходящей через прямую L. Более
т ого, какова бы ни была наперед заданная проходящая через
прямую L плоскость, она определяется уравнением ( 5.49) при
некоторых а и �-
Доказательство этого утверждения ( н е содержащее по
сравнению с доказ ательством теоремы 5.2 ника ких новых идей)
представляем читателю.
Сфор мулированное утверждение позволяет задавать п р я
мую L , являющуюся линией пересечения двух не совпадающих
и не п а р аллельных плос к остей А 1 х + В 1 у + C 1 z + D 1 = О и
А2х + В2у + C 2z + D2 = О, не только д вум я у р а в н е н и я м и эти х
плоскостей, но и любыми двумя р а зличными уравнен и я м и пучка
(5.49) ( п олученными при ка ких угодно а и � ) .
Совокупность всех плоскос тей, проходящих через данную
точку M0 (x0, y0, z0) называе т ся с в я з к о й п л о с к о с т е й ( с
центром в М о ) .
Легко убедиться в том, что уравнение связ1ш с центром
в М о ( Хо , у о , zo) имее т вид
А (х - Х0) + В (у - у0) + С ( z - z0) = О , (5.50)
нуля определитель 1 1
2
/�
нение к главе 1 , п. 1 ) . Пусть р ади определенности отличен от
2
�
1
Тогда , взяв вместо z произвольное
.
число Z1 и подставив его в ур авнения ( 5. 52) , определим из си·
·
1 �� g� 1 или
1 �: �: 1 -
2 . Уравнен ия прямой, проходя щей через две разл ичные то ч ки
М1 (х 1 , У1, z 1 ) и М2 (Х2, у2, z2 ) . Эти уравнения и меют в ид
у - у,
У2 - y l
(5 . 55)
§ 4] П РЯМАЯ ЛИ Н ИЯ В П РОСТРАН СТВЕ 1 37
т1
У1 Z2
n1
- Z1 1 = 0. (5.58 )
12 т2 n2
Ьс,
1 38 ЛИНЕЙНЪ!t': О!>РАЗЫ [ ГЛ. В
х
-
и прямую L , зада нную ка ноническими ур авнениями -l .t1
у - у, z - z.
= = --- .
т п
Поскольку угол <р между прямой L и плоскостью n является
дополнительным к углу 'Ф между напр авляющим вектором пря
м ой q = {!, т , п } и нормальным вектором плоскости n =
= {А , В , С} ( р ис. 5. 1 О) , то из опр едел ения
скаляр ного произведения qn = 1 q 1 1 n 1 cos 'l\J и
L
п '/1 из р авенств а cos 'l\J = s i п <р мы получим для
опр еделения угла <р между прямой L и пло
скостью n следующую фор мулу:
. Al
SIП <р = -,
,.,/==;=
А2 =+ ::::
= :::;:: =--==�=::;;:-
т + Сп
+В
в2 + с2 . ,.,;z2 + т2 + п2
7. --1- --т --
n
l
= т
= --п- · (5.6 1 )
* ) l(ак всегда , всякую пропорцию а/Ь --=- c/d понимаем в смысле равен·
ства a d = Ьс.
§ 5) ЭАДАЧИ НА ПРЯМУЮ и плоскость в ПРОСТР АНСТВВ 1 39
A1 81 С1
статочно, чтоб ы был отличен от нуля определител ь
I А2 В 2 С2
А з ' В з Сз 1 •
у - у\ z - z,
. Это уравнен и � и меет В ИД
т n
/ (х - ха) +
§ 5] ЗАДАЧИ НА ПРЯМУЮ И П Л ОСI<ОСТЬ В П Р ОСТРАНСТВЕ 141
1 �:12 �: �:
т2 n2О1 �11
отличен от нуля, и поэтому какие-то три из коэффициентов А ,
1В , С , D можно выразить через четвертый } . Положив указанный
11етвертый коэффициент равным единице, мы получим ур авне
ние искомой плоскости.
1 0. Уравнение плоскости, проходя щей через заданную пря·
м ую L 1 и перпендикуля рной зад анной плоскости п. Эта з адача
сводится к п редьrдущей. Чтобы убедиться в этом , мы сначала
ч ерез точки М 1 прямой L 1 проведем прямую L 2 , перпендикуляр "
ную плоскости rc (такая задача решена в п. 5) , и затем через
прямую L i проведем плоскость, параллельную прямой L z.
1 1. Ур авнения перпендикуляра, опущенного из заданной
то ч ки Мо н а данную прям ую L 1• Искомый перпендикуляр пред
ставляет собой линию пересечения двух плоскостей: 1 ) плоско·
сти, проходящей через точку М0 и прямую Li (такая плоскость
найдена в п. 8) , 2) плоскости, п ,оходящей через точку Мо и
перпендикулярной к прямой L1 r (такая плоскость н айдена в
п. 7) .
1 2. Н ахождение р асстояния от данной точки М0 · до данной
пря мой L1• В пр едыдущем пункте найдены уравнения перпенди
куляра L z, опуще !i ного из точки М 0 на прямую L i. Решая сов ·
местно уравнения прямых L1 и L2, мы найдем точку М 1 осн о·
вания указанного пер пендикуляра, а затем и искомое расстоя-
ние, равное длине отрезка МоМ 1 ·
1 3. Н ахождение общего перп.ендикуляр а к двум скрещиваю"
щимся прямым L1 и Lz. Проведем через прямую L 1 плоскость rco.
пар аллельную прямой L2 (эта задача решена в п. 9) . После
этого проведе м две плоскости п1 и п2, перпендикулярные пло
скости rc0 и проходящие через прямые L1 и Lz соответственно
(см. п. 1 О) . Искомый перпендикуляр представляет собой линию
пересечен ия плоскостей rt 1 и пz.
1 4. Н ахождение кр атч айшего расстояния между двумя дан·
ными скрещи ва ю щимися прямыми L1 и Lz. Дл я решения этой
з ада чи достаточно построить плоскость по, указ а н ную в преды
ду щем пункте, и найти расстояния от любой точки прямо й L z
до плоскости по .
ГЛАВА 6
Л И Н И И В ТО Р О ГО П О РЯ Д К А
В этой главе изучаются геометрические свойства эллипса ,
гиперболы и параболы, представляющих собой линии пересе
чения кругового конуса с плоскостя ми, не проходящими через
его вер ш и н ы . Эти линии часто встречаются в р азличных врпро
сах естествознания. Например, движение материальной точки
под воздействием центрального поля силы тяжести происходит
по одной из этих л и н и й . В главе также исследуются кривые
второго порядка , т. е. линии, определяемые в дека ртовы х коо р
динатах, алгебра ическим и уравнениями второй степени . В част
ности, выясняется , что эллипс, гипербола и п а р а бола являются
такими линиями и что этими трем я линиями и изученными в
предыдущей гл аве линейными образами исчерпываются все
л и нии, определяемые алгебраическими ур авнениями · второй
степени.
резок.
� 11 К А Н О Н И Ч ЕСК.ИЕ УРА В Н Е Н ИЯ 1 43
�
скольку при алгебра ических преобр азов а н иях, связ а н н ых с из
бавлением от р адикалов, могл появиться «лишние корню>, мы
должны убедиться в том, что любая точка М , координаты ко
торой удовлетворяют уравнен (6.4 ) , р а с полагается н а да нном
�эллипсе. Для этого, очевидно, достаточно доказать, что вели
чины r 1 и r2 для ка ждой точки удовлетворяют соотношению
(6. 1 ) . Итак, пусть координаты х и у точки М удовлетворяют
уравнению (6.4) . Подставляя з н ачение у2 из ( 6.4) в правую
часть в ы р а жения ( 6. 2 ) дця r 1 , после несложных преобразова-
н ий н а йд е м , что
с r1 = � (а + � х )2 • Так к ак а + � х > О * * ) , то
с
= а + -а х. овер ш е н н о а налогично н а и дем , что r2 = а - -
с
а х.
u
r1
Т аки м обр а зо м , для р ассматриваемой точки М
с с
Г1 = а + а Х, Гz = а - а Х' (6 . 6 )
rде
(6 . 1 0 )
Мы должны убедиться в том , что уравнение ( 6.9 } , получен·
ное путем алгебраических преобразований уравнения (6.8)_ , не
приобрело новых корней . Для этого достаточно доказать, что
для каждой точки М , координаты х и у которой удовлетворяют
уравнению ( 6.9) , величины r 1 и r2 удовлетворяют соотношению
.( 6.7) . Проводя р ассуждения, аналогичные тем, которые были
сдела н ы при выводе фор мул (6.6) , найдем для интересующих
{
нас величин r 1 и r2 следующие выражения *.} :
/(
р
� х -2
• ) 2 + У2 = т + х р (6 . 1 4)
дящия
* ) Если эллипс представляет собой окружность, то любая прямая , прохо·
через центр окружности.--является осью симметрии. Отметим, что цен·
тром эллипса является точка пересечения гла в н ых осей.
1 50 ЛИНИ И ВТОРОГО ПОРЯДК:А [ГЛ. 8
У=� Х. (6 . 1 9)
а
х2 l/ 2
* ) Из к а нон ического у р а внения гипер болы вытекает, что (i2 = 1 + {;2•
r.е. х2/а2 ;;,, !. Последнее н ер а венство э1< в и в алентн о н еравенству \ x l ;;,, а .
* * ) Буде м говорить, что точка М плоскости ле ж ит за диаго11 а л 1,ю п р я
моуголь н и к а D, если nерп1:: 1 1дикуляр , опущен н ы й из М н а ось О х , пересекает
у- у= х + -V� 2 - а2
(6 .20)
Рис. 6.7
у =- Х у = - - Х.
ляются ур ав нени я м и
ь ь
и (6 . 2 1 )
а а
(6.24)
3 а м е ч а н и е 1 . Учитыв ая связь вел ичины с с длинами а
и Ь больш о й и м алой полуосей эллипса (с длинами действи
тельной и мнимой полуосей гиперболы) (см. формулы (6.5) и
(6. 1 0) ) , легко получить след у ющ и е выр ажения для эксцентр и-
ситета е :
для эллипса е= лJ 1 �
- , (6 . 2 5)
с р а в н ы м и отношениями Ь(а .
совпадали. Тогда и з ка н о 1ш ч е с к и х уравнений легко следует подобие кривых
§ З] ДИРЕКТРИСЫ ЭЛЛИПСА, ГИПЕРБОЛ Ы И ПАРАБОЛ Ы 1 57
в ы р а же н и е :
( 1 1 - ez
р = а 7 - е = а · --е- ·
) (6 . 27)
р
Используя фор мулы ( 6.28) и ( 6.30) ,
н айдем, что
а а
r1/d1 = e, i = l , 2.
8 tf
Теорема доказ ана.
р нс . 6 . 1 1 2°. Директрисы гиперболы. Обо·
зн ачим чер ез с половину р асстоя·
ния между фокус а м и F 1 и F2 гипер болы, через а ее дей·
ствительную полуось и чер ез О ее центр (рис. 6. 1 1 ) . Пусть
е - эксцентриситет этой гиперболы и n плоскость, в которой
-
и R.O !!_ е
==
1 - е2
6 В, А. Ил ь и н , Э. Г. Позняк
162 Л И,Н И И ВТО Р ОГО ПО Р ЯДКА [ГЛ 6
и точки прямой D, можно исключить из р ассмотрения, так как для этих то
от прямой D. Однако точки, р асположенные спр ава от прямой D, равно как
чек r/d ;;:а: 1, а мы ра сс м атриваем точки, для которых r/d = е � 1 ,
§ 3] ДИРЕКТРИСЫ ЭЛЛИПСА, ГИ П Е РБ ОЛЫ И ПАРАБОЛ Ы 163
D - д и р е к т р и с о й, а е - э к с
ц е н т р и с и т е т о .м гео.метриче-
•
1 ·
1'еорема 6�4.
утверждения.
Пусть L - кривая,
являющаяся эллипсом * ) , гиперболой или
/
параболой. Можно указать такой круго
вой конус К и такую плоскость л: , что
3 а м е ч а н и е. П усть L * - линия
замечание.
6*
1 61 JJ И Н И И В ТО Р О Г О П ОРЯДКА [ГЛ G
p = R. (6.46)
* ) То сет�, элл и п с , г и п е р G ол а и л и п а р а бо л а .
**) а =F О, T a J( к а к п л о ск о с ть л * н е пер п ендикул я р н а о с н ко н у с а .
§ 3] Д И Р Е КТР И С Ы ЭЛЛИ ПСА, Г И П Е РБОЛ Ы И П А r Л Б О Jl Ы 1 65
.{
�Т аким о б р азо м, по лярное уравнение гипербо л ы имеет вид
1
ре
е cos <р
для в е т в и W1,
- ре
(6. 50)
-
Р-
_
1+ е cos qJ
для ветв и W 2•
при (6.52)
хЬ
где
коэффициент k = у , , у
, - - производная функции
2
= �
а А f1 -�
а2
'V
{6.5 1 ) , вычи сленн ая в точке х, то уравнение касательной и меет вид *)
у-у = -
а2
� хЬ
х
2
(Х - х). (6.55)
1 -- 2
а
Хх Y tf
---;;г - ьг
для ги п е рб о .ш = 1, (6.57)
щего пункта этого не может быть. Таким образом, указанное выше свойство
::>ллипса действительно справедливо.
Совершенно ан алогично устанавливаются следующие оптические свойст в а
1 °. Лучи света, исходящие и з одного фокуса F 1 гиперболы, после зеркаль
гипер болы и парабол ы :
ного отражения от гиперболы кажутся исходящ ими из другого ее фокуса F2
(рис. 6. 1 7 ) .
2°. Л уци света, исходящие из фокуса параболы, после зеркального отра
�
�!11 волi/1.�. R Г�
жения
3 а м еча н ие
от параболы образуют пучок, параллельный оси параболы (р ис. 6. 1 8) .
1. . , IJCl!l.
свойства элл и п с а , гипер болы и п а р а -
ОптичеСJ<ие
L
.Il
Рис. 6. 1 7 Рис. 6. 1 8
(6 .62)
гд е
а� з = а 1 1 Хо + а 1 2Уо + а 1з•
а�з = а 12хо + а 22Уо +- аш (6.63)
а;з = а 1 1 х 6 + 2 а 1 2Х0Уо + а22У6 + 2 а 1зхо + 2 а2зУо + азз ·
О б р ащаясь к ур авнен и ю (6.62 ) , мы можем сдел ать следую·
щий важный в ывод: п р и п ар аллелыюм переносе системы к о
ординат коэффициенты группы старших членов не изменяются ,
а коэффициент ы гр у ппы линейных членов преобразуются по
форлtулам (6.63) .
3 а меч ан и е 1 . Используя пер вую и вторую из формул
(6.63) , можно, очевидно, в ыр ажен ию для аЗз п р идать следую
щий вид:
(6.64)
L '
в системе О х у' . Очевидно, это ур авнение имеет вид
а,1 1Х
'2 2 , х
а12 У , '2 2 а1зХ
а22У+ , , '+
2 а2зУ
, аз,з = о • + '+ ,+ (6. 66)
где *)
1
2 ( а 1 1 - а 22)
В ведем, далее, угол а , считая cos а = , sin а = А
�2
при А =1= О и а = О при А = О, и угол � . с ч ит а я co s В = а 2 э/С,
s in В = а 1 з/С при С =1= О и В = О при С = О * * ) . Тогда, оче в ид ·
но, выр ажения _(6.67) дл я коэффициентов а ; 1 можно переп исать
) При выводе этих формул использовались р авенства 2 sin <р cos <р =
1 - cos 2<р 1 + cos 2<р
*
2
2<р,
2
SJП <р , COS <р
2
SJП
2
• •
= = = ·
ь .;,��дующей форм е :
а; 1 = А s i п (2tp + а) + В ,
а�2 А c o s (2<р + а) ,
=
а�� = А s i п (2<р + а) + В,
-
(6 .68)
а�3 С s i п (<р + � ) ,
=
а�3 = С c o s ( <р + � ) ,
al
'
1 а12 а з 1
'
а 1 2 а22 а2З
а1з а 2з а 1 з Х о + а2зУо + азз
а22 аа�3 1
' '
а, а12
1
' '
!'3 = а , 2
'
аJЗ
'
а2З
;з 1 ·
а зз
Р азл агая этот о п р едел итель по элем ента м по с л еднего стол бца ,
уч иты вая только что дока з а н ную и н в а р и а нтность 1 2 , т. е . р а
в енство
а;21
( 6 . 70 )
, / п;2 = С s iп (<р + А )
t'
1 А cos
С sin
(2<р + а) -А
С
si n
cos
(2<р + а) + В \=
1 аiЗ
02
�3
a 1 :J 1 ' (<р + �) (<r + 1"А )
�
/ 2 и / 3 • В з а в и с и м о с ти о т з н а к а и н в а р и а н т а / 2 э т и л инии р а з
д. �.51 JOI.Ji.L�MY.IOЩ� �-l!:i..!W_L_
эллиптическ.ий тип , есл и /2 >�
гиперболический тип , есл и / 2 < О,
параболический тип , е сл и /2 = о.___
О •1евидно, ти линии н е меН.1ПГтсJi nр и измен е нии де к артово й СИ·
пе.мы к.оординат. Н и ж е мы дадим полную кла ссификацию ка
ждого из у к а з а н н ы х ти пов л и н ий.
3. Центр л и п и и второго порядка. В п р едыдущем пункте м ы
уст а н о в ил и , ч т о п р и п а р аллельном пер еносе дек а р товой систе
мы и з м е н я ются лишь к о э фф и ци ент ы груп п ы л ин е й н ых члено в
у р а n н е н и я л и н и и второго п о р ядк а .
П о п ыт а емся н а йти т а кую дека р тову систему ко о рд и н а т
О' х'у' ( п о л у ч е н ную п а р а лл ельн ы м переносом системы Оху) , в
Еоторой ур а в н е н и е '(6.62) данной линии L
в торого пор ядка н е
со,:!еr_жало бы сл агаемых 2а�3х' и 2а;3у', т. е, коэфф ици е н ты
� 5] КРИВЫЕ ВТОРО ГО П ОРЯДКА 175
lз =
о о
(6 .77)
(6 . 78)
(6 . 80)
(6 . 8 1 )
пр и /3 <О
--=
( . / ) (
х"2
�
2 +
/
)2 = 1 , у" 2
. / /
(6.8 2)
� ��
� а� ";2 � а
( ,Уа�� ) ( ,У ; )2 = О,
у х"2
, + 1 2 1
( 6 .83)
. а
п р и /3 > О
-/3
11
- и
-/3
ставляе т собой каноническое ур авнение эллипса с полуосями
--
--,-
, . Уравнению (6.83) , отвеч ающему случ а ю
12а 1 1 12а22
/3
"
= О, удовлетвор яют координ аты лишь одной точки х" = О,
у = О. Ур авнению ( 6.84 ) не удовл етворяют коорди н аты ни ка
ко й точки плоскости, ибо левая ч а сть этого ура внения не от
р ицательна, а правая отр ицательна. Для з а вершения доказ а
тельств а теоремы достаточно з а м етить, что каждое из ур ав не
ний (6.82 ) , {6.83 ) , ( 6.84) эквивалентно исходному ур ав нению
, ( 6.60) соответственно дл я случаев /з < О, /3 = О, /3 > О, и по
этому сдел анные выше геометрические в ыводы дл я ур а внени й
(6.82 ) , (6.83 ) и ( 6.84) спр а в едл ивы и для уравнения (6.60 ) .
Теорема доказа н а .
3 а м е ч а н и е 5 . Остановимся nодробнее н а случае, когда
ур авненuе (6.60} эллиптического тип а определяет элл ипс. Пр и
этом м ьi будем считать, что это ур а внение нормировано т.ак,
ч т о 11 > О. Координаты (хо, Уо) центр а этого элли пса пр едстав
л яют собой р ешение систе м ы (6.74 } . Так как нов а я ось О'х"
является одной из гл авных ·о сей эллипса (это вытекает из того,
ч то в системе О'х"у" уравнение эллипса и меет канонический
в ид, и поэтому оси координ ат О'х" и О'у" сов п адают с глав
ными осями эллипса ( с м . п . 1 § 2 этой гл авы} } , то угол н а клона
липса
. р авны ---
-/3 � - /3 ,
<р это й оси со ста р ой осью Ох может бьrть на йден по формуле
(6.79) . Наконец, из уравнения (6.82) в ытекает, что полуоси эл-
11 и ---11 причем коэф ф ициенты
I 2a 1 1 I2a22
а �� и alz вы р а ж аются через коэффициенты a ;i и сходного ур а в -
нения (6.60) (см. первую и третью формулы (6.67) ; при э том
нужно положить а 11 = а 1 1 и а2"2 = а'22)
11 ,
•
§ Б] SАД АЧИ НА П РЯМ УЮ И ПЛОСКОСТЬ В ПР ОСТРАНСТВЕ 179
= а 11 а22,
··
( 6 . 8 1) 12
· �--. � - ---- - --·----
а�'1
" =
" "
и а2' 2 и меют
. -·
'
= -!,
( -У ,::�, ) - 1, (� а;;)
х "2
) у"
2
'
= 0 = 0, (6 .86)
(-v:�,1 у (-v�al2 У
пр и /3
2 2
х" у"
( vz:;� У ( v !2 (-_ :; ) у
п р и /3 >О 1. (6 . 87)
1 /
но р а в н ы /
'\/ l2
· (-/а"а22) и
Z2a 1 1
- �� •
( �х" -1-
у
х
��·) ( �
""
---
1
,у::;;: у" )
= 0.
: во Л И Н И И ПТОРОГО П О Р Я Д К А [ГЛ G
,..j,,-
а11 а2 2 ,..jа,,-1 1 -v-
- а 22
Для з аве р ш ен и я дока з а тельств а теор е м ы достаточно з а метить,
11то к а ж до е из у р а в н е н и й ( 6.85) - ( G . 87) э кв и в ал ентно исход
ному ура внению (6.60 ) соопзетствешю для случ аев /3 < О ,
/ 3 = О, /3 > О, и поэтому сдел а н н ые выше геом етр ические вы
воды для ур а в н е н и й ( 6 . 85 ) - (6.87) спр а ведл и в ы и для ур а в не
ния ( 6.60) . Теорем а дока з а н а .
3 а м е ч а н и е 6. Остановимся подробнее н а сл у ч а е, когда
уравнение ( 6.60) г и пе р бол и ч е ско г о т и п а оп р еделяет ги п е р болу ,
т. е . когда f з =/= О.
Координаты (хо, Уо) ц е н т р а этой гиперболы представляют
собой решение систе м ы ( 6.74 ) . Угол н а кл о н а qJ оси О х ' ( я в
ляющейся л и б о действительной, л и б о мнимой осью гипе р болы )
со ста р о й осью Ох может б ы т ь н а йден по формуле (6.79) . Н а
к онец, в п роцессе дока з а тельс т в а теорем ы б ы л и ука з а н ы вел и
чины действительной и м н и м ой п олуосей гипер бол ы . И х з н а че
ния вычисляются через 1 2 , 13 , а;'1 и а; . К оэ фф ициенты а ;11 и Щ�
выр аж а ются через коэфф ициенты a if исходного ур а внени я
( 6.60) ( с м . первую и третью формулы (6.67) ; при этом нужно
положить а ;� = а ; 1 1 1 а �'2 = а ; 2 ) . Ур а в нения асимптот гипер бол ы
без труда м огут быть н а йдены п о ее к аноническим уравнениям
( 6 . 85 ) и л и ( 6.87) .
Итак, з н а я и н в а р и а н т ы и формул ы преобр азования к оорд и
н а т , м о ж н о в ы числ и т ь действ ительную и м н и мую полуоси ги
п е р бол ы и выяснить ее р а сположен ие относительно исходной
с и с т е м ы коо р д и н а т Оху.
6. Упрощен ие уравнен ия л и н и и парабол ического тип а ( /2 = 0 ) .
Кл асси ф и 1{а ц и л л ин и й п арабол и ческого ти п а. З а м ет и м , в о - п е р
в ы х , что д Ji я ур а в н е н и я ( 6.60) п а р а бол ического типа и н в а р и а н т
·
11 отл и ч е н о т н у л я . В с а м ом деле, если /1 = а 1 1 + а 22 = О, т о
2 2
? 11 а�2 а
n = a� 1 + a22 + 2a 1 1 a22 = 0 , т. е . а1 1 а 22 = - -2- - 2 . Т а к к а к
/2 = а 1 1 а 22 - aJ2 = О , то , и с п оль з уя толь к о что полу ч е н н ое в ы р а -
" ат1 а�2
жение для а 1 1 а ш н а иде м ч т о - 2 - 2 = а; 2 , откуд а след у ет,
что а 1 1 = а22 = а 1 2 = О. Но, п о п р е д поло ж ению , п о I<р а й н е й
мере один и з коэ ф ф и циентов а 1 1 , а 2 2 , а 1 2 отл и че н от нул я . Ита к,
J =!= о .
Произв едем ста нда ртное упрощение у р а в н е н и я ( 6 .60 ) :
1 ) если а 1 2 = О, то остав и м систему коо р ди н ат Оху н е и з м е н н о й
� 51 ЗАДАЧИ НА П Р ЯМУЮ И ПЛОС КОСТЬ В П Р О СТРА Н С Т В Е 18 1
/1
(у + у
а2з )/
2
+
1
2 , / а2з
а13х + а33 - -1-
1 = 0.
,2
(6.89)
а
(
п а р аллел ь н ы й перенос системы коорди н а т Ох'у'. Н а м н у ж но,
)
; 2
3
чтоб ы пер вое сл агаемое /1 у ' + -Т: в левой ч асти ( 6.89)
2
имел о вид /1 у" , а остальные сл агаемые сохр а нили свой в и д.
1
х" = х', а 23 ·
у11 = у / + -т: (6.90)
В ведем обоз н а чения
(6 . 9 1 )
,
+
' , , ' ' 1 , 1
на х а
...
а 13 н а а 23 и а23 н а а 1 3 п ерех од и r в у р внение
ч и м у р а в не н и е
значении х на у , у (6.88),
1 82 ЛИ Н ИИ ВТОРОГО ПОР5IДI<А [ГЛ. 6
примет вид
(6 .92)
Дока�r�JдепеQ�. след}айщ.ее-у-Ч'верждение; .
- 1 еорема 6.8. Уравнение ( 6.60) линии L параболического
- - .. -·-- ----- _ .
1 \+1 1+1 [.
Величины
а11 а12 а22 а2з а зз а�з
11 = а1 1 + az2 + азз . 12 = а 12 а22 а2з а з з а�з а1 1
а11 а12 а�з а14
1 1
а1 1 а12 а1з
а12 а22 а 2з а 24
/3 = а12 а22 а 2з , /4 =
а�з а2 з а зз ан
а�з а2 з а зз
а14 а 24 а34 а44
являются инвариантами уравнения ( 7. 1 ) поверхности второго
порядка относительно преобразований декартовой системы ко
ординат.
Доказательство этого утверждения пр иведено в в ыпуске
«Линейная алгебр а » н астоящего курса.
§ 11 ПОНЯТИЕ ПОВЕРХНОСТИ ВТОРОГО ПОР�ДКА 187
(7 .7')
Очевидно, если точка М (х', у ' , z') р а с п о ло же н а на поверхности
S (т. е. ее координаты х', у', z' удовлетвор яют уравнению
, (7.7') ) , то
и точка м• ( - х', -у', - z') , сим метр ичная с М о тно
сительно О', также р асположена на S. Таким обр азом, есл и
у поверхности S существует центр О', то относительно центра
т о ч ки S р а сп о лаг а ются си.м.метричными п ар ами , т. е. центр по
верхности является ее центролt симметрии.
Наличие центр а у поверхности второго порядка связано с
р азреши мостью ур авнений центр а (7.7) . Если уравнения центра
имеют единственное решение, то пов ерхность S втор.ого порядка
будем н аз ы в а ть ц е н т р а л ь н о й * ) .
Отметим , что центральными поверхностями являются лииtь
те, для которых и нв а ри а нт 13 отличен от нуля, ибо этот инва
риант равен определителю системы (7.7) ур авнений це нтр а .
4. Стандартное упрощение любого уравнения поверхности
второго порядка путем поворота осей. Докажем , что в не которо й
'декартовой прямоугольной системе координат урав нение даююil
*) Таким _обр азо м, 1.1.eJ:!TPl\ � �lia!! п оверхност ь имеет ед11нствен ныА центр1
1 88 П О В Е РХН ОСТ И В ТО Р О ГО П О Р ЯДКА [Г Л 7
(7. 1 8)
(7.26)
(3) Пусть р =F О.
П роизведем пар аллельный перенос систе
мы координат, выбир ая новое н ач ало в точке с координатами
( О, О, 2qP ) .
При этом о ставим ста р ые обозначения оор д ина
к
х, у; z. Очевидно, для того чтобы получить уравнение поверх
- т ·
имеет BHtJ.
(7.29)
Х = Х, , ,
у = у , Z = Z' + а 3-4 .
-, (7.30)
а зз
Подставляя х', у' и z', н айденные из (7.30)' в левую часть (7. 1 5)1
1 1 1 1
и з а меняя затем а33 н а а33 , а14 н а р , а24 н а q и а44 н а r , по-
Л учим следующее ур авнение поверхности S в новой системе ко·
ор динат Oxyz :
a33z2 + 2рх _+ 2qy + r = О . (7.31)
{ 1) Пусть р = О, q = О. Поверхность S распадается на пару
параллельных плоек-о стей
z = ± ,У - r/a33 • (7.32)
При этом, очевидно, эти плоскости будут мнимыми, если знаки
а38 и r одина ковы, и вещественными, если зн аки а33 и r различ·
ны, причем при r = О эти плоскостu сли в а ю тся в одну.
(2) Хотя бы один из ко эф ф ициентов р или q отличен от нуля.
В этом случае повернем систему координат вокруг оси O z так,
чтобы новая ось абсцисс стала пар аллельной плоскости 2рх +
+ 2qy + r = О. Легко убедиться, что при таком выборе системы
координат, при условии сохранения обозначения х, у и z для
новых координат точек, уравнение (7.3 1 ) примет вид
a33z2 + 2q'у = О, (7 .33)
которое является уравнением пар аболического цилиндра с об•
разующими, пар аллельными новой оси Ох.
.�
Ь " = Ь "\/ + h2
1 17 . (7 . 38)
!/
ГopлotJotl .уллипс
ь2 с2 = 1 а • --
- -- и -.- с2
=- 1 .
(7.4 1 )
плоскостями z = -с и z = с не со
держится точек р ассматр ива емой по
верхности ; в силу симметрии относи
тельно плоскости Оху она состоит из
д вух полостей, расположенных вне
указанного выше слоя.
Н а рис. 7.5 изображена «Карта»
верхней полости двуполостного гипер ·
болоида . Из формул (7.4 1 ) следует,
что При увеличении h эллипсы ( 7.40)
неограниченно увеличиваются, та к что
полости двуполостного гипер болоида
Рис. 7 .5 Ри с . 7.6
3 . П ар аболоиды .
1°. Эллиптический параболоид. Обращаясь к каноническому
уравнению (7.281 эллиптического параболоида
(7.28)
нением
(7 .42)
где
а• = а ,Yfi, ь· = Ь ,Yli.
(7.43) °'
(7.46)
с полуо с я м и
а · = а ...} 7i, ь · = Ь ..,/h, ( 7.47)
а при h < О - сопряженные гиперболы для гипер бол ( 7.46)
х2 у2
-
•2
-- 2 = -1 (7. 4 8)
а ь•
с полуо ся м и
a· = a .../ - h , ь· = ь .../ - h . (7.49)
Используя формулы (7.46) - (7.49) , легко построить «карту»
гиперболического параболоида ( рис. 7.8) . Отмети м еще, что
плоскость z = О пересекает гиперболический пара болоид по
двум прямым
(7 . 50)
Из фор мул ( 7.47)' и (7.49 )' вытекает, что прямые .(7.50), яв
ляются асимптота.м и гипер бол (7.46). и (7.48). .
§ З] ИССЛЕДО ВАНИ Е ФОРМЫ П OBEPXHOCTEJ'I ВТОРОГО ПОР ЯДКА 20 �
.х
ЦllllUHDP
J;;punm1111c.-кшl ГuncpliuлutiнcklitZ
цилинt7р
/lupotio11u11ccкu/1
l/UllUHilp
Рис. 7. 1 1
Рис. 7. 1 2 Рис. 7. 1 3
(7.53) при Л. =
оо . Точно т а к ж е легко убедиться, что люба я
с
::... - �
а
= л ( 1 · + .!L)
Ь •
л -+-
(х
а
z
с
)=1 - -
у
Ь '
перболоиде (7. 1 9 ) .
Нетрудно заметить, что прямые Г). н Г� различны. Т а ким
образом, на однополостном гиперболоиде имеются два р азлич-
ных семейства прямых г). и г�. Для завершения доказатель
ства утверждения достаточно убедиться, что через любую точку
ги перболоида проходит некоторая прямая семейства Г). и неко·
торая прямая семейства Г�. Мы ограничимся доказательством
этого лишь для семейства Г)., ибо для семейства ГА. доказа
тельство аналогично.
Пусть точка М о (хо, уо, z0) находится на гиперболоиде { 7 .20)' ,
rra к что
'J:'l у2 z2
о о
о
аа- + ьа - сг =
1
·
(7 .54)
204 ПОВЕРХНОСТИ ВТОРОГО ПОР.ЯДКА [ГЛ . 7
а
.!.д._ -� с
= ( - }!у_)
Л0 1 Ь
. (7. 55)
( ; + :0 ) =!= 1 + У; .
х
Л0 ( 7 . 56)
с тва ми пря мых П.�." и П�, которые соответственно зада ются урав
нениями
где Л Е ( - 00 1 оо).
ПРИ ЛОЖЕНИ Е
* ) То ест ь «равен :. . .
* *) В о все м остально м как природа с а ми х о б ъектов, так и с посо б з ада •.
н ия с оот но ш ений м ежду эти м и о бъ ект ами я в ляются прои зв ольн ыми ,
206 ПРИЛОЖЕНИЕ . . ПРОБЛЕМЫ ОСНОВАНИ1'! ГЕОМЕТРИИ
.
одна . . · .
208 ПРИЛОЖЕ НИЕ. ПРОБЛЕМЫ ОС НОВАНИП ГЕОМЕТРИИ
'
Предлагаем читателю, опираясь на аксиомы 1, 1-8 принад:
лежности и а ксиомы 1 1 , 1-4 порядка , последовательно доказать
следующие утверждения *.)' .
Теорема 7. Среди любых трех различных точек одной пря
мой всегда существует одна точка, лежащая между двумя
другими. ·
точка луча h.
1 1 1 , 4. Пусть даны L. (h, k) на плоскости а, прямdя а' на этой
же или на какой-либо другой-плоскости а ' и задана определен
ная сторона плоскости а' относительно прямой а'. Пусть h' -
луч прям.ой а', исходящий из некоторой точки О'. Тогда на
плоскости а' существует один и только один луч k' такой, что
L. (h, k) конгруэнтен L. (h', k') , и при этом все внутренние точки
L. (h', k') лежат по заданную сторону от прямой а'. Каждый
угол конгруэнтен самому себе.
1 1 1 , 5. Пусть А , В и С - три точки, не лежащие на одной пря
мой, А', В' и С' - другие три точки, также не лежащuе на
одной прямой. Тогда, если отрезок АВ конгруэнтен отрезку
А'В', отрезок А С когруэнтен отрезку А 'С' и L. BA C конгруэнтен
L. B'A 'C', то L. A B C конгруэнтен · L.A ' B ' C' и L. A CB конгруэнтен
L A'C'B' .
Догоnоримся теперь о . сравнении неконгруэнтных отрезков
и углов.
Будем говорить, что отрезок А В больше отрезка А 'В ' , если
•
мы получим, что
п · ОМ1 < (т + 1 ) · ОЕ , (П.3)
и в силу сдела нного выше выбора номера п
п ОМ2 > (т + 1 ) О Е.
• • ( П. 4)
Из ( П .3} заключаем, что рациональное число ( т ':f l )jn отно
сится к верхнему классу по отношению к точке М 1 , т. е. ( т +�
.+ 1 ) /п � х 1 , а из (П.4) заключаем, что то же самое р ацио.;
н альное число (т + 1 ) /п относится к н ижнему кл ассу по отно
шению к то ч ке М 2 , и поэтому х2 > ( т .+: 1 ) / п. Тем сам ы м не
равенство х2 > х1 доказано.
Если теперь м ы имеем на прямой а какое угодно число то ·
чек, и дущи х в порядке О , М1 , М2, . . . , Мп (в сторону Е * ) ) .
то из только что доказанного утверждения для координат этих
точ ек получим О < Х1 <. Х2 < . . . < Хп.
Тем самым для случая р асположения точек по ту же сторону
от о , · что и Е, требование 2° доказано. Для точек М, лежащих
на прямой а по другую сторону от О, совершенно аналогично
вводятся отрицательные коqрдинаты и повторением тех же рас
суждений м ы устанавливаем требования 1° и · 2° в общем виде .
Дл я уста новления требований 3° и 4° м ы сначала докажем,
что если на прямой а в положительную сторону от О \ взяты
точки М 1 , М 2 и М, причем М 1 л ежит между О и М и отрезки
М1М и ом.2 кон груэнтны, то х = Х 1 + Х2 (здесь х , Х 1 и Х2 -
координаты точек М, М1 и М2 соответствщшо) .
Возьмем из нижних кл ассов, отвечающих координатам х1'
и х2 , два произвольных р ациональных числа; обозначив их (пос
ле приведения к общему знаменателю п) соответственно через
m 1/n и т2/п. Тогда
·
п · ОМ2 � � ОЕ. •
ординат е х.
Совершенно аналогично; взяв любые р ациональные числа
т1/п и m 2/n из верхних классов, отвечающих координатам х 1
н Х2 , мы убедимся в том, что рациональное число + :1 :2
принадлежит верхнему классу, отв�чающему координате х.
Но тогда из .о пределения суммы вещественных чисел и из
rого, что рациональные числа как из верхнего, так и из ниж
него классов как угодно точно · приближают соотв.е тствующую
координ ату, мы получим, что вещественное число х р авно сум
м е х1 + х2 .
Тем самым нами доказано, что отложить от точки М1 с ко
ординатой х1 (в положителщую cтopot:ty) отрезок ОМ2 - это
все равно, ч то построить точку М с координатой х, удовлетво
ряющей условию х = Х1 + х 2, где Х2 > О - координата точки М 2 .
Это утверждение мы доказали для случая х 1 > О, но легко
рас пространить его и на общий случай· (предоставляем это чи
тателю) . Из доказанного утверждения сразу же вытекает тре
бование 4°, а для . докаЗательства утверждения 3° достаточно
·
Далее из уравнений
UX 1 + VY1 + W = 0, UX2 + VY2 + W = 0
вытекает, что и : v : w = (у , - У2) : (х2 - х1 ) : (Х1У2 - Х2У1 ) , та к
что точками (х1, у , ) и ( х2, У2) определ я ется только одна пря
мая (и : v : w) (аксиома l , 2) .
Наконец, спр аведливость а ксиомы 1 , 3 вытекает из того, что
уравнение (П. 6 ) с двумя неизвестными - х и у всегда имеет бес
численное множество решений и не всякая пара х и у есть ре·
шение уравнения ( П . 6) .
Теперь определим соотношение «лежит между». Так как
u 2 + t1 2 =F О, .то либ о и =F О, либо v =F О.
·
**). Так как точки {х1, у1). и {xz, У2) различн ы, то (х1 - .х2)2+ (У1-У2>. 2.�
1.и, Лv, Лw рассм атриваются как · тождественные.
.
· ·
�� .
§ 2) · НЕПРОТИВОРЕЧИВОСТЬ ГЕОМЕТРИИ Е ВКЛИдА 21�
т. е. и' : v' : w' = и : v : - ( ихо + vyo ) . Итак, отношения и' : v' : w '
торое числО'. Но тогда из ( П . 1 2 ) получим w' = -'А. ( ихо + vy0 ) ,
мой ( и : v : w ) .
Тем самым доказ ательство непротиворечивости пл аниметрии
Евкл ида з авершено.
3 а м е ч а н и е. Ан алогично доказываетtя н е п р о т и в о р е
ч и в о с т 1! с т е р е о м е т р и и Е в к л и д а . Для этого мы назы
-
и м ы его опустим. _
.
Это озн�чает, что в р ассм атриваемой нами модели спр аэед
лива аксиом а параллельности Лобачевского.
Тем самым мы Завершили до к аззтел ьств о непротиворечиво
сти планиметрии Лобачевского и одновременно показали, что
а ксиом а пар аллельности V Евклида не я_вляется следствием
а ксиом 1, 1 -3, 1 1-IV абсолютной геометрии.
5
ф нз 11 к и •
В ы п ус к
И Б N2 3240!