Dome (mathematics)

In geometry, a spherical cap or spherical dome is a portion of a sphere or of a ball cut off by a plane. It is also a spherical segment of one base, i.e., bounded by a single plane. If the plane passes through the center of the sphere (forming a great circle), so that the height of the cap is equal to the radius of the sphere, the spherical cap is called a '' hemisphere''.

Volume and surface area

The volume of the spherical cap and the area of the curved surface may be calculated using combinations of
* The radius $r$ of the sphere
* The radius $a$ of the base of the cap
* The height $h$ of the cap
* The polar angle $\theta$ between the rays from the center of the sphere to the apex of the cap (the pole) and the edge of the disk forming the base of the cap

If $\phi$ denotes the latitude in geographic coordinates, then $\theta+\phi = \pi/2 = 90^\circ\,$, and $\cos \theta = \sin \phi$.

The relationship between $h$ and $r$ is relevant as long as $0\le h\le2r$. For example, the red section of the illustration is also a spherical cap for which $h > r$.

The formulas using $r$ and $h$ can be rewritten to use the radius $a$ of the base of the cap instead of $r$, using the Pythagorean theorem:
:$r^2 = (r-h)^2 + a^2 = r^2 + h^2 - 2rh + a^2\,,$
so that
:$r= \frac\,.$

Substituting this into the formulas gives:

:$V = \frac \left(\frac-h \right) = \frac\pi h (3a^2 + h^2)\,,$
:$A = 2 \pi \frac h = \pi (a^2 + h^2)\,.$

Deriving the surface area intuitively from the spherical sector volume

Note that aside from the calculus based argument below, the area of the spherical cap may be derived from the volume $V_$ of the spherical sector, by an intuitive argument, as
:$A = \fracV_ = \frac \frac = 2\pi rh\,.$
The intuitive argument is based upon summing the total sector volume from that of infinitesimal triangular pyramids. Utilizing the pyramid (or cone) volume formula of $V = \frac bh'$, where $b$ is the infinitesimal area of each pyramidal base (located on the surface of the sphere) and $h'$ is the height of each pyramid from its base to its apex (at the center of the sphere). Since each $h'$, in the limit, is constant and equivalent to the radius $r$ of the sphere, the sum of the infinitesimal pyramidal bases would equal the area of the spherical sector, and:
:$V_ = \sum = \sum\frac bh' = \sum\frac br = \frac \sum b = \frac A$

Deriving the volume and surface area using calculus

The volume and area formulas may be derived by examining the rotation of the function
:$f(x)=\sqrt=\sqrt$
for x \in ,h/math>, using the formulas the surface of the rotation for the area and the solid of the revolution for the volume.
The area is
:$A = 2\pi\int_0^h f(x) \sqrt \,dx$
The derivative of $f$ is
:$f'(x) = \frac$
and hence
:$1+f'(x)^2 = \frac$
The formula for the area is therefore
:A = 2\pi\int_0^h \sqrt \sqrt \,dx
= 2\pi \int_0^h r\,dx
= 2\pi r \left \right0^h
= 2 \pi r h
The volume is
:V = \pi \int_0^h f(x)^2 \,dx
= \pi \int_0^h (2rx-x^2) \,dx
= \pi \left x^2-\frac13x^3\right0^h
= \frac (3r - h)

Applications

Volumes of union and intersection of two intersecting spheres

The volume of the union of two intersecting spheres
of radii $r_1$ and $r_2$ is

:$V = V^-V^\,,$

where

:$V^ = \fracr_1^3 +\fracr_2^3$

is the sum of the volumes of the two isolated spheres, and

:$V^ = \frac(3r_1-h_1)+\frac(3r_2-h_2)$

the sum of the volumes of the two spherical caps forming their intersection. If $d \le r_1+r_2$ is the
distance between the two sphere centers, elimination of the variables $h_1$ and $h_2$ leads
to

:$V^ = \frac(r_1+r_2-d)^2 \left( d^2+2d(r_1+r_2)-3(r_1-r_2)^2 \right)\,.$

Volume of a spherical cap with a curved base

The volume of a spherical cap with a curved base can be calculated by considering two spheres with radii $r_1$ and $r_2$, separated by some distance $d$, and for which their surfaces intersect at $x=h$. That is, the curvature of the base comes from sphere 2. The volume is thus the difference between sphere 2's cap (with height $(r_2-r_1)-(d-h)$) and sphere 1's cap (with height $h$),

$\begin V & = \frac(3r_1-h) - \frac$r_2-((r_2-r_1)-(d-h)),, \\
V & = \frac(3r_1-h) - \frac(d-h)^3\left(\frac-1\right)^2\left frac+1\right,.
\end

