In solid geometry, an ungula is a region of a solid of revolution, cut off by a plane oblique to its base.[1] A common instance is the spherical wedge. The term ungula refers to the hoof of a horse, an anatomical feature that defines a class of mammals called ungulates.
The volume of an ungula of a cylinder was calculated by Grégoire de Saint Vincent.[2] Two cylinders with equal radii and perpendicular axes intersect in four double ungulae.[3] The bicylinder formed by the intersection had been measured by Archimedes in The Method of Mechanical Theorems, but the manuscript was lost until 1906.
A historian of calculus described the role of the ungula in integral calculus:
Grégoire himself was primarily concerned to illustrate by reference to the ungula that volumetric integration could be reduced, through the ductus in planum, to a consideration of geometric relations between the lies of plane figures. The ungula, however, proved a valuable source of inspiration for those who followed him, and who saw in it a means of representing and transforming integrals in many ingenious ways.[4]
A cylindrical ungula of base radius r and height h has volume
V={2\over3}r2h
A={1\over2}\pir2+{1\over2}\pir\sqrt{r2+h2}+2rh
As=2rh
At={1\over2}\pir\sqrt{r2+h2}
Consider a cylinder
x2+y2=r2
z=0
z=ky
k={h\overr}
A(x)dx
A(x)={1\over2}\sqrt{r2-x2} ⋅ k\sqrt{r2-x2}={1\over2}k(r2-x2)
(x,0,0)
(x,\sqrt{r2-x2},0)
(x,\sqrt{r2-x2},k\sqrt{r2-x2})
\sqrt{r2-x2}
k\sqrt{r2-x2}
V=
r | |
\int | |
-r |
A(x)dx=
r | |
\int | |
-r |
{1\over2}k(r2-x2)dx
={1\over2}k([r2
r | |
x] | |
-r |
-[{1\over3}
r | |
x | |
-r |
)={1\over2}k(2r3-{2\over3}r3)={2\over3}kr3
V={2\over3}r2h
rk=h
A differential surface area of the curved side wall is
dAs=kr(\sin\theta) ⋅ rd\theta=kr2(\sin\theta)d\theta
(r\cos\theta,r\sin\theta,0)
(r\cos\theta,r\sin\theta,kr\sin\theta)
(r\cos(\theta+d\theta),r\sin(\theta+d\theta),0)
(r\cos(\theta+d\theta),r\sin(\theta+d\theta),kr\sin(\theta+d\theta))
rd\theta
kr\sin\theta
As=
\pi | |
\int | |
0 |
dAs=
\pi | |
\int | |
0 |
kr2(\sin\theta)d\theta=kr2
\pi | |
\int | |
0 |
\sin\thetad\theta
-[\cos
\pi | |
\theta] | |
0 |
=-[-1-1]=2
As=2kr2
rk=h
As=2rh
The base of the cylindrical ungula has the surface area of half a circle of radius r:
{1\over2}\pir2
r\sqrt{1+k2}
At={1\over2}\pir ⋅ r\sqrt{1+k2}={1\over2}\pir\sqrt{r2+(kr)2}
kr=h
At={1\over2}\pir\sqrt{r2+h2}
Note how the surface area of the side wall is related to the volume: such surface area being
2kr2
dr
{2\over3}kr3
When the slope k equals 1 then such ungula is precisely one eighth of a bicylinder, whose volume is
{16\over3}r3
{2\over3}r3
A conical ungula of height h, base radius r, and upper flat surface slope k (if the semicircular base is at the bottom, on the plane z = 0) has volume
V={r3kHI\over6}
H={1\over{1\overh}-{1\overrk}}
I=
\pi | |
\int | |
0 |
{2H+kr\sin\theta\over(H+kr\sin\theta)2}\sin\thetad\theta
The surface area of the curved sidewall is
As={kr2\sqrt{r2+H2}\over2}I
As a consistency check, consider what happens when the height of the cone goes to infinity, so that the cone becomes a cylinder in the limit:
\limH → (I-{4\overH})=\limH → ({2H\overH2}
\pi | |
\int | |
0 |
\sin\thetad\theta-{4\overH})=0
\limH → V={r3kH\over6} ⋅ {4\overH}={2\over3}kr3
\limH → As={kr2H\over2} ⋅ {4\overH}=2kr2
\limH → At={1\over2}\pir2{\sqrt{1+k2}\over1+0}={1\over2}\pir2\sqrt{1+k2}={1\over2}\pir\sqrt{r2+(rk)2}
Let a cone be described by
1-{\rho\overr}={z\overH}
\rho=\sqrt{x2+y2}, 0\le\rho\ler
x=\rho\cos\theta, y=\rho\sin\theta
Let the cone be cut by a plane
z=ky=k\rho\sin\theta
\rho0={1\over{1\overr}+{k\sin\theta\overH}}
z0=H(1-{\rho0\overr})
(0,0,0)-(\rho0\cos\theta,\rho0\sin\theta,z0)-(r\cos\theta,r\sin\theta,0)
d\theta
\theta+d\theta
\rho1
z1
\theta
\rho0
z0
\rho1
z1
\theta+d\theta
\theta
d\theta
\rho1
z1
\rho0
z0
The differential trapezoidal pyramid has a trapezoidal base with a length at the base (of the cone) of
rd\theta
({H-z0\overH})rd\theta
{z0\overH}\sqrt{r2+H2}
AT={rd\theta+({H-z0\overH})rd\theta\over2}{z0\overH}\sqrt{r2+H2}=rd\theta{(2H-z0)z0\over2H2}\sqrt{r2+H2}
(0,0,0)
{rH\over\sqrt{r2+H2}}
V=
\pi | |
\int | |
0 |
{1\over3}{rH\over\sqrt{r2+H2}}{(2H-z0)z0\over2H2}\sqrt{r2+H2}rd\theta=
\pi | |
\int | |
0 |
{1\over3}r2{(2H-z0)z0\over2H}d\theta={r2k\over6H}
\pi | |
\int | |
0 |
(2H-ky0)y0d\theta
y0=\rho0\sin\theta={\sin\theta\over{1\overr}+{k\sin\theta\overH}}={1\over{1\overr\sin\theta}+{k\overH}}
For the sidewall:
As=
\pi | |
\int | |
0 |
AT=
\pi | |
\int | |
0 |
{(2H-z0)z0\over2H2}r\sqrt{r2+H2}d\theta={kr\sqrt{r2+H2}\over2H2}
\pi | |
\int | |
0 |
(2H-z0)y0d\theta
H2rI
As a consistency check, consider what happens when k goes to infinity; then the conical ungula should become a semi-cone.
\limk → (I-{\pi\overkr})=0
\limk → V={r3kH\over6} ⋅ {\pi\overkr}={1\over2}({1\over3}\pir2H)
\limk → As={kr2\sqrt{r2+H2}\over2} ⋅ {\pi\overkr}={1\over2}\pir\sqrt{r2+H2}
When
k=H/r
At={2\over3}r\sqrt{r2+H2}
When
k<H/r
At={1\over2}\pixmax(y1-ym)\sqrt{1+k2}Λ
xmax=\sqrt{{k2r4H2-k4r6\over(k2r2-H2)2}+r2}
y1={1\over{1\overr}+{k\overH}}
ym={kr2H\overk2r2-H2}
Λ={\pi\over4}-{1\over2}\arcsin(1-λ)-{1\over4}\sin(2\arcsin(1-λ))
λ={y1\overy1-ym}
When
k>H/r
At=\sqrt{1+k2}(2Cr-aJ)
C={y1+y2\over2}=ym
y1
y2={1\over{k\overH}-{1\overr}}
a={r\over\sqrt{C2-\Delta2}}
\Delta={y2-y1\over2}
J={r\overa}B+{\Delta2\over2}logr|{{r\overa}+B\over{-r\overa}+B}r|
where the logarithm is natural, and
B=\sqrt{\Delta2+{r2\overa2}}