Volume of polygon-based pyramid

Question

I read in a book a few months ago that the volume of a (solid) pyramid with a base that is ANY polygon (I'm not sure if it mentioned it being regular or not) is equal to $$\frac{1}{3}\times A\times h$$ where $A$ is the area of the base (i.e. of the polygon) and $h$ is the height of the pyramid.

This seems to be true in many cases, such as when the base is a square, a triangle and when the base is a circle (ie the pyramid becomes a cone).

My question is, how can we prove this? I simply have no idea.

Thank you for your help.

Answer 1

Any polygon can be decomposed into triangles, giving $A = A_1 + \cdots + A_n$.

Thus, $$\begin{align} V &= V_1 + \cdots + V_n\\ &=\frac13A_1h + \cdots + \frac13A_nh\\ &=\frac13(A_1 + \cdots + A_n)h\\ &=\frac13Ah. \end{align}$$

---

For the base case, you can decompose a prism like so. To see that the three pyramids have the same volume, note that the left and middle pyramids share a blue base and have the same height; similarly, the middle and right pyramids share a red base and have the same height.

Answer 2

For the most general case in which the base doesn't even need to be a polygon, it is an application of Cavalieri's Principle. Imagine a pyramid with a blob-shaped base and a square pyramid next to it with the same height and whose base has the same area as that of the first pyramid. Since any level cross-section of the two pyramids would have to have the same area, the volumes must also be equal.

There is a marvelous image showing that the area of a square pyramid whose height is equal to its base size and whose apex is above one corner of the base is 1/3 the volume of a unit cube. Long story short, you can construct three of those pyramids and see that they can be fit together to form a unit cube. From there, the only remaining step is to convince yourself that the volume of a pyramid whose base is a unit square is directly proportional to the height of the pyramid. At that point, you've proved it from a unit square pyramid with unit height to a unit square pyramid of arbitrary height to an arbitrary base and arbitrary height.