Многогранный угол составлен боковыми сторонами -угольной пирамиды, в основании которой лежит выпуклый -угольник. Рассмотрим одну из таких сторон. Докажем, что (см. рисунок). Тогда и . Вот сейчас будет немного муторно: . Однако , действительно, , что верно, поскольку каждое слагаемое слева (кроме единицы) больше соответствующего слагаемого справа. Поэтому . Теперь спроецировав вершину многогранного угла на плоскость (многоугольник), получим, что сумма плоских углов меньше суммы углов при вершине проекции , которая равна в точности , что и требовалось.
Через две пересекающиеся прямые можно провести ровно одну плоскость. Две прямые из условия лежат в некоторой плоскости a. Пусть третья прямая пересекает каждую из них и не проходит через точку A их пересечения. Тогда у третьей прямой есть хотя бы две общие точки с плоскостью a (как раз эти точки пересечения). Известно, что прямая, имеющая с плоскостью хотя бы две общие точки, лежит в этой плоскости. Тогда третья прямая также лежит в а. Следовательно, какую бы прямую, пересекающую две данные прямые и не проходящую через А мы ни выбрали, она будет целиком лежать в плоскости а, что и требовалось доказать.
Через две пересекающиеся прямые можно провести ровно одну плоскость. Две прямые из условия лежат в некоторой плоскости a. Пусть третья прямая пересекает каждую из них и не проходит через точку A их пересечения. Тогда у третьей прямой есть хотя бы две общие точки с плоскостью a (как раз эти точки пересечения). Известно, что прямая, имеющая с плоскостью хотя бы две общие точки, лежит в этой плоскости. Тогда третья прямая также лежит в а. Следовательно, какую бы прямую, пересекающую две данные прямые и не проходящую через А мы ни выбрали, она будет целиком лежать в плоскости а, что и требовалось доказать.
Многогранный угол составлен боковыми сторонами
-угольной пирамиды, в основании которой лежит выпуклый
-угольник. Рассмотрим одну из таких сторон. Докажем, что
(см. рисунок). Тогда
и
. Вот сейчас будет немного муторно:
. Однако
, действительно,
, что верно, поскольку каждое слагаемое слева (кроме единицы) больше соответствующего слагаемого справа. Поэтому
. Теперь спроецировав вершину
многогранного угла на плоскость (многоугольник), получим, что сумма плоских углов меньше суммы углов при вершине
проекции
, которая равна в точности
, что и требовалось.