Cavalieri's principle

The disk-shaped cross-section of the sphere has the same area as the ring-shaped cross-section of that part of the cylinder that lies outside the cone.

If one knows that the volume of a cone is ${\displaystyle {\frac {1}{3}}\left({\text{base}}\times {\text{height}}\right)}$, then one can use Cavalieri's principle to derive the fact that the volume of a sphere is ${\displaystyle {\frac {4}{3}}\pi r^{3}}$, where ${\displaystyle r}$ is the radius.

That is done as follows: Consider a sphere of radius ${\displaystyle r}$ and a cylinder of radius ${\displaystyle r}$ and height ${\displaystyle r}$. Within the cylinder is the cone whose apex is at the center of one base of the cylinder and whose base is the other base of the cylinder. By the Pythagorean theorem, the plane located ${\displaystyle y}$ units above the "equator" intersects the sphere in a circle of radius ${\displaystyle {\sqrt {r^{2}-y^{2}}}}$ and area ${\displaystyle \pi \left(r^{2}-y^{2}\right)}$. The area of the plane's intersection with the part of the cylinder that is outside of the cone is also ${\displaystyle \pi \left(r^{2}-y^{2}\right)}$. As we can see, the area of every intersection of the circle with the horizontal plane located at any height ${\displaystyle y}$ equals the area of the intersection of the plane with the part of the cylinder that is "outside" of the cone; thus, applying Cavalieri's principle, we could say that the volume of the half sphere equals the volume of the part of the cylinder that is "outside" the cone. The aforementioned volume of the cone is ${\displaystyle {\frac {1}{3}}}$ of the volume of the cylinder, thus the volume outside of the cone is ${\displaystyle {\frac {2}{3}}}$ the volume of the cylinder. Therefore the volume of the upper half of the sphere is ${\displaystyle {\frac {2}{3}}}$ of the volume of the cylinder. The volume of the cylinder is

${\displaystyle {\text{base}}\times {\text{height}}=\pi r^{2}\cdot r=\pi r^{3}}$

("Base" is in units of area; "height" is in units of distance. Area × distance = volume.)

Therefore the volume of the upper half-sphere is ${\displaystyle {\frac {2}{3}}\pi r^{3}}$ and that of the whole sphere is ${\displaystyle {\frac {4}{3}}\pi r^{3}}$.

The fact that the volume of any pyramid, regardless of the shape of the base, whether circular as in the case of a cone, or square as in the case of the Egyptian pyramids, or any other shape, is (1/3) × base × height, can be established by Cavalieri's principle if one knows only that it is true in one case. One may initially establish it in a single case by partitioning the interior of a triangular prism into three pyramidal components of equal volumes. One may show the equality of those three volumes by means of Cavalieri's principle.

In fact, Cavalieri's principle or similar infinitesimal argument is necessary to compute the volume of cones and even pyramids, which is essentially the content of Hilbert's third problem – polyhedral pyramids and cones cannot be cut and rearranged into a standard shape, and instead must be compared by infinite (infinitesimal) means. The ancient Greeks used various precursor techniques such as Archimedes's mechanical arguments or method of exhaustion to compute these volumes.

If a hole of height h is drilled straight through the center of a sphere, the volume of the remaining band does not depend on the size of the sphere. For a larger sphere, the band will be thinner but longer.

In what is called the napkin ring problem, one shows by Cavalieri's principle that when a hole is drilled straight through the centre of a sphere where the remaining band has height h, the volume of the remaining material surprisingly does not depend on the size of the sphere. The cross-section of the remaining ring is a plane annulus, whose area is the difference between the areas of two circles. By the Pythagorean theorem, the area of one of the two circles is π times r ² − y ², where r is the sphere's radius and y is the distance from the plane of the equator to the cutting plane, and that of the other is π times r ² − (h/2)². When these are subtracted, the r ² cancels; hence the lack of dependence of the bottom-line answer upon r.

The horizontal cross-section of the region bounded by two cycloidal arcs traced by a point on the same circle rolling in one case clockwise on the line below it, and in the other counterclockwise on the line above it, has the same length as the corresponding horizontal cross-section of the circle.

N. Reed has shown[6] how to find the area bounded by a cycloid by using Cavalieri's principle. A circle of radius r can roll in a clockwise direction upon a line below it, or in a counterclockwise direction upon a line above it. A point on the circle thereby traces out two cycloids. When the circle has rolled any particular distance, the angle through which it would have turned clockwise and that through which it would have turned counterclockwise are the same. The two points tracing the cycloids are therefore at equal heights. The line through them is therefore horizontal (i.e. parallel to the two lines on which the circle rolls). Consequently each horizontal cross-section of the circle has the same length as the corresponding horizontal cross-section of the region bounded by the two arcs of cyloids. By Cavalieri's principle, the circle therefore has the same area as that region.

Consider the rectangle bounding a single cycloid arch. From the definition of a cycloid, it has width 2πr and height 2r, so its area is four times the area of the circle. Calculate the area within this rectangle that lies above the cycloid arch by bisecting the rectangle at the midpoint where the arch meets the rectangle, rotate one piece by 180° and overlay the other half of the rectangle with it. The new rectangle, of area twice that of the circle, consists of the "lens" region between two cycloids, whose area was calculated above to be the same as that of the circle, and the two regions that formed the region above the cycloid arch in the original rectangle. Thus, the area bounded by a rectangle above a single complete arch of the cycloid has area equal to the area of the circle, and so, the area bounded by the arch is three times the area of the circle.