This formula is valid only for configurations that satisfy 0 and d-(r_2-r_1). If sphere 2 is very large such that $r_2\gg r_1$, hence $d \gg h$ and $r_2\approx d$, which is the case for a spherical cap with a base that has a negligible curvature, the above equation is equal to the volume of a spherical cap with a flat base, as expected.

Areas of intersecting spheres

Consider two intersecting spheres of radii $r_1$ and $r_2$, with their centers separated by distance $d$. They intersect if

:$, r_1-r_2, \leq d \leq r_1+r_2$

From the law of cosines, the polar angle of the spherical cap on the sphere of radius $r_1$ is

:$\cos \theta = \frac$

Using this, the surface area of the spherical cap on the sphere of radius $r_1$ is

:$A_1 = 2\pi r_1^2 \left( 1+\frac \right)$

Surface area bounded by parallel disks

The curved surface area of the spherical segment bounded by two parallel disks is the difference of surface areas of their respective spherical caps. For a sphere of radius $r$, and caps with heights $h_1$ and $h_2$, the area is

:$A=2 \pi r , h_1 - h_2, \,,$

or, using geographic coordinates with latitudes $\phi_1$ and $\phi_2$,

:$A=2 \pi r^2 , \sin \phi_1 - \sin \phi_2, \,,$

For example, assuming the Earth is a sphere of radius 6371 km, the surface area of the arctic (north of the Arctic Circle, at latitude 66.56° as of August 2016) is 2·6371², sin 90° − sin 66.56°, = 21.04 million km², or 0.5·, sin 90° − sin 66.56°, = 4.125% of the total surface area of the Earth.

This formula can also be used to demonstrate that half the surface area of the Earth lies between latitudes 30° South and 30° North in a spherical zone which encompasses all of the Tropics.

Generalizations

Sections of other solids

The spheroidal dome is obtained by sectioning off a portion of a spheroid so that the resulting dome is circularly symmetric (having an axis of rotation), and likewise the ellipsoidal dome is derived from the ellipsoid.

Hyperspherical cap

Generally, the $n$-dimensional volume of a hyperspherical cap of height $h$ and radius $r$ in $n$-dimensional Euclidean space is given by: $V = \frac \int\limits_^\sin^n (t) \,\mathrmt$
where $\Gamma$ (the gamma function) is given by $\Gamma(z) = \int_0^\infty t^ \mathrm^\,\mathrmt$.

The formula for $V$ can be expressed in terms of the volume of the unit n-ball $C_=$ and the hypergeometric function $_F_$ or the regularized incomplete beta function $I_x(a,b)$ as
:$V = C_ \, r^ \left( \frac\, - \,\frac \,\frac _F_\left(\tfrac,\tfrac;\tfrac;\left(\tfrac\right)^\right)\right) =\fracC_ \, r^n I_ \left(\frac, \frac \right)$,

and the area formula $A$ can be expressed in terms of the area of the unit n-ball $A_=$ as
:$A =\fracA_ \, r^ I_ \left(\frac, \frac \right)$ ,
where $0\le h\le r$.

Earlier in (1986, USSR Academ. Press) the following formulas were derived:
$A=A_n p_ (q), V=C_n p_n (q)$, where
$q= 1-h/r (0 \le q \le 1 ), p_n (q) =(1-G_n(q)/G_n(1))/2$,

$G _n(q)= \int \limits_^ (1-t^2) ^ dt$.

For odd $n=2k+1:$

$G_n(q) = \sum_^k (-1) ^i \binom k i \frac$.

Asymptotics

It is shown in that, if $n \to \infty$ and $q\sqrt n = \text$, then $p_n (q) \to 1- F()$ where $F()$ is the integral of the standard normal distribution.

A more quantitative bound is

A/A_n = n^ \cdot 2-h/r)h/r
.
For large caps (that is when $(1-h/r)^4\cdot n = O(1)$ as $n\to \infty$), the bound simplifies to $n^ \cdot e^$.
Anja Becker, Léo Ducas, Nicolas Gama, and Thijs Laarhoven. 2016. New directions in nearest neighbor searching with applications to lattice sieving. In Proceedings of the twenty-seventh annual ACM-SIAM symposium on Discrete algorithms (SODA '16), Robert Krauthgamer (Ed.). Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 10-24.

See also

* Circular segment — the analogous 2D object
* Solid angle — contains formula for n-sphere caps
* Spherical segment
* Spherical sector
* Spherical wedge

References

Further reading

*
*
*
*
*
*
*

External links

* {{MathWorld , id=SphericalCap , title=Spherical cap Derivation and some additional formulas.

Online calculator for spherical cap volume and area

Spherical geometry