Файл: Погорелов, А. В. Элементарная геометрия.pdf

жащей полупрямую а. Полуплоскости этих плоскостей, содержащие полупрямые ft и с, образуют двугранный угол.

Этот угол называется двугранным углом трехгранного угла при ребре а. Его называют также двугранным углом, противолежащим плоскому углу (Ьс).

Теорема косинусов для трехгранного угла. Т е о р е ­ м а 22.1. Пусть а, Р, у — плоские углы трехгранного угла и С — двугранный угол, противолежащий плоскому углу у. Т огда

теореме косинусов в при­ менении к треугольнику ASB будем иметь

А В3= 1+ 1— 2 cos у.

Теперь вычислим длину отрезка АВ другим способом. Для этого проведем через точки А а В плоскости, перпен­ дикулярные ребру с. Они пересекут это ребро или его про­

должение в точках А' и В'. Пусть В — основание перпен­ дикуляра, опущенного из точки В на проведенную через точку А плоскость. По теореме косинусов в применении к

треугольнику АА'В имеем

ЛВа = ЛЛ 'а + А'В* — 2AA'.A'BcosC.

Но AA' = s\n р, A'B = B B ' —s\n а. Таким образом,

АВ* = sin za + s in aP— 2 sin a sin Pcos С.

Из прямоугольного треугольника АВВ по теореме Пифагора получаем

АВ* = АВ* + В В \

153

Но ВВ = |cosfJ — cos а|. Таким образом,

AB2 = si?i2a-J-sin2 ($ + (cos (}—cosa)2— 2 sin asin jicos С =■ = 2— 2 cos a cos p— 2 sin a sin p cos C.

Сравнивая два выражения для величины АВ2, получим

cos у = cos a cos р + sin a sin p cos C.

Теорема доказана.

Трехгранный угол, полярный данному трехгранному уг­ лу. Пусть а, Ь, с — ребра трехгранного угла с вершиной S. Плоскость угла (Ьс) разбивает пространство на два полу­ пространства. В одном из них расположена полупрямая а.

Проведем из точки S полупря­ мую а' перпендикулярно пло­ скости угла (Ьс), направлен­ ную в полупространство, до­ полнительное к тому, в кото­ ром лежит полупрямая а. Ана­ логично построим полупрямые Ь' и с', перпендикулярные плоскостям углов (ас) и (ab) соответственно. Трехгранный угол, ребрами которого явля­ ются полупрямые а', Ь', с ,

называется полярным по отношению к исходному углу (abc)

(рис. 183). Легко видеть, что грани полярного угла перпен­ дикулярны ребрам исходного. Свойство полярности трех­ гранных углов взаимно, т. е. если трехгранный угол (а’Ь'с’) полярен трехгранному углу (abc), то трехгранный угол (abc) полярен трехгранному углу (а'Ь’с'). Из свойства углов с перпендикулярными сторонами заключаем, что плоские углы полярного угла дополняют соответствующие дву­ гранные исходного трёхгранного угла до 180°. Именно, плоский угол (Ь' с') дополняет до 180° двугранный угол при ребре а и т. д. Аналогично, двугранные углы полярного трехгранного угла дополняют соответствующие плоские углы исходного до 180°. В частности, двугранный угол при

трехгранного угла. Пусть у — плоский угол, противолежащий двугранному углу С. Тогда

cos С = —cos A cos В + sin A sin В cos у.

164

Д о к а з а т е л ь с т в о . Отложим на ребре с трех­ гранного угла отрезок SC единичной длины (рис. 184). Опу­ стим из точки С перпендикуляр на плоскость угла (ab).

Пусть С— основание этого перпен­ дикуляра. Проведем из точки Сплос­ кости, перпендикулярные ребрам а и b и обозначим через А и В точки

пересечения этих плоскостей с ре­ 5 брами а и & или их продолжением.

Вычислим длину перпендику­

ляра СС. Из прямоугольного тре­ угольника SCB с прямым углом В получим

СВ — 1 -sin а.

Теперь из прямоугольного треугольника СВС о прямым уг­ лом С находим длину перпендикуляра СС. Именно,

СС = СВ sin В = sin a sin В.

Длину перпендикуляра СС можно найти иначе, исполь­ зуя при этом прямоугольные треугольники ACS и САС. При этом получается, что

Сравнивая выражения для отрезка СС, находим

sin a sin В —sin р sin А.

Отсюда

Аналогично получается соотношение

sin f t __sin у

.sin В — sin С

153

Неравенство для плоских углов трехгранного угла.

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

Д о к а з а т е л ь с т в о . Пусть а , |3, у — плоские углы трехгранного угла. Покажем, что у<а-|-р. Применяя те­ орему 22.1 к трехгранному углу, получим

cosy = cosacosp + sinasin (3cosC.

Так как cos О —1, а sin а и sin Р положительны, то имеет место неравенство

cos у > cos a cos р—sin a sin р.

Правая часть этого неравенства есть не что иное, как

cos (a+P). Таким образом, cos y > c o s (a+P). Как известно,

при возрастании угла от 0° до 180° косинус угла убывает. Отсюда следует, что у < а + Р - Теорема доказана.

Многогранные углы. Пусть из точки S исходят полупря­ мые яь а2>. • •, яп, причем никакие три последовательные полупрямые аи а2, а3\ а2, а3, я<;. ..; ап, аи а2 не лежат в одной плоскости. Фигура,

сумма плоских углов меньше 360°.

Д о к а з а т е л ь с т в о . Пусть аи а2, . . ., ап— ребра выпуклого многогранного угла с вершиной S. Отметим на сторонах угла а3 и а2 точки Л, и Л 2- Возьмем теперь точку А 3на стороне а3, достаточно близкую к вершине S, и прове­ дем через точки А и А 2, А 3 плоскость а (рис. 185). При до­ статочной близости. точки А 3 к 5 плоскость а пересекает все ребра аи а2, . . ., ап. Пусть А и А 2, А 3, . . ., Ап— точки пересечения плоскости а с ребрами угла S. Из выпуклости многогранного угла 5 следует выпуклость многоугольника Р с вершинами А и А 2, . . ., Ап (рис. 186).

156

Рассмотрим многогранный угол 5 и трехгранные углы

Упражнения

1.Три прямые а, Ь, с, не лежащие в одной плоскости, пересекаются

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

2.Пусть а, Р, у — плоские, а А, В, С — противолежащие им дву­ гранные углы трехгранного угла. Пусть ср — угол между ребром дву-- гранного угла С и плоскостью угла у. Доказать, что

sin ср = sin р sin А = sin a sin В.

3. В трехгранном угле два плоских угла равны а , а двугранный

прилегающих к этому плоскому, причем один из этих двугранных угЛов прямой. Найти остальные углы.

§ 23. ДВИЖЕНИЕ И ДРУГИЕ ПРЕОБРАЗОВАНИЯ В ПРОСТРАНСТВЕ

Движение и его свойства. Понятие движения в простран­ стве вводится так же, как и на плоскости. Именно, под движением мы понимаем одно-однозначное отображение пространства на себя, сохраняющее расстояния между точ­ ками. Это значит, что если X и У — две произвольные точки пространства и X ', Y '— соответствующие им точки, то X Y —X'Y'. Движение в пространстве обладает свойствами, аналогичными свойствам движения на плоскости. В част­ ности, при движении прямые переходят в прямые и

157.