Пирамиды с общим трёхгранным углом и/или высотой

Так как плоскость перпендикулярна высота пирамиды лежит в грани Без ограничения общности можно считать, что сфера касается плоскости в точке лежащей на высоте (этого можно добиться, если выполнять перенос сферы параллельно плоскости основания пирамиды).

Пусть сфера касается плоскости в точке Докажем, что точки и лежат в одной плоскости и эта плоскость содержит . Пусть — центр сферы. — перпендикуляр к плоскости так как это отрезок на высоте пирамиды. — точка касания сферы и поэтому и перпендикулярны. Таким образом, и параллельны, поэтому лежат в одной плоскости (тогда и лежит в этой плоскости). так как эти отрезки являются основаниями трапеции Тогда плоскость параллельна прямой Докажем, что

Мы уже знаем, что Теперь заметим, что все три угла и — прямые, поэтому — прямоугольник. Тогда — перпендикуляр к плоскости так как и перпендикулярны. Таким образом, Тогда, действительно, и поэтому Точка лежит в плоскости Эта плоскость перпендикулярна при этом — прямая, перпендикулярная Тогда тоже лежит в плоскости

Ранее мы отмечали, что — прямоугольник. Так как — радиусы сферы, то на самом деле этот прямоугольник является квадратом. тогда — отрезки касательных. Пусть плоскость пересекает в точке

Пусть (эти отрезки действительно равны, как отрезки касательных). По теореме Пифагора для

Решаем это уравнение и получаем Теперь через точку проведем прямую параллельную причем и Тогда — это сечение пирамиды плоскостью Действительно, плоскость пересекает по прямой, параллельной при этом Поэтому, действительно, линия пересечения и параллельна поэтому совпадает с

Теперь по теореме Фалеса для углов и получаем: и аналогично

Продлим и до пересечения в точке

По условию поэтому точки и соответственно середины и Пусть Ясно, что Применяем теорему Менелая к и прямой

поэтому Пусть — объем пирамиды Пирамида имеет общую высоту с нашей пирамидой Треугольники и подобны с коэффициентом поэтому Тогда получаем, что причем — основание пирамиды если принять за ее вершину. По формуле объема пирамиды:

По теореме о пирамидах с общим трехгранным углом при вершине:

Таким образом, Снова по теореме о пирамидах с общим трехгранным углом при вершине:

Таким образом, Тогда — одна из частей, на которые плоскость разбивает исходную пирамиду Объем второй части равен Тогда требуемое по условию отношение равно