Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
Àëåêñàíäðîâ
Í. Þ. Íåöâåòàåâ
2-е издание
Ñàíêò-Ïåòåðáóðã
«ÁÕÂ-Ïåòåðáóðã»
2010
УДК 514.1(075.8)
ББК 22.151.1я73
А46
Александров, А. Д.
А46 Геометрия: учебник / А. Д. Александров,
Н. Ю. Нецветаев. — 2-е изд., исправленное. — СПб.:
БХВ-Петербург, 2010. — 624 с.: ил. —
(Учебная литература для вузов)
ISBN 978-5-9775-0419-5
Содержит основные разделы курса геометрии: аналитиче-
скую геометрию, элементарную геометрию на основе аксио-
матики, включая геометрические преобразования и построе-
ния, элементы многомерной и проективной геометрии, диф-
ференциальной геометрии и топологии, основания геометрии
с обзором теорий «высшей» геометрии.
Для студентов высших учебных заведений
УДК 514.1(075.8)
ББК 22.151.1я73
Р е ц е н з е н т ы:
В. Ф. Бутузов, д. ф.-м. н., профессор, заведующий кафедрой
математики физического факультета Московского
государственного университета (МГУ)
А. Б. Будак, к. ф.-м. н., доцент кафедры общей математики МГУ
Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Часть I
АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
3
Г л а в а V. Поверхности второго порядка . . . . . . . . . . . . . . . . . . . . . . . . . . 112
§ 1. Разные типы поверхностей второго порядка . . . . . . . . . . . . . . . . . . . . —
§ 2. Приведение квадратичной формы к каноническому виду . . . . . . . 123
§ 3. Классификация ПВП . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
§ 4. Прямолинейные образующие ПВП . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
Часть 2
ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
Часть 3
ПРЕОБРАЗОВАНИЯ. ДРУГИЕ ГЕОМЕТРИИ
Г л а в а I. Наложения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 258
§ 1. Отдельные виды наложений . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . —
§ 2. Повороты . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
§ 3. Основные теоремы о наложениях. Их классификация и компо-
зиции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272
§ 4. Теоремы о композиции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 278
4
§ 5. Симметрия. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284
§ 6. Правильные многогранники . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
Г л а в а II. Подобия и инверсии. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 297
§ 1. Преобразования подобия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . —
§ 2. Инверсии . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299
Г л а в а III. Аффинные преобразования и аффинная геометрия 304
§ 1. Параллельное проектирование . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . —
§ 2. Аффинные отображения и аффинная геометрия . . . . . . . . . . . . . . . 308
§ 3. Разложение аффинных отображений на простейшие. . . . . . . . . . . . 313
§ 4. Представление аффинных отображений и наложений в коорди-
натах . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319
Г л а в а IV. Проективная геометрия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 324
§ 1. Проективная плоскость и проективная геометрия . . . . . . . . . . . . . . —
§ 2. Проективная плоскость как связка прямых. Координаты . . . . . . . 332
§ 3. Принцип двойственности . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 339
§ 4. Проективное пространство . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 346
Г л а в а V. Многомерная евклидова геометрия . . . . . . . . . . . . . . . . . . . . 350
§ 1. Аксиомы n-мерного пространства. Векторы и координаты . . . . . —
§ 2. Прямые и плоскости разного числа измерений . . . . . . . . . . . . . . . . . . 356
Часть 4
ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ
5
§ 10. Площадь поверхности . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 414
§ 11. Сферическое отображение поверхности . . . . . . . . . . . . . . . . . . . . . . . . 417
§ 12. Внутренняя геометрия поверхности . . . . . . . . . . . . . . . . . . . . . . . . . . . . 420
§ 13. Формула для гауссовой кривизны и следствия из нее. Основные
уравнения теории поверхностей . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 423
§ 14. Геодезическая кривизна и геодезические кривые . . . . . . . . . . . . . . . 428
§ 15. Полугеодезическая параметризация поверхности. Экстремаль-
ное свойство геодезических . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 431
Часть 5
ТОПОЛОГИЯ
Часть 6
ОСНОВАНИЯ ГЕОМЕТРИИ
6
§ 2. Определение площади измерением . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 540
§ 3. Аддитивность площади . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543
§ 4. Фигуры с определенной площадью . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 546
§ 5. Площади равных многоугольных фигур . . . . . . . . . . . . . . . . . . . . . . . . 548
§ 6. Окончание доказательства теоремы I . . . . . . . . . . . . . . . . . . . . . . . . . . . 551
§ 7. Площадь немногоугольных фигур: теоремы II, IIа . . . . . . . . . . . . . . 554
§ 8. Еще о фигурах с определенной площадью . . . . . . . . . . . . . . . . . . . . . . 558
§ 9. Объем . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 561
Г л а в а III. Другие основания геометрии . . . . . . . . . . . . . . . . . . . . . . . . . . 563
§ 1. Координаты . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . —
§ 2. Аналитические основания геометрии . . . . . . . . . . . . . . . . . . . . . . . . . . . . 566
§ 3. Аксиоматика в отвлеченном понимании; ее модель, непротиво-
речивость, независимость, полнота . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 574
§ 4. Разные системы аксиом . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 581
Г л а в а IV. Разные геометрии . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 587
§ 1. Геометрия Лобачевского; ее модели . . . . . . . . . . . . . . . . . . . . . . . . . . . . . —
§ 2. Факты геометрии Лобачевского . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 595
§ 3. Многомерное евклидово пространство. . . . . . . . . . . . . . . . . . . . . . . . . . . 599
§ 4. Групповой принцип оснований геометрии . . . . . . . . . . . . . . . . . . . . . . . 603
§ 5. Геометрия теории относительности . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 604
§ 6. Риманова геометрия и другие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 608
ПРЕДИСЛОВИЕ
Глава I
НАЧАЛА АНАЛИТИЧЕСКОЙ ГЕОМЕТРИИ
§ 1. Прямоугольные координаты
ax + by + c = 0 (1)
y = kx (k = tg α). (2)
Пусть теперь прямая p не прохо-
дит через начало, а пересекает ось y в
точке A с координатой y = b, так что
b = ±OA. Проведем через начало пря-
мую q, параллельную p (рис. 6). Каж-
дая прямая, параллельная оси y, пере-
секает обе прямые в некоторых точках
P , Q, и мы получаем параллелограмм
OAP Q, так что QP = OA. Поэтому ко-
Рис. 6
ордината y точки P отличается от ко-
ординаты точки Q на столько же, на сколько координата A отличается
16 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
от координаты O, т. е.
yP − yQ = yA − yO , yP = yQ + b.
y = kx (yQ = kxQ ).
y = kx + b. (3)
ax + by + c = 0, λax + λby + λc = 0, λ 6= 0.
I.2. ПРЯМАЯ. ДЕЛЕНИЕ ОТРЕЗКА В ДАННОМ ОТНОШЕНИИ 17
Рис. 8 Рис. 9
(x − x0 )2 + (y − y0 )2 = r2 . (2)
x2 + y 2 + ax + by + c = 0, (3)
(x − x0 )2 + (y − y0 )2 − x20 − y02 + c = 0
ляет».
20 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
(x − x0 )2 + (y − y0 )2 = 0.
(x − a1 )2 + (y − b1 )2 = (x − a2 )2 + (y − b2 )2 . (7)
a = 2(a2 − a1 ), b = 2(b2 − b1 ),
(9)
c= (a21 + b21 ) − (a22 + b22 ).
BM 2 = x2 + y 2 ,
AM 2 = (x − a)2 + y 2 .
А по условию:
AM 2 = k 2 · BM 2 .
Очевидно, мы получим уравнение вида (3), а из него найдем центр и
радиус окружности. (Проведите это решение в деталях.)
4 Аполлоний (около 262–190 до н. э.) — один из великих древнегреческих геомет-
k1 · A1 M 2 + k2 · A2 M 2 + . . . + kn · An M 2 = c = const? (11)
r = aϕ (a > 0).
§ 5. Преобразование координат
Переход от одних координат к другим — от одной системы коорди-
нат к другой — совершается путем преобразования координат. Форму-
лы преобразования выражают старые координаты через новые. (Коор-
динаты, от которых происходит переход, можно называть «старыми»,
а другие — «новыми».) Рассмотрим переход от прямоугольных коорди-
нат к полярным и обратно, когда у них начало общее, положительная
полуось x совпадает с начальным лучом и направление отсчета углов
идет от положительной полуоси x к положительной полуоси y. Тогда
(как можно видеть из самого определения тех и других координат, а
также — косинуса и синуса (рис. 14))
x = r cos ϕ, y = r sin ϕ;
p y (1)
r = x2 + y 2 , tg ϕ = .
x
(Так как в пределах от 0 до 2π угол не определяется тангенсом одно-
значно, то нужно учитывать знак x и y. Как?)
Рис. 14 Рис. 15
Рис. 16 Рис. 17
x′ = x, y ′ = −y.
§ 6. Об аналитической геометрии
F (x, y) = 0, G(x, y) = 0,
F (x, y) G(x, y) = 0,
28 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
а пересечение — уравнением
F 2 (x, y) + G2 (x, y) = 0
Г л а в а II
КРИВЫЕ ВТОРОГО ПОРЯДКА
Здесь, говоря о координатах, мы будем иметь в виду прямоуголь-
ные координаты (пока явно не обратимся к полярным координатам).
Рис. 19 Рис. 20
x2 y2
− = 1. (3)
a2 b2
Простейший частный случай получает-
ся при a = b, — это так называемая рав-
нобокая гипербола (рис. 21), представ-
ляемая уравнением
x2 − y 2 = a2 .
Если повернуть оси на 45◦ , это урав-
нение преобразуется в
Рис. 21
2x′ y ′ = a2 .
32 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
y = ax2 .
y 2 = 2px. (4)
Рис. 24 Рис. 25
x2 + y 2 + 1 = 0 или x2 + 1 = 0.
x2 y2
2
+ 2 = 1. (1)
a b
Здесь осями его служат оси координат, а центром — начало координат.
Действительно, отражение относительно оси x состоит в замене то-
чек (x, y) на (x, −y), т. е. в перемене знака y. Поэтому, вообще, если
y входит в некоторое уравнение только в четных степенях, то кривая,
представляемая таким уравнением, симметрична относительно оси x
(ср. замечание в конце § 5 гл. I). Аналогично, если уравнение содержит
x только в четных степенях, то ось y есть ось симметрии кривой.
Симметрия (или отражение) относительно точки, служащей нача-
лом координат, состоит в замене точек (x, y) на (−x, −y). Поэтому
если в уравнение входят члены только с четными степенями или даже
четными суммами степеней (т. е. для каждого члена axα y β сумма α+β
четна), то начало является центром симметрии кривой6 .
Точки пересечения эллипса с осями называются его вершинами.
Величины a, b представляют собой расстояния от центра до вершин
эллипса (так как при y = 0 из (1) следует, что x = ±a, и при x = 0−
что y = ±b). Их называют полуосями эллипса. Окружность характе-
ризуется, очевидно, их равенством.
Ось эллипса, которой отвечает
большее из чисел a, b, называется
большой, другой — малой. Обычно
предполагают, что в уравнении (1)
a > b, так что a — большая полуось,
b — малая и ось x — «большая ось»,
ось y — «малая» (рис. 27).
Из уравнения (1) следует, что
|x| 6 a, |y| 6 b, т. е. эллипс заклю-
чен в прямоугольнике, ограничен-
Рис. 27 ном прямыми x = ±a и y = ±b. Эл-
липс ограничивает эллиптическую
«площадку», которую тоже называют эллипсом; она задается неравен-
ством x2 /a2 + y 2 /b2 6 1. Она выпукла — отрезок, соединяющий любые
две ее точки, содержится в ней. (Докажите это.)
6 Разумеется, все сказанное сохраняет силу, если слово «четный» заменить всюду
Рис. 28 Рис. 29
b b
y= x, y=− x (3)
a a
b2 2
y2 = x − b2 .
a2
b2 2
y12 = x .
a2
II.3. ЭЛЛИПС; ЕГО ФОКАЛЬНОЕ СВОЙСТВО 37
b2
y1 − y = . (4)
y1 + y
Рис. 31.
Из (2) находим:
r22 = (2a − r1 )2 = 4a2 + r12 − 4ar1 , 4ar1 = r12 − r22 + 4a2 . (4)
x2 y2
+ = 1. (6)
a2 a 2 − c2
x2 y2
+ = 1. (7)
a2 b2
Что мы доказали, выведя это уравнение? Мы доказали, что коор-
динаты точек эллипса (в его геометрическом определении условием
(2)) удовлетворяют уравнению (7), т. е. что эти точки содержатся сре-
ди точек, удовлетворяющих этому уравнению: другими словами — что
эллипс содержится в кривой, представленной уравнением (7). Но это
еще не значит, что он и есть эта кривая: ведь она может содержать
точки, для которых условие (2), определяющее эллипс, не выполняет-
ся. Стало быть, нужно еще проверить, что из уравнения (7) вытекает
условие (2).
Действуя «в лоб», нужно, пользуясь уравнением (6), вывести вы-
ражения для r1 , r2 :
c c
r1 = a + x, r1 = a − x (8)
a a
и, сложив их, получить: r1 + r2 = 2a. Проделаем этот вывод.
Из выражения (3) для r12 и из уравнения (7) находим:
b2 2 b2 2
r12 = (x + c)2 + b2 − x = (1 − )x + 2cx + c2 + b2 ,
a2 a2
и так как b2 = a2 − c2 , то
2
c
r12 = a+ x . (9)
a
Расстояния r1 = F1 M , r2 = F2 M на-
зывают фокальными радиусами точ-
Рис. 33
ки M на эллипсе.
II.4. ГИПЕРБОЛА; ЕЕ ФОКАЛЬНОЕ СВОЙСТВО 41
Из равенства r = d получаем d2 = r2 , т. е.
p2 p2
x2 + px + = x2 − px + + y2, (4)
4 4
откуда
y 2 = 2px. (5)
Этим доказано, что точки с r = d содержатся в кривой с урав-
нением y 2 = 2px. Обратное доказывается «обратным ходом»: из (5)
получаем (4), и, извлекая корни, получаем r = d.
II.5. ПАРАБОЛА; ЕЕ ФОКУС И ДИРЕКТРИСА. ДИРЕКТРИСЫ. . . 45
откуда
eq
r= . (3)
1 + e cos θ
Это и есть уравнение эллипса,
параболы и одной ветви гиперболы в
полярных координатах.
Величина eq имеет простой гео-
метрический смысл. При θ = π/2
формула (3) дает r = eq; это зна-
чит, что eq есть расстояние от фо- Рис. 38
куса до кривой по перпендикуля-
ру к оси (рис. 38). Оно называется
фокальным параметром и обознача-
ется p.
В случае гиперболы для другой ее
ветви (рис. 39)
d = x − q.
Поэтому
Рис. 39
r = ed = e(x − q) = er cos θ − eq,
откуда
−eq eq
r= = . (4)
1 − e cos θ e cos θ − 1
Для параболы e = 1 и q = p, это то самое p, которое входит в ее
уравнение.
Введем фокальный параметр p в уравнения (3), (4):
p p
r= , r= . (5)
1 + e cos θ e cos θ − 1
Однако чаще начальный луч полярных координат направляют про-
тивоположно, от ближайшей вершины. Тогда угол θ изменяется на π,
и косинус меняет знак. Поэтому при таких координатах уравнения бу-
дут
p −p
r= , r= . (6)
1 − e cos θ 1 + e cos θ
48 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
§ 7. Классификация КВП
x = x′ cos α − y ′ sin α,
y = x′ sin α + y ′ cos α.
a11 x2 + 2a1 x =
2
a1 ′ a1
= a11 (x′ )2 − 2a11 x + + 2a1 x′ =
a11 a11
2
′ 2 a1
= a11 (x ) + ,
a11
II.7. КЛАССИФИКАЦИЯ КВП 51
y 2 − k 2 x2 = 0, т. е. (y + kx)(y − kx) = 0.
y 2 = −2px,
y2 + q = 0 (8)
Г л а в а III
ВЕКТОРЫ И КООРДИНАТЫ
§ 1. Понятие вектора
Направленные отрезки. Термин «вектор» употребляют в гео-
метрии по крайней мере в двух смыслах, — хотя и связанных, но тем
не менее существенно различных. С одной стороны, вектором назы-
вают направленный отрезок, с другой стороны, вектор понимают, как
54 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
Рис. 41 Рис. 42
M P < d1 , N P < d2 .
Но по неравенству треугольника
M P + N P > M N.
Поэтому
M N < d1 + d2 ,
−−
→ −−→
AM = CN 11 . Следовательно, векторы AB, CD сонаправлены, что и
требовалось доказать.
Определение. Два вектора считаются равными, если они сона-
правлены и имеют одну и ту же длину. Равенство векторов записыва-
−
−→ −−→
ется, как принято для равенства: AB = CD и т. п.
Теорема 2. Два вектора, равные третьему, равны друг другу.
Д о к а з а т е л ь с т в о. Это непосредственно следует из определения
−−
→ −−→
равенства благодаря теореме 1. Действительно, пусть AB = CD и
−−→ −−→ −
−→ −− → −−→
EF = CD. Это значит, во-первых, что AB и EF сонаправлены с CD и,
следовательно, по теореме 1 сонаправлены друг с другом. Во-вторых,
−−
→ −−→ −−→
длины AB и EF равны длине CD, а значит, и сами равны. Итак,
−−→ −−→
AB и EF сонаправлены и имеют равные длины, а значит, они, по
определению, равны.
Следствие. Отношение равенства векторов рефлексивно, сим-
метрично и транзитивно, т. е.: 1) a = a; 2) если a = b, то b = a;
3) если a = b и b = c, то a = c.
Первые два свойства заключены в определении, третье вытекает
из теоремы 2.
Отношение, обладающее этими свойствами, называют вообще экви-
валентностью — отношением эквивалентности. Для векторов мы на-
зываем его равенством.
Замечание. Существует мнение, что говорить о равенстве векто-
ров в этом смысле нельзя. Потому что в других случаях «равные»
означают «совпадающие». Например, x = 2 означает, что x есть чис-
−−→ −−→ −
−→ −−→
ло два. Но AB = CD вовсе не означает, что AB совпадает с CD.
Поэтому в некоторых книгах векторы, «равные» в нашем смысле, на-
зывают «эквиполлентными». Однако мы вместе с многими другими
авторами считаем вполне возможным применить к векторам термин
«равенство», как оно было здесь определено. То, что равенство для
векторов (направленных отрезков) и для чисел имеет разный смысл,
не должно вас смущать, нужно только понимать это различие.
О сонаправленных и равных векторах.
−−
→ −−→
Теорема 3. Два вектора AB, CD, не лежащие на одной прямой,
сонаправлены тогда и только тогда, когда они параллельны и лежат
в содержащей их плоскости по одну сторону от прямой AC, прохо-
−
−→ −−→
дящей через их начала. Если же векторы AB, CD лежат на одной
11 Неравенство треугольника, AB + BC > AC, доказывают в планиметрии, но
a б
Рис. 43
−−
→ −−→
Докажем обратное. Пусть векторы AB, CD не лежат на одной пря-
мой и сонаправлены. Проведем из точки C отрезок CE, параллель-
ный AB и лежащий по ту же сторону от прямой AC. По доказанному
−−→ −−
→
CE ↑↑ AB.
Допустим, CE не налегает на CD, т. е. отрезки CE, CD образуют
угол. Тогда если вдоль них откладывать все бо́льшие равные отрезки
CP , CN , то расстояние P N будет неограниченно расти, а если рав-
ные им отрезки AM откладывать вдоль AB, то все время M P = AC
(рис. 43, б ).
По неравенству треугольника
M N > N P − M P = N P − AC,
и так как N P не ограничено, то и M N не ограничено. Но это проти-
−
−→ −−→
воречит тому, что по условию AB и CD сонаправлены, так что M N
должно быть ограничено. Таким образом, отрезок CE должен нале-
гать на CD. А стало быть, CD расположен так же, как CE, т. е. тоже
параллелен AB и лежит по ту же сторону от AC. Что и требовалось
доказать.
58 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
−−
→
Теорема 4. Для всякого вектора AB при любой точке C суще-
−−→ −
−→
ствует вектор CD, равный AB, и притом только один. Короче это
выражают так: от всякой точки можно отложить вектор, равный
данному, и притом только один.
−−
→
Д о к а з а т е л ь с т в о. Пусть даны вектор AB и точка C, не ле-
жащая на прямой AB. Проведем через точки A, B, C плоскость,
в ней проведем отрезок CD, параллельный и равный AB и рас-
положенный по ту же сторону от прямой AC, что и отрезок AB
−−→ −−
→ −
−→
(рис. 43, а). По теореме 3, CD = AB. Вектор, равный AB, отло-
жен от точки C. Он единственный, потому что через точку C про-
−−→
ходит только одна прямая, параллельная данной AB. Вектор CD дол-
жен лежать на ней, и его направление и длина определены одно-
значно.
Если точка C лежит на прямой AB, то можно поступить, например,
−
−→
так. Проводим отрезок AC. Если он совпадает по направлению с AB,
то откладываем CD = AB вдоль CA. В противном случае откладыва-
ем CD = AB в противоположную сторону. То, что здесь направленный
−−→ −−→
отрезок CD, равный AB, только один, очевидно: на луче от его начала
откладывается только один отрезок, равный данному.
Отметим важное свойство равенства векторов.
−−
→
Лемма. Равенство AB = CD имеет место тогда и только то-
−→ −−→
гда, когда AC = BD.
Д о к а з а т е л ь с т в о. Если отрезки AB, CD не лежат на одной
−
−→ −−→
прямой, то согласно теореме 3 равенство AB = CD равносильно тому,
что отрезки AB, CD служат противо-
положными сторонами параллелограмма.
Две другие его стороны — это отрезки AC
−→ −−→
и BD, так что AC = BD (рис. 44). Совер-
−→ −−→
шенно так же из равенства AC = BD сле-
−−
→ −−→
дует, что AB = CD.
Если точки A, B, C, D лежат на одной
прямой, то доказательство получается, ес-
ли посмотреть, как отрезки AC, BD полу-
Рис. 44 чаются из AB, CD. Рассмотрение разных
случаев читатель проведет сам.
Нуль-вектор. В доказанной только что лемме есть логический
−−→ −−→ −
−→ − −→
пропуск. Равенство AB = CD может оказаться равенством AB = AB,
−−→ − −→
так как не оговорено, что точка C отлична от A. Равенство AB = AB
III.1. ПОНЯТИЕ ВЕКТОРА 59
§ 2. Сложение векторов
−−
→ −−→ −−→ −→ −−→ −−→
(AB + BC) + CD = AC + CD = AD =
−
−→ −−→ − −→ −−→ −−→
= AB + BD = AB + (BC + CD).
a + 0 = a,
так как
−−
→ −−→ −− →
AB + BB = AB.
a + (−a) = 0.
−−
→ −−
→ − −
→ − −
→ −→
(Если a = AB, то −a = BA и AB + BA = AA.)
Все эти свойства означают, что векторы образуют коммутативную
группу относительно сложения (то, что векторная операция записыва-
ется как сложение, указывают, говоря, что это группа «в аддитивной
записи»).
6. Однозначно определено вычитание, т. е. для каждых двух век-
торов a, b существует такой вектор c — их разность, что a = b + c;
пишут c = a − b.
Действительно, если сложить c = a + (−b), то по определению это
и будет разность векторов a и b, так как
b + c = b + a + (−b) = a + (b + (−b)) = a + 0 = a.
64 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
v = v a + v α.
v = v a + v b + v c,
Рис. 52 v a ||a, v b ||b, v c ||c.
u = u a + u α, v = v a + v α, w = w a + w α.
w = u + v = u a + u α + v a + v α = (u a + v a ) + (u α + v α ).
|b|
|xa| = |a| = |b|,
|a|
x a = xa , x b = yb. (2)
III.3. УМНОЖЕНИЕ ВЕКТОРА НА ЧИСЛО. КООРДИНАТЫ ВЕКТОРА 69
x = xa + yb. (3)
x = xa + yb + zc.
x = x a + x b + x c. (4)
x = xa + yb + zc, (6)
(x + y)a = xa + ya.
x(a + b) = xa + xb.
(x + y)a = xa + ya.
(x + y)a − ya = (x + y − y)a = xa ,
x(a + b) = xa + xb.
Следовательно,
−→ −−→ −→ −−→
xOA + xOB = x(OA + OB);
таким образом, xa + xb = x(a + b) при x > 0.
Рис. 53 Рис. 54
§ 4. Скалярное произведение
Тогда
→ −−−
−− →
AB = A′ B ′ = b − a.
Пусть x 6= 0, a 6= 0, b 6= 0. Тогда
(a + b)2 = a 2 + b 2 + 2ab,
(a − b)2 = a 2 + b 2 − 2ab. (3)
или в векторах
(a − b)2 = a 2 + b 2 − 2ab.
III.4. СКАЛЯРНОЕ ПРОИЗВЕДЕНИЕ 75
(a + b)2 = a 2 + b 2 + 2ab.
a + b = p, a +c =q (5)
(p + q )2 + (p − q)2 = 2(p 2 + q 2 ).
(F 1 + F 2 )s = F 1 · s + F 2 · s.
76 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
d2 = d 2 = (a + b + c)2 =
= a 2 + b 2 + c 2 + 2ab + 2bc + 2ca =
= a2 + b2 + c2 + 2ab cos γ + 2bc cos α + 2ca cos β.
ab = a1 b1 + a2 b2 + a3 b3 , (7)
III.4. СКАЛЯРНОЕ ПРОИЗВЕДЕНИЕ 77
e 21 = e 22 = 1, e 1 e 2 = 0. (9)
a = a1 e 1 + a2 e 2 , b = b1 e 1 + b2 e 2 .
ab = (a1 e 1 + a2 e 2 )(b1 e 1 + b2 e 2 ) =
= a1 b1 e 21 + a1 b2 e 1 e 2 + a2 b1 e 2 e 1 + a2 b2 e 22 .
e 21 = e 22 = e 23 = 1, e 1 e 3 = e 2 e 3 = e 3 e 1 = 0. (10)
§ 5. Координаты в пространстве
Рис. 60 Рис. 61
i 2 = j 2 = k 2 = 1, ij = jk = ki = 0. (1)
−−→
Каждая точка M оказывается концом вектора OM . Он называется
радиус-вектором точки M . С другой стороны, всякий вектор r , если
его отложить от точки O, задает некоторую точку M — конец радиус-
−−→
вектора OM = r . Вектор r определяется своими координатами x, y, z
относительно основных векторов i , j , k . Вместе с ним определяется и
точка M :
−−→
OM = r = i x + j y + k z. (2)
−−→
Координаты радиус-вектора OM и принимаются за координаты
точки M .
Убедимся, что это те же координаты, ка-
кие были определены в предыдущем пунк-
те. Отложим векторы i , j , k от начала O,
получим «трехвекторник» Oijk из векторов
−→ −−→ −−
→
OA = i , OB = j , OC = k . Проведем прямые
OA, OB, OC — это будут оси координат x, y,
z; направление на них указывается векторами
i , j , k (рис. 62).
Из равенства (2), умножая на i , j , k , на-
Рис. 62 ходим
x = ir, y = jr , z = kr , (3)
представляется в виде
−−→
OM = r = x1 e 1 + x2 e 2 + x3 e 3 .
a б
Рис. 64
−−
→ −−→ −→
где a1 , . . . , b3 , — координаты точек A, B. Так как AB = OB − OA, то
−
−→
AB = e 1 (b1 − a1 ) + e 2 (b2 − a2 ) + e 3 (b3 − a3 ).
То есть мы получаем результат:
Координаты вектора, представленного направленным отрезком,
равны разностям координат его конца и начала.
a б
Рис. 66
λ(a × b) = (λa ) × b.
a × (b + c) = a × b + a × c.
a × (b + c) = a × b + a × c.
a × (b + c) = a × b + a × c.
S = |b × c|. (3)
(abc) = a(b × c) =
IV.1. РАССТОЯНИЕ МЕЖДУ ТОЧКАМИ. СФЕРА. ПЛОСКОСТЬ 91
Г л а в а IV
СФЕРА, ПРЯМАЯ, ПЛОСКОСТЬ
(x − x0 )2 + (y − y0 )2 + (z − z0 )2 = R2 . (2)
Уравнение плоскости.
Теорема 2. Всякая плоскость представляется в прямоугольных
координатах линейным уравнением вида
ax + by + cz + d = 0. (4)
Д о к а з а т е л ь с т в о. Пусть α — данная плоскость и A, B — такие
точки, что отрезок AB перпендикулярен плоскости α и делится ею
пополам. Плоскость α является геометрическим местом (множеством)
точек M , для которых AM = BM 12 ). Если в равенстве AM 2 = BM 2
выписать квадраты расстояний в координатах, то квадраты коорди-
нат уничтожатся, и мы получим равенство вида (4). Этот вывод со-
вершенно аналогичен соответствующему выводу уравнения прямой на
плоскости.
§ 2. Прямая на плоскости
Прямоугольные координаты на плоскости можно задавать началом
координат O и единичными векторами по осям: i по оси x, j — по оси
y (рис. 71). Они взаимно ортогональны в силу взаимной перпендику-
лярности осей. Так что
i 2 = j 2 = 1, ij = 0. (1)
Эти векторы служат основными векторами.
Рис. 71 Рис. 72
−−→
Вектор r = OM , проведенный из начала в точку M , — «радиус-
вектор» точки M — представляется в виде:
r = xi + yj . (2)
12 Это свойство плоскости легко доказывается из соответствующего свойства пря-
ax + by + c = 0.
−→
Берем вектор N с координатами a, b и такую точку A, что N ·OA = −c.
(Такую точку легко найти хотя бы на прямой, идущей через O по
вектору N . Укажите как.) Через точку
A проводим прямую l, перпендикулярную
вектору N . Тогда по предыдущей теоре-
ме уравнение этой прямой и будет данным
(рис. 73).
Вспомним еще теорему: два уравне-
ния задают одну и ту же прямую тогда
и только тогда, когда их коэффициенты
пропорциональны (дополнение к теореме
1.2.1). Читатель сам ее докажет, заметив Рис. 73
в первую очередь, что векторы N 1 , N 2 перпендикулярны одной пря-
мой, тогда и только тогда, когда они параллельны и, стало быть, по-
лучаются один из другого умножением на число (ср. доказательство
теоремы 3, § 3).
Важный частный случай уравнения прямой — так называемое урав-
нение в нормальной форме. Это такое уравнение, в котором вектор
нормали к прямой единичный, так что a2 + b2 = 1.
Теорема 3. Всякая прямая может быть представлена уравнени-
ем в нормальной форме:
ax + by = p; a2 + b2 = 1, p > 0. (4)
Рис. 74
ax + by − p = ±d
a = cos α, b = sin α.
x cos α + y sin α = p.
ax + by + c = 0,
§ 3. Плоскость и прямая
n(r − r 0 ) = 0; nr = q (q = nr 0 ). (1)
а б
Рис. 75
ax + by + cz + d = 0, a1 x + b1 y + c1 z + d1 = 0. (6)
λ(ax + by + cz) + d1 = 0,
откуда
d1 = −λ(ax + by + cz).
14 Уравнения называются равносильными, если всякий набор переменных, удо-
Ax + By + Cz + D = 0, (11)
§ 4. Прямая в пространстве
Параметрические и канонические уравнения прямой. Вся-
кий вектор, не равный нулю, направленный вдоль прямой, называется
направляющим вектором.
Прямая l, очевидно, задается любой лежащей на ней точкой M0
и направляющим вектором v . Откладываем от точки M0 вектор
IV.4. ПРЯМАЯ В ПРОСТРАНСТВЕ 105
−−−−→
M0 M1 = v и проводим прямую M0 M1
(рис. 77).
Точка M лежит на прямой l тогда и
−−−→
только тогда, когда вектор M0 M коллине-
арен v , т. е. когда существует такое число
t, что
−−−→
M0 M = v t. (1)
−−−→ −−→
Если OM0 = r 0 , OM = r — радиус-
−−−→ Рис. 77
векторы точек M0 и M1 , то M0 M = r −r 0 ,
и потому (1) означает
r = v t + r 0. (2)
При каждом t это дает радиус-вектор некоторой точки M на прямой
l; с изменением t «от −∞ до +∞» точка «пробегает» прямую.
Уравнение (2) определяет, таким образом, прямую, задавая каж-
дую ее точку значением переменной t. Эта переменная в такой ее ро-
ли называется параметром, и уравнение (2) называется (векторным)
уравнением прямой в параметрической форме.
Его можно переписать в виде трех уравнений для каждой из коор-
динат точки на прямой: если a, b, c — координаты вектора v , то
x = at + x0 , y = bt + y0 , z = ct + z0 . (3)
Это равносильно тому, что разности x − x0 , y − y0 , z − z0 пропорцио-
нальны координатам a, b, c:
x − x0 y − y0 z − z0
= = . (4)
a b c
Эти равенства понимаются так: там, где знаменатель — нуль, числи-
тель тоже равен нулю. Равенства (4) с этим условием равносильны
равенствам (3). А равенства (3) задают прямую. Стало быть, и равен-
ства (4) определяют прямую. Другими словами: равенства (4) пред-
ставляют уравнения прямой, проходящей через точку (x0 , y0 z0 ) вдоль
вектора (a, b, c). (Эти уравнения называют каноническими.)
Прямая, проходящая через две точки. Если M1 — еще одна
−−−−→
точка прямой, то вектор M0 M1 идет вдоль прямой, и поэтому в урав-
нении (2) можно взять
106 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
−−−−→
v = M0 M1 = r 1 − r 0 , (5)
где r 1 — радиус-вектор точки M1 .
Подставляя это в (2), получим
r = (r 1 − r 0 )t + r 0 = (1 − t)r 0 + tr 1 . (6)
— параметрическое уравнение прямой, проходящей через две данные
точки с радиус-векторами r 1 , r 0 .
−−−−→
Координаты вектора M0 M1 — это разности координат точек M1 ,
M0 . Поэтому из (5)
a = x1 − x0 , b = y1 − y0 , c = z1 − z0 .
Подставляя эти значения в (4), получаем
x − x0 y − y0 z − z0
= = . (7)
x1 − x0 y1 − y0 z1 − z0
Это, стало быть, уравнения прямой, проходящей через точки
M0 (x0 , y0 , z0 ), M1 (x1 , y1 , z1 ).
Прямая как пересечение двух плоскостей. Прямая представ-
ляет собою пересечение двух плоскостей, поэтому она задается систе-
мой двух уравнений, задающих эти
плоскости (рис. 78). Плоскости пе-
ресекаются по прямой, если их нор-
мали неколлинеарны. В векторной
форме их уравнения будут
n(r − r 0 ) = 0, n 1 (r − r 1 ) = 0.
r = (n × n 1 )t + r 0 .
IV.5. О ЗАДАНИИ ПОВЕРХНОСТЕЙ И ЛИНИЙ УРАВНЕНИЯМИ 107
Задачи.
1. Отсюда получите уравнение в координатах вида (4), где в зна-
менателях будут координаты векторного произведения.
2. Найти условия параллельности и перпендикулярности плоско-
стей и прямых, когда они заданы в векторной форме или в координа-
тах уравнениями вида
ax + by + cz + d = 0,
x − x0 y − y0 z − z0
= = .
k l m
Всего 6 случаев: по два (параллельность и перпендикулярность)
для двух плоскостей, для двух прямых, для прямой и плоскости.
F 2 (x, y, z) + G2 (x, y, z) = 0.
F12 + . . . + Fn2 = 0.
x2 + y 2 + z 2 = 0,
Глава V
ПОВЕРХНОСТИ ВТОРОГО ПОРЯДКА
x2 y2 z2
+ + = 1. (2)
a2 b2 c2
114 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
x2 + y 2 + z 2 = a2 .
Рис. 80 Рис. 81
x2 y2
+ = 1.
a2 b2
То же верно для сечений плоскостями x = 0, y = 0. Пересече-
нием эллипсоида с плоскостью, если он вообще имеет с нею об-
щие точки, будет либо эллипс, либо одна точка. В самом деле,
эллипсоид ограничен. Поэтому по до-
казанной лемме это пересечение мо-
жет быть только ограниченной КВП,
т. е. либо эллипсом, либо одной точ-
кой. В последнем случае плоскость —
касательная к эллипсоиду (рис. 82).
Далее идут два типа ПВП, назы-
ваемых гиперболоидами.
2. Однополостный гиперболо-
ид (рис. 83)
Рис. 82
x2 y2 z2
+ − = 1. (4)
a2 b2 c2
V.1. РАЗНЫЕ ТИПЫ ПОВЕРХНОСТЕЙ ВТОРОГО ПОРЯДКА 115
x2 y2 z2
+ − = −1 (5)
a2 b2 c2
(числа a, b, c в уравнениях (2), (4), (5) называют полуосями эллипсоида
и гиперболоидов).
Рис. 83 Рис. 84
x2 y2 z2
2
+ 2 − 2 = 0.
a b c
Рис. 85 Рис. 86
нение вида
x2 y2
+ = p = const.
a2 b2
Если p > 0, то это уравнение представляет эллипс на плоскости xy.
Это означает, что каждая из рассматриваемых поверхностей пересека-
ется плоскостью z = const по эллипсу, если плоскость ее действительно
«пересекает». При p < 0 пересечение пусто; при p = 0 оно представляет
собой одну точку (c x = y = 0), в этом случае плоскость — касательная.
√ √
Все эти эллипсы подобны, так как их полуоси равны a p, b p, и,
значит, их отношение не зависит от p.
Если a = b, то эти эллипсы представляют собою окружности и, ста-
ло быть, рассматриваемые поверхности — всех четырех типов — пред-
ставляют собой поверхности вращения. Эллипсоид получается вра-
щением эллипса вокруг оси, гиперболоиды — вращением гипербол, ко-
нус — вращением прямой.
Сечения конуса плоскостями, не проходящими через вершину,
представляют, согласно лемме, КВП. Если плоскость пересекает одну
половину конуса, и притом все его образующие, то сечение ограничено
и оно — эллипс; если плоскость параллельна одной из образующих, то
сечение состоит из одной бесконечной линии и, стало быть, являет-
ся параболой. Если же плоскость пересекает обе половины конуса, то
сечение — гипербола (рис. 23).
Далее идут поверхности, канонические уравнения которых
не содержат z2 . Это прежде всего параболоиды; их два типа.
5. Эллиптический параболоид (рис. 87)
x2 y2
2
+ 2 = 2z.
a b
6. Гиперболический параболоид (рис. 88)
x2 y2
− = 2z.
a2 b2
Сечения этих поверхностей плоскостью y = 0 (как и x = 0) представ-
ляют собой параболы
x2 = 2a2 z (y 2 = 2b2 z и y 2 = −2b2 z).
Сечения же плоскостями z = p = const > 0 представляют собой у
эллиптического параболоида эллипсы
x2 y2
+ = 2p.
a2 b2
118 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
Рис. 87 Рис. 88
Рис. 89 Рис. 90
Рис. 91 Рис. 92
Рис. 93 Рис. 94
Рис. 95 Рис. 96
Рис. 97 Рис. 98
x2 y2 z2 x2 y2 z2
+ − = 1, + − = −1,
a2 b2 c2 a2 b2 c2
с одинаковыми полуосями a, b, c (рис. 98).
Сечения их плоскостью y = 0 представляют собой сопряженные
гиперболы
x2 z2 x2 z2
− = 1, − = −1.
a2 c2 a2 c2
Аналогичное верно для сечений плоскостью x = 0 и вообще для
сечений плоскостями, проходящими через ось z, как в этом можно
убедиться. Соответственно и сами гиперболоиды называются сопря-
женными.
Рассмотрим вместе с ними конус K, представляемый уравнением
x2 y2 z2
2
+ 2 − 2 = 0.
a b c
Покажем, что при удалении точки по гиперболоиду (так что абсо-
лютная величина ее координаты z неограниченно возрастает) точка
эта неограниченно приближается к конусу K.
Пусть M (x, y, z) — точка на гиперболоиде, а N (x, y, z ′ ) — точка на
конусе K с теми же x, y (т. е. с той же проекцией на плоскость z = 0).
Пусть, для простоты, z, z ′ > 0. Расстояние M N = |z − z ′ |.
122 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
(z ′ )2 z2
2
− 2 = 1, |z ′ − z|(z ′ + z) = c2 ,
c c
и для второго точно так же |z ′ − z|(z ′ + z) = c2 .
Таким образом, для точек на обоих гиперболоидах расстояние их
от соответствующей точки конуса будет
c2
M N = |z ′ − z| = .
z′ + z
Поэтому при (z ′ + z) → ∞ получается |z ′ − z| → 0, т. е. точки M и
N неограниченно сближаются.
Это свойство выражают, говоря, что конус K является асимпто-
тическим конусом обоих гиперболоидов.
Сечения этих гиперболоидов плоскостями, проходящими через ось
z — ось гиперболоидов, — представляют собою гиперболы, а образую-
щие конуса K являются их асимптотами.
Будем изменять полуоси гиперболоидов в одно и то же число раз,
заменяя a на pa и т. д. Так что уравнения получающихся гиперболои-
дов можно записать так:
x2 y2 z2 x2 y2 z2
+ − = p2 , + − = −p2 .
a2 b2 c2 a2 b2 c2
При p → 0 эти уравнения «переходят» в уравнение конуса K. Это зна-
чит, что при пропорциональном неограниченном уменьшении полуосей
оба гиперболоида стягиваются к конусу. Можно сказать, что при из-
менении параметра p, когда он проходит через нуль, один гиперболоид
«превращается» в другой, проходя через их общий асимптотический
конус.
Пропорциональное изменение полуосей есть нечто иное, как гомо-
тетия с центром в центре гиперболоидов — начале координат. Беско-
нечное гомотетичное сжатие гиперболоидов стягивает их к асимпто-
тическому конусу.
V.2. ПРИВЕДЕНИЕ КВАДРАТИЧНОЙ ФОРМЫ. . . 123
2x2 + 3xy + 4y 2 + z 2
x2 + y 2 + z 2 = 1. (1)
a11 x2 + 2a12 xy + . . .
a12 y > 0.
p
Заметим
p еще, что при |y| < 1 1 − y 2 > 1 − |y|. Поэтому заменяя в
(4) 1 − y 2 на меньшую величину и объединяя все члены с y 2 , можно
написать:
f > a + 2a12 y + cy 2 .
V.3. КЛАССИФИКАЦИЯ ПВП 125
2a12 y + cy 2 > 0,
и в результате
f > a.
Но это противоречит тому, что a — это наибольшее значение функции
f при условии (2). Следовательно, не может быть a12 6= 0, т. е. a12 = 0.
Совершенно так же должно быть и a13 = 0.
Таким образом, форма имеет вид (2).
Теперь достаточно привести форму G(y, z) к сумме квадратов по-
воротом осей y, z, и мы приведем исходную форму F к сумме квадра-
тов. Теорема доказана.
§ 3. Классификация ПВП
x = x′ + p, (2)
так что член с x исчезнет (если его нет, то и перенос равен нулю: p = 0).
Аналогичное, конечно, верно для y и z.
126 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
x2 y2 z2
2
+ 2 + 2 = 1.
a b c
Уравнение представляет эллипсоид.
(I, 1Б) Пусть один коэффициент в (4) отрицателен: скажем, a33 < 0.
Тогда, полагая a11 = a−2 , a22 = b−2 , a33 = −c−2 , получим
x2 y2 z2
+ − = 1.
a2 b2 c2
Уравнение представляет однополостный гиперболоид.
V.3. КЛАССИФИКАЦИЯ ПВП 127
(I, 1В) Пусть два коэффициента в (4) отрицательны: скажем, a11 <
0, a22 < 0, a33 > 0. Тогда, полагая
получим
x2 y2 z2 x2 y2 z2
− 2
− 2 + 2 = 1, т. е. 2
+ 2 − 2 = −1. (5)
a b c a b c
Это — уравнение двуполостного гиперболоида. (Понятно, что знаки
коэффициентов могут распределиться иначе, но тогда переименуем
координаты так, чтобы получались нужные уравнения (5).)
(I, 1Г) Пусть все три коэффициента в (4) отрицательны. Тогда
уравнение (4) не может выполняться ни при каких x, y, z. Оно, стало
быть, представляет пустое множество.
(I, 2) Теперь рассмотрим случай, когда в (3) a0 = 0, так что урав-
нение приобретает вид
Тогда полагаем
a0
z = z′ − , 2a3 z + a0 = 2a3 z ′
2a3
128 ЧАСТЬ 1. АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
(II. 1А) Если a11 , a22 > 0, то полагаем a11 = a−2 , a22 = b−2 и
получаем
x2 y2
+ = 2z.
a2 b2
Это — уравнение эллиптического параболоида.
Если a11 , a22 < 0, то заменяя z на −z (переворачивая ось z), полу-
чим a11 , a22 > 0, т. е. тот же результат.
(II, 1Б) Если же a11 , a22 разных знаков, то можно считать a11 > 0,
a22 < 0 и переписать уравнение в виде
x2 y2
2
− 2 = 2z.
a b
Это — уравнение гиперболического параболоида.
(II, 2) Теперь рассмотрим случай, когда уравнение (3) имеет вид
a11 x2 + a22 y 2 + a0 = 0.
Тут можно действовать совершенно так же, как в случае, когда урав-
нение имело вид (3).
(II, 2А) Если a0 6= 0, то, деля на −a0 , получаем
a11 x2 + a22 y 2 = 1.
x2 y2
+ = 1.
a2 b2
Это — эллиптический цилиндр.
(б) Если a11 > 0, a22 < 0, то уравнение приводится к виду
x2 y2
− = 1.
a2 b2
Это — гиперболический цилиндр. (Если же a11 < 0, a22 > 0, то пере-
именовываем координаты.)
(в) a11 < 0, a22 < 0, тогда уравнение не удовлетворяется ни при
каких x, y и представляет пустое множество.
V.3. КЛАССИФИКАЦИЯ ПВП 129
Глава I
АКСИОМЫ ГЕОМЕТРИИ
О б ъ е к т ы: точки, прямые.
О т н о ш е н и е: точка принадлежит прямой,
Сформулируем аксиому: каждые две точки принадлежат неко-
торой прямой (или, как чаще говорят, через каждые две точки про-
ходит прямая).
Геометрия возникла из практики, в частности из измерения земли;
само слово «геометрия» означает «землемерие». Греческий ученый Ев-
дем Родосский (4 в. до н. э.) писал: «Геометрия была открыта египтяна-
ми и возникла из измерения земли. Это измерение было им необходимо
вследствие разливов Нила, постоянно смывавших границы (участков
земли). Нет ничего удивительного в том, что эта наука, как и другие,
возникла из потребностей человека. Всякое возникающее знание из
несовершенного состояния переходит в совершенное. Зарождаясь пу-
тем чувственного восприятия, оно постепенно становится предметом
нашего рассмотрения и, наконец, делается достоянием разума».
Так геометрические знания, зародившиеся из чувственного воспри-
ятия в практике, стали достижением разума в логической системе «На-
чал» Евклида (ок. 300 г. до н. э.). Однако с современной точки зрения
эта система далеко не совершенна. Принятое теперь понимание осно-
ваний геометрии сложилось лишь к концу XIX столетия.
Согласно происхождению геометрии, ее основания лежат факти-
чески в практике: для планиметрии, можно сказать, — в измерениях
земли. Соответственно, наиболее естественные логические основания
геометрии, содержащиеся в ее аксиоматике, должны возможно ближе
выражать ту же практику, лишь представляя ее в идеализированном
виде. Так мы и подойдем к основаниям планиметрии. К основаниям
стереометрии мы обратимся, опираясь на планиметрию.
Замечания. 1. Слово «аксиома» происходит от греческого и озна-
чает «достойное признания»; прежде и понимали «аксиому» как по-
ложение, достойное признания ввиду его очевидности, не требующее
доказательства, безусловное. В этом смысле и теперь говорят, напри-
мер, о моральных аксиомах.
Аксиомы геометрии тоже толковали как «не требующие доказа-
тельства по очевидности». Например, в известном учебнике геомет-
рии Киселева так и было написано: «Аксиомы. Так называют истины,
которые вследствие своей очевидности принимаются без доказатель-
ства»1 . Но понимание это изменилось; в «Словаре русского языка»
дается определение: «Аксиома — положение, принимаемое без доказа-
2 Говорят также: «точка лежит внутри отрезка»; но всегда говорят: «на прямой»,
l(a)
l′ (a) = l′ (e)l(a) = .
l(e′ )
f (x + y) = f (x) + f (y).
l′ (a) = cl(a),
m
Полагая здесь x = ny (m, n — натуральные), получим
!
m m
f (my) = f n y = nf y ;
n n
т. е. !
m 1
f y = f (my).
n n
Рис. 7 Рис. 8
Соответственно различаются три вида углов: угол с наложенны-
ми сторонами — нулевой; в дальнейшем этот случай исключается из
рассмотрения. Угол со сторонами, составляющими один отрезок, —
развернутый. Угол, образованный отрезками, лежащими каждый с
одной стороны от другого, — настоящий, или, как обычно говорят,
неразвернутый.
Д о к а з а т е л ь с т в о т е о р е м ы 1. Пусть даны отрезки AB, AC.
Если отрезок AB не имеет (кроме точки A) общих точек ни с каким
отрезком, содержащим AC, то он лежит по одну сторону от AC (по
самому определению расположения с одной стороны).
Допустим, отрезок AB имеет, помимо A, еще общую точку с от-
резком a, содержащим AC. В таком случае по аксиоме соединения
отрезков I4 отрезки AB и a образуют один отрезок M N . Так что AB
и AC содержатся в M N . Можно считать, что точка A лежит на M N
(если бы A совпадала, например, с M , то можно продолжить отрезок
M N за точку M ).
Точка A делит отрезок M N на AM и AN , и возможны два случая:
1) AB, AC содержатся в одном из этих отрезков. Тогда один из них
(более длинный), как следует из теоремы 4, § 4, содержит другой, т. е.
они налегают друг на друга.
2) AB, AC содержатся в разных отрезках AM , AN , например,
AB ⊂ AM , AC ⊂ AN (рис. 8). Тогда точки B, A, C расположены
на отрезке M N в порядке возрастания длин отрезков M B, M A, M C
(согласно той же теореме 4, § 4). Поэтому точка A лежит на отрезке
BC. А это и значит, в силу аксиомы I3 деления отрезка, что отрезки
AB, AC образуют один отрезок BC.
Таким образом, теорема 1 доказана.
Если отрезок a служит стороной, а его конец A — вершиной нераз-
вернутого угла, то говорим, что угол отложен от отрезка a, от его
158 ЧАСТЬ 2. ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
a б
Рис. 9
a б
Рис. 10
Рис. 13 Рис. 14
162 ЧАСТЬ 2. ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
§ 7. Аксиома параллельных
Рис. 17 Рис. 18
Г л а в а II
НАЧАЛА ЭЛЕМЕНТАРНОЙ ГЕОМЕТРИИ
§ 1. Треугольники, перпендикуляры
Напомним, что треугольником мы называем фигуру, образованную
тремя отрезками с попарно общими концами, не содержащимися в од-
ном отрезке7. Стороны, вершины, углы треугольника определяются
как обычно, так же как равенство треугольников — по равенству сто-
рон и соответственных углов. Из того, что вершины не содержатся в
одном отрезке, следует, что углы треугольника настоящие, и каждая
сторона служит поперечиной противоположного угла (см. теорему 1,
§ 6, гл. 1).
Выполняются три классические теоремы о равенстве треуголь-
ников (только мы устанавливаем их в ином порядке):
(I) по трем сторонам,
(II) по двум сторонам и углу между ними,
(III) по стороне и двум прилежащим углам.
Д о к а з а т е л ь с т в о (I). Пусть у треугольников ABC, A1 B1 C1 рав-
ны стороны: AB = A1 B1 и т. д. Ввиду этих равенств отрезки BC,
B1 C1 являются соответственными поперечинами углов A, A1 . По усло-
вию BC = B1 C1 . Значит, ∠A = ∠A1 . Аналогично доказывается, что
∠B = ∠B1 и ∠C = ∠C1 (рис. 21).
Д о к а з а т е л ь с т в о (II). Пусть у треугольников ABC, A1 B1 C1
AB = A1 B1 , AC = A1 C1 , ∠A = ∠A1 .
Ввиду первых двух равенств у углов A, A1 поперечины BC, B1 C1
соответственные, и по равенству углов они равны. Поэтому из (I) тре-
угольники равны (рис. 22).
7 Треугольником называют и каркас, и часть плоскости, как в словах: «тре-
Рис. 21
Рис. 22
AB = A1 B1 , ∠A = ∠A1 , ∠B = ∠B1 .
Рис. 23
Рис. 24
Рис. 28 Рис. 29
Рис. 31 Рис. 32
Рис. 33 Рис. 34
c′ l(c′ )
= = l(e′ ).
c l(c)
Рис. 36
c′ /c = a′ /a. Следовательно,
c′ b′
= .
c b
Этим равенством и выражается сказанное в теореме.
Теорема Пифагора. Доказанная теорема 3 представляет осно-
вание для вывода всех соотношений между
сторонами и углами треугольников, прежде
всего — теоремы Пифагора (рис. 37): квадрат
гипотенузы равен сумме квадратов катетов.
Пусть a, b — катеты, c — гипотенуза, ca ,
cb — проекции катетов на гипотенузу. По лем-
Рис. 37
ме 4 основание высоты лежит на гипотенузе,
и поэтому ca + cb = c. Из теоремы 3 заклю-
чаем, что ca /a = a/c, так что a2 = c · ca . Аналогично, b2 = ccb . И,
складывая, получаем a2 + b2 = c2 .
Из теоремы Пифагора очевидно следует
Теорема 4. Проекция меньше наклонной.
Отсюда выводится:
Теорема 5. Сумма двух сторон треугольника больше третьей.
(Так как эта третья сторона есть либо сумма, либо разность проекций
двух других сторон; рис. 38 а, б.)
Тригонометрические функции. Теоремы о треугольниках.
Теорема 3 равносильна тому, что отношение проекции и наклонной за-
висит только от угла между ними, т. е. является его функцией. Это —
косинус острого угла A (угол между наклонной и проекцией острый),
обозначается cos A. Косинус смежного с ним тупого угла определяет-
II.2. ПАРАЛЛЕЛЬНОСТЬ. МЕТРИЧЕСКИЕ СООТНОШЕНИЯ. . . 179
a б
Рис. 38
c2 = h2 + a2c , h2 = b2 − a2b ,
ab = b cos C, ab + ac = a.
a+b+c
cos B − cos C = (c + b − a)(c − b).
2abc
Отсюда следует, что против большей стороны лежит больший угол, и
обратно.
7. Площадь треугольника выражается формулой Герона (в ней
p = (a + b + c)/2):
p
S = p(p − a)(p − b)(p − c).
Рис. 42 Рис. 43
Равенство углов между отрезками, представляющими те же самые
векторы, лежит в основе определения скалярного произведения.
II.3. НАЧАЛА СТЕРЕОМЕТРИИ. . . 187
Три перпендикуляра.
Теорема 6. Пусть A — точка вне плоскости α, и пусть прямая
a и отрезок BC лежат на α, причем C ∈ a и BC ⊥ AB (рис. 43).
Возможны три перпендикулярности:
а) AB ⊥ α, б) CA ⊥ a, в) CB ⊥ a. Утверждается, что если вы-
полнены две из них, то выполняется и третья.
Д о к а з а т е л ь с т в о. Пусть a 6= 0 — вектор на прямой a. Напишем
скалярное произведение
−
−→ −−→ −→ −−→ −→
a · AB = a · (CB − CA) = a · CB − a · CA. (1)
−−
→ −−→
Поэтому если два из трех скалярных произведений a · AB, a · CB,
−→
a · CA равны нулю, то равно нулю и третье. А так как равенство нулю
скалярного произведения равносильно взаимной перпендикулярности
сомножителей, то получаем:
(а) Если CA ⊥ a и CB ⊥ a, то AB ⊥ a. А так как по условию еще
−
−→
AB ⊥ BC и BC ⊂ α, то выходит, что вектор AB перпендикулярен
−−→ −−→
двум векторам a и BC, лежащим в плоскости α. Значит, AB ⊥ α.
(б) Если AB ⊥ α и CA ⊥ a, то CB ⊥ a.
(в) Если AB ⊥ α и CB ⊥ a, то CA ⊥ a.
Случай (а) дает способ опускания перпендикуляра из данной точки
A на плоскость α, выраженный следующей теоремой. В этом заклю-
чено и доказательство существования опускаемого перпендикуляра.
Теорема 7. Пусть A — точка вне плоскости α и a — прямая в α.
Опускаем на a перпендикуляр AC и через C проводим в α прямую
b ⊥ a. Перпендикуляр AB, опущенный на b, будет перпендикулярен к
α.
Случаи (б) и (в) дают следующую теорему (называемую теоремой
о трех перпендикулярах).
Теорема 8. Пусть из точки A на плоскость α опущен перпенди-
куляр AB, в плоскости α проведена прямая a и на ней взята точка
C(6= B). Утверждается, что AC ⊥ a тогда и только тогда, когда
BC ⊥ a (рис. 43).
Отрезок BC представляет собой проекцию отрезка AC — наклон-
ной AC — на плоскость. Поэтому данная теорема кратко формулиру-
ется так:
Теорема 8′ . Прямая перпендикулярна наклонной тогда и только
тогда, когда она перпендикулярна проекции этой наклонной.
188 ЧАСТЬ 2. ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
−
−→
При a · AB = 0 из формулы (1) следует, что
−→ −−→
a · AC = a · BC. (2)
9 То, что прямые проходят через конец наклонной, на самом деле не имеет зна-
Рис. 45 Рис. 46
Рис. 51 Рис. 52
Рис. 55
|AM | + |M B| = |AB|.
|A′ M ′ | + |M ′ B ′ | = |A′ B ′ |,
и, значит, M ′ ∈ AB.
Если N ∈ / AB, то |AN | + |N B| 6= |AB|, и тогда также |A′ N ′ | +
|N B | 6= |A B |, т. е. N ′ ∈
′ ′ ′ ′
/ A′ B ′ .
4. Образом отрезка является отрезок.
204 ЧАСТЬ 2. ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
§ 6. Равенство фигур
Рис. 58
§ 7. Площадь и ее применения
f (a, b)
g(a) = . (1)
f (1, b)
площади через длины (как, например, площадь прямоугольника через длины сто-
рон) без множителей, зависящих от масштаба. В практике единицы площади со-
гласуются с единицами длин не так просто; например, 1 гектар — это площадь
квадрата со стороной 100 метров.
II.7. ПЛОЩАДЬ И ЕЕ ПРИМЕНЕНИЯ 209
f (a, b) = ab,
а б в
Рис. 60
1 1 1
S= |AH| · |CH| − |BH| · |CH| = |AB| · |CH|.
2 2 2
Следствие. Произведение стороны на опущенную к ней высоту
одно и то же для всех трех сторон треугольника: aha = bhb = chc
(так как оно равно удвоенной его площади).
Приложения. Выражение для площади треугольника позволяет
легко получить выражение для площадей параллелограмма, трапеции,
правильного многоугольника — вообще для любой многоугольной пло-
щадки, поскольку ее можно разбить на треугольники.
II.7. ПЛОЩАДЬ И ЕЕ ПРИМЕНЕНИЯ 211
Рис. 61 Рис. 62
Рис. 63
откуда
a h
= . (4)
c d
Рассмотрев треугольник A1 B1 D1 , совершенно так же получим, что
(так как |A1 D1 | = d, |D1 E1 | = h)
a1 h
= .
c1 d
§ 8. Площадь и объем
S(F ), если S(F ) есть точная верхняя и, одновременно, точная нижняя граница
площадей многоугольных фигур, заключающихся в F и содержащих F . Но тогда
надо доказывать, что так определенная площадь обладает свойствами аддитивно-
сти. Для круга это было бы не нужно. Но как без этого вывести площадь сектора?
(Ведь сектор можно составить из других секторов.)
13 То есть F есть объединение F и F , и F , F не имеют общих внутренних точек
1 2 1 2
(в пространстве).
14 Цилиндром здесь называется фигура, образованная равными параллельными
Г л а в а III
СПЕЦИАЛЬНЫЕ ВОПРОСЫ
ЭЛЕМЕНТАРНОЙ ГЕОМЕТРИИ
§ 1. Задачи на построение
Рис. 66 Рис. 67
a 2 + b 2 − c2
c2 = a2 + b2 − 2ab cos γ, cos γ = . (1)
2ab
Откуда
a2 + b2 − c2 + 2ab (a + b)2 − c2
1 + cos γ = = , (2)
2ab 2ab
2 2
c − (a − b)
1 − cos γ = ; (3)
2ab
и так как −1 < cos γ < 1, то из (2) и из (3)
a 2 + b 2 − c2
= p, т. е. c2 = a2 + b2 − 2abp.
2ab
III.1. ЗАДАЧИ НА ПОСТРОЕНИЕ 219
Рис. 69
Рис. 70 Рис. 71
a б в г
Рис. 72
тьей, поэтому должно быть d > c. При этом условии AD > AB, и
потому ∠D < ∠B. Поэтому равнобедренный треугольник BCD мож-
но построить, т. е. при построении угла DBC, равного ∠D, точка C
будет на AD. При d > c решение всегда возможно. Оно единственно,
поскольку построение треугольника
BCD проводится однозначно.
6. Построить треугольник по сто-
роне c, сумме двух сторон d и углу γ,
противолежащему данной стороне.
П о и с к р е ш е н и я. Допустим, име-
ется треугольник ABC с указанными
данными: AB = c, AC + CB = d,
∠C = γ (рис. 74). Продолжив отрезок AC
на CD = CB, получим отрезок AD = Рис. 74.
d; затем построим треугольники ABD и
BCD. Последний треугольник равнобедренный, и угол C = γ для него
внешний. Поэтому ∠D = 21 γ. Это приводит нас к следующему реше-
нию. Если построить треугольник ABD по сторонам AB = c, AD = d
и углу D = 12 γ, то, построив в нем равнобедренный треугольник BCD,
найдем искомый треугольник ABC.
О п и с а н и е п о с т р о е н и я. Строим △ABD по данным сторонам
AB = c, AD = d и углу D = 12 γ. Это построение описано в решении
задачи 4. Допустим, что оно проходит и мы получаем треугольник
ABD. Затем строим равнобедренный треугольник BCD с вершиной
C на AD (так же, как в предыдущей задаче). Получаем треугольник
ABC, который и нужно было построить.
Д о к а з а т е л ь с т в о того, что он и есть искомый треугольник.
Действительно, AB = c и AC + CB = AC + CD = d, так как
по построению CB = CD. Наконец, ∠C = γ, так как C — внеш-
ний угол равнобедренного треугольника BCD, в котором ∠B =
∠D = 12 γ.
И с с л е д о в а н и е. В задаче 4 треугольник получается не всегда, и,
кроме того, могут получаться два треугольника. Что будет в условиях
решаемой здесь задачи с построением треугольника ABD?
В условиях задачи должно быть d > c — сумма двух сторон больше
третьей. Поэтому в △ABD AD > AB. Кроме того, если p = AE —
перпендикуляр из A на прямую BD, то должно быть AB > AE, т. е.
c > p. Данный угол C = γ меньше развернутого, так что ∠D = 12 γ —
острый. Поэтому основание E перпендикуляра AE лежит на луче DB,
224 ЧАСТЬ 2. ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
а из прямоугольного треугольника
AED имеем AE = AD sin D, т. е. p =
d sin γ/2 (рис. 75).
Мы приходим к следующим слу-
чаям:
(а) Если c < d sin γ/2, т. е. данная
сторона c меньше катета прямоуголь-
ного треугольника с гипотенузой d и
углом γ/2, то задача не имеет реше-
ния.
Рис. 75 (б) Если c = d sin γ/2, то получа-
ется один треугольник ADB — он же
ADE — и, соответственно, один треугольник ACB.
(в) Если d > c > d sin γ/2 — то получаются два треугольника
ADB1 , ADB2 (с AB1 = AB2 = c) и соот-
ветственно два треугольника AC1 B1 , AC2 B2
(рис. 76).
Треугольники AC1 B1 , AC2 B2 равны и от-
личаются только расположением сторон. В
случае (б), когда c = d sin γ2 , треугольник
ACB один: он равнобедренный (почему?).
7. Построить треугольник по двум углам
и периметру.
Р е ш е н и е. Треугольники с двумя данны-
ми углами подобны, их стороны пропорцио-
нальны и, следовательно, относятся как пе-
риметры. Поэтому, построив один такой тре-
Рис. 76
угольник, по нему получим подобный ему с
данным периметром p.
Строим какой-нибудь △ABC с данными углами A, B. Откладыва-
ем вдоль луча AB отрезки AB, BC ′ = BC, C ′ D = AC. На луче AC
откладываем отрезок AD1 , равный
данному отрезку p, и известным
приемом делим его на отрезки
AB1 , B1 C1 , C1 D1 , пропорциональ-
ные AB, BC ′ , C ′ D. Эти отрезки и да-
ют стороны искомого треугольника
(рис. 77).
Решение единственно, так как
Рис. 77 данная величина (отрезок) p един-
III.2. РЕШЕНИЕ ЗАДАЧ НА ПОСТРОЕНИЕ 225
a+b+x a a+b
= , x=b .
x b a−b
III.2. РЕШЕНИЕ ЗАДАЧ НА ПОСТРОЕНИЕ 227
а б
Рис. 80
а б
Рис. 81
x2 = R(R − x), x2 + Rx − R2 = 0.
230 ЧАСТЬ 2. ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
1 √
x= ( 5 − 1)R.
2
Если построен правильный n-угольник, то правильный 2n-уголь-
ник строится очевидным образом путем деления пополам центрально-
го угла, опирающегося на сторону n-угольника. Так можно строить
2m n-угольник. В частности, по квадрату строится восьмиугольник,
по шестиугольнику — двенадцатиугольник. Итак, циркулем и линей-
кой строятся правильные n-угольники с n = 3, 4, 5, 6, 8, 10, . . .
Но для n = 7, 9, 11, 13 построение невозможно. Однако оно воз-
можно для 17-угольника. Все это имеет алгебраическое основание, ко-
торое сейчас будет указано.
Вопрос о разрешимости задач на построение циркулем и
линейкой. Коротко можно сказать так. Для того чтобы задача на
построение циркулем и линейкой была разрешима, необходимо и до-
статочно, чтобы алгебраически она сводилась к решению уравнений,
корни которых находятся посредством рациональных операций и опе-
рации извлечения квадратного корня (рациональные операции — это
четыре действия арифметики: сложение, вычитание, умножение и де-
ление).
Докажем необходимость. Пусть задача геометрически разрешима
циркулем и линейкой. Введем на плоскости систему прямоугольных
координат. То, что в задаче дано, и то, что надо построить, алгебра-
ически задается координатами точек и длинами отрезков (как, ска-
жем, координаты центра и радиус окружности). Решение задачи на
построение сводится к нахождению точек пересечения (включая ка-
сание) прямых и окружностей, причем прямые задаются набором то-
чек, через которые они проводятся, а окружности — своими центрами
III.2. РЕШЕНИЕ ЗАДАЧ НА ПОСТРОЕНИЕ 231
Рис. 83 Рис. 84
234 ЧАСТЬ 2. ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
§ 3. Выпуклые фигуры
Рис. 91 Рис. 92
когда в каждой точке границы у нее есть опорная прямая (или, если
фигура ограниченная, можно сказать, когда она ограничена выпуклой
кривой) (рис. 89).
Совершенно такая же теорема, связывающая введенное здесь по-
нятие выпуклой фигуры с предыдущим, выполняется в пространстве.
Теорема 2. Фигура в пространстве, обладающая внутренними
точками и содержащая свою границу, является выпуклой тогда и
только тогда, когда в каждой точке границы у нее есть опорная
плоскость (или, если фигура ограниченная, можно сказать, когда она
ограничена выпуклой поверхностью).
Выпуклость извне и внутри. Можно сказать, мы имеем два
понятия выпуклости: внешнее и внутреннее. Фигура выпукла извне,
если в каждой точке границы у нее на плоскости есть опорная пря-
мая, а в пространстве — опорная плоскость. Это вполне согласуется с
наглядным представлением о выпуклой фигуре и выпуклом теле.
С другой стороны, фигура выпукла внутри, если можно любые две
ее точки соединить в ней отрезком. В случае, если у фигуры есть внут-
ренние точки и она содержит свою границу, это равносильно тому, что
из каждой внутренней точки можно дойти до любой точки границы,
идя по прямой, как в комнате, где нет закоулков. Две сформулиро-
ванные теоремы означают, что для содержащих свою границу фигур
с внутренними точками оба понятия выпуклости равносильны. Такая
фигура, выпуклая извне, выпукла также внутри, и обратно. Полное
доказательство теорем 1, 2 не совсем просто, и мы не будем его изла-
гать в полной общности, а ограничимся случаем многоугольников и
многогранников.
Выпуклые многогранники и многоугольники. Рассматрива-
ются плоские многоугольники и телесные многогранники.
Теорема 3. Многоугольник или
многогранник, выпуклый внутри, яв-
ляется выпуклым также извне.
Д о к а з а т е л ь с т в о. Пусть мно-
гогранник P — выпуклый внутри.
Возьмем какую-либо его грань Q. До-
кажем, что он расположен по одну
сторону от содержащей ее плоско-
сти α.
Допустим противное: пусть у мно- Рис. 93
гогранника P есть точки A и B, лежащие по разные стороны от плос-
кости α (рис. 93). Тогда, поскольку многогранник P выпуклый внутри,
238 ЧАСТЬ 2. ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
и спроектируем на нее все ребра угла V . Это будут лучи, проведенные из вер-
шины O угла V . Проведем из O в той же полуплоскости луч p, образующий с a′
еще меньший угол. Тогда проходящая через луч p плоскость, перпендикулярная α,
будет обладать указанным свойством.
242 ЧАСТЬ 2. ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
Рис. 97 Рис. 98
(π − a) + (π − b) > c.
Отсюда a + b + c < 2π, что и требовалось доказать.
Доказанная теорема обобщается на любой выпуклый многогран-
ный угол.
Теорема 3. Сумма плоских углов выпуклого многогранного угла
меньше 2π.
Д о к а з а т е л ь с т в о. Докажем теорему индукцией по числу гра-
ней угла. По теореме 2 данное утверждение верно для трехгранных
углов. Допустим, что оно верно для n-гранных углов, и докажем его
для (n + 1)-гранных углов.
Вместо многогранных углов можно рас-
сматривать многоугольники на единичной
сфере. Пусть имеется выпуклый сферический
(n+1)-угольник. Возьмем какую-либо его сто-
рону AB и продолжим соседние ей стороны
AP , BQ за точки A, B до их пересечения;
пусть C — точка пересечения (рис. 103). Полу-
чаем n-угольник со сторонами CP , CQ. Он
выпуклый — как и тот многоугольник, из ко-
Рис. 103 торого он получен (так же лежит по одну сто-
рону от каждой большой окружности, содержащей его сторону).
III.4. МНОГОГРАННЫЕ УГЛЫ. . . 245
P
n
Но (βi + γi ) — это сумма всех углов всех
i=1
n боковых граней без суммы их углов при
вершине O, т. е. Рис. 104
n
X n
X
(βi + γ1 ) = nπ − δi , (3)
i=1 i=1
P
n
где δi — сумма всех углов при O.
i=1
Сопоставляя (1), (2), (3), получаем
n
X n
X
αi = (n − 2)π < nπ − δi ,
i=1 i=1
246 ЧАСТЬ 2. ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
откуда
n
X
δi < 2π,
i=1
b1 ⊥ an a1 , b2 ⊥ a1 a2 , . . . , bn ⊥ an−1 an . (4)
a + α = π.
Рис. 106
a′1 = π − α1 и т. д.
P
n
По теореме 3 a′i < 2π. Поэтому
i=1
n
X n
X
(π − αi ) < 2π и αi > (n − 2)π,
i=1 i=1
2α
= 4α.
S(DA ) = 4π (6)
2π
Совершенно так же, проводя большие окружности вдоль сторон
BA, BC и CA, CB (рис. 108), получим фигуры DB , DC с площа-
дями
4(α + β + γ) = 4π + 4S(T ).
III.5. ТРИГОНОМЕТРИЯ ТРЕХГРАННЫХ УГЛОВ. . . 249
Отсюда
S(T ) = α + β + γ − π,
что и требовалось доказать.
Теорема 6. Площадь сферического n-угольника на единичной сфе-
ре выражается через его углы α1 , . . . , αn формулой
X
S= αi − (n − 2)π, (8)
AB = OA tg c.
AC = OA tg b.
Рис. 110
либо a = ab + ac , либо a = ab − ac ,
так что
ac = ±(a − ab ). (6)
Кроме того, из треугольника AHC видно, что cos b = cos ab cos h, т. е.
cos b
cos h = . (7)
cos ab
Теперь, пользуясь (6) и (7), получим из (5) (поскольку косинус сохра-
няется при перемене знака угла)
cos b
cos c = cos (a − ab ) , (8)
cos ab
а так как cos (a − ab ) = cos a cos ab + sin a sin ab , то
cos b
cos c = cos a cos b + sin a sin ab . (9)
cos ab
Применив теорему тангенсов для прямоугольных треугольников к
△AHC, получим:
tg ab = tg b cos γ.
Подставляя это в (9), получаем
В таком случае в формуле (8) вместо cos (a−ab ) будет стоять cos (a+
ab ), и поэтому в (9) второй член будет с минусом. Но в этом случае в
треугольнике AHC угол при C равен π − γ, так что tg ab = tg b cos (π −
γ) = −tg b cos γ.
Таким образом, «минус на минус дает плюс», и получается та же
формула (9) теоремы косинусов.
Д р у г о е д о к а з а т е л ь с т в о т е о р е м ы к о с и н у с о в.
Пусть дан трехгранный угол с вершиной O и ребрами OA, OB,
OC. Пусть a, b, c — его плоские углы, противолежащие соответственно
ребрам OA, OB, OC, а γ — двугранный угол при ребре OC (рис. 111).
Считаем a, b 6= 90◦ .
Возьмем на ребре OC единичный вектор
e, и пусть d, h — такие перпендикулярные
ему векторы, что e+d оказывается на ребре
OA, а e + h — на OB.
Вычислим скалярные произведения этих
векторов на ребрах. Так как e2 = 1 и e ⊥ d,
то e(e + d) = 1.
С другой стороны, угол между e и e+d —
это угол между ребрами OC и OA, т. е. угол
b. Поэтому
1
|e + h| cos a = 1, = cos a. (11)
|e + h|
Теперь вычисляем:
(e + d)(e + h) = 1 + dh
(поскольку e2 = 1 и e ⊥ d и h, т. е. ed = eh = 0).
С другой стороны, угол между (e + d) и (e + h) — это угол между
ребрами OA, OB, т. е. угол c.
III.5. ТРИГОНОМЕТРИЯ ТРЕХГРАННЫХ УГЛОВ. . . 255
dh
cos c = cos a cos b + . (12)
|e + d||e + h|
Вычислим второй член этой формулы. Вспомним, что векторы d,
h перпендикулярны ребру OC. Поэтому угол между ними равен дву-
гранному углу γ при этом ребре. Следовательно,
dh
= sin a sin b cos γ.
|e + d||e + h|
Подставляя это в (12), получаем
α + β + γ > π.
Или так как cos γ = − cos (π − γ), то cos (π − γ) > cos (α + β). И так как
косинус — убывающая функция угла, то π − γ < α + β и α + β + γ > π.
Теорема 6. Сумма плоских углов трехгранного угла меньше 2π.
Д о к а з а т е л ь с т в о. У трехгранного угла, полярного данному,
двугранные углы будут α′ = π − a, β ′ = π − b, γ ′ = π − c, и так
как по предыдущему α′ + β ′ + γ ′ > π, то 3π − (a + b + c) > π, т. е.
a + b + c < 2π.
III.5. ТРИГОНОМЕТРИЯ ТРЕХГРАННЫХ УГЛОВ. . . 257
x2
sin x = x(1 + ε), cos x = 1 − (1 + δ),
2
где ε и δ — бесконечно малые вместе с x (обе порядка x2 ). Поэтому для
малых сферических треугольников получаем из теоремы синусов
sin α a
= (1 + ξ)
sin β b
из теоремы косинусов —
1 2
(a + b2 − 2ab cos γ) = 1 + η
c2
с бесконечно малыми ξ, η. Поэтому в пределе получаются теоремы
синусов и косинусов для плоских треугольников.
Если c мало, то cos c = 1 − ε, где ε стремится к нулю вместе с
c(ε ∼ c2 ). Поэтому из второй теоремы косинусов
Глава I
НАЛОЖЕНИЯ
Рис. 1 Рис. 2
x′ = x + a, y ′ = y + b, z ′ = z + c.
следует
−−′−→′ −−→ −−→ −−→
X Y = −OY + OX = −XY .
Обратно: пусть имеется отображение фигуры F , сохраняющее рас-
стояние и изменяющее направление на противоположное. Возьмем ка-
кую-либо точку A ∈ F , и пусть A′ = f (A) — ее образ, O — середина
отрезка AA′ (или сама точка A, если A′ совпадает с A). Возьмем лю-
бую точку X ∈ F и ее образ X ′ = f (X). По условию расстояние AX
−−→
сохраняется, а направление AX изменяет-
ся на противоположное, поэтому
−−′−→′ −−→
A X = −AX. (4)
Вместе с тем, поскольку O — середина AA′ ,
то (рис. 6)
−−→′ −→
OA = −OA. (5)
Рис. 6 Кроме того,
−−→ −→ −−→ ←−−′ −−→′ −−′−→′
OX = OA + AX, OX = OA + A X .
Из этих равенств в силу(4) и (5) следует
−−→′ −−→
OX = −OX.
Стало быть, точка X ′ симметрична X относительно точки O; и так
как это верно для любой точки X данной фигуры, то рассматривае-
мое отображение f есть ее центральная симметрия, что и требовалось
дока-
зать.
Центральная симметрия задается одной парой соответствующих
точек: если A отображается на A′ , то центр — это середина отрезка
AA′ .
Так как центральная симметрия сохраняет расстояния, то она
представляет собою наложение, и доказанную теорему можно выра-
зить так:
Центральная симметрия — это наложение, изменяющее все на-
правления на противоположные.
Центральная симметрия любой фигуры естественно распространя-
ется на все пространство. Каждой точке сопоставляется точка, ей сим-
метричная относительно того же центра. Так же распространяется на
всю плоскость центральная симметрия плоской фигуры.
I.1. ОТДЕЛЬНЫЕ ВИДЫ НАЛОЖЕНИЙ 263