Две пирамиды, имеющие равные высоты и равновеликие основания, имеют равные объемы.
Объем пирамиды равен одной трети произведения площади основания на высоту: где S – площадь основания, H – высота пирамиды.
Дополним треугольную пирамиду PABC до треугольной призмы ABCPED, у которой такие же высота и основание (чертеж 6.2.1). Эта призма состоит из трех пирамид: PABC, PBDE и PBCD. Докажем, что их объемы равны. У пирамид PABC и PBDE равные высоты и равновеликие основания. Согласно лемме эти пирамиды имеют равные объемы. У пирамид PBCD и PBDE общая высота и равновеликие основания, так как Δ BCD = Δ BDE. Таким образом, объем пирамиды PABC втрое меньше объема призмы ABCPED: что и требовалось доказать.
Пусть имеется n-угольная пирамида (n > 3) (чертеж 6.2.2). Разобьем ее на несколько треугольных пирамид диагональными сечениями, как показано на чертеже 6.2.2. Пусть V1, V2, ..., Vn – объемы образованных пирамид, а V – объем данной пирамиды, тогда
где S – площадь основания данной пирамиды.
Объем V усеченной пирамиды может быть найден по формуле где H – высота усеченной пирамиды, S1 и S2 – площади ее оснований.
Дополним усеченную пирамиду до полной (чертеж 6.2.3), O1O = H – высота усеченной пирамиды. Площади оснований соответственно равны S1, S2 (S1 > S2). Высота дополняющей пирамиды, как было доказано выше,
что и требовалось доказать.