Доказательство. Пусть S — вершина пирамиды, А — вершина основания и А'— точка пересечения секущей плоскости с боковым ребром SA (рис. 23). Подвергнем пирамиду преобразованию гомотетии относительно вершины S с коэффициентом гомотетии
k= SA'/ SA
При этой гомотетии плоскость основания переходит в параллельную плоскость, проходящую через точку А', т. е. в секущую плоскость, а следовательно, вся пирамида — в отсекаемую этой плоскостью часть. Так как гомотетия есть преобразование подобия, то отсекаемая часть пирамиды является пирамидой, подобной данной. Теорема доказана.
По теореме 19.5 плоскость, параллельная плоскости основания пирамиды и пересекающая ее боковые ребра, отсекает от нее подобную пирамиду. Другая часть представляет собой многогранник, который называется усеченной пирамидой (рис. 24). Грани усеченной пирамиды, лежащие в параллельных плоскостях, называются основаниями; остальные грани называются боковыми гранями. Основания усеченной пирамиды представляют собой подобные (более того, гомотетичные) многоугольники, боковые грани — трапеции.
14. Правильная пирамида
Пирамида называется правильной, если ее основанием является правильный многоугольник, а основание высоты совпадает с центром этого многоугольника. Осью правильной пирамиды называется прямая, содержащая ее высоту. Очевидно, у правильной пирамиды боковые ребра равны; следовательно, боковые грани — равные равнобедренные треугольники.
Высота боковой грани правильной пирамиды, проведенная из её вершины, называется апофемой. Боковой поверхностью пирамиды называется сумма площадей ее боковых граней.