Volume-Preserving Shear Transformation of an Elliptical Slant Cone to a Right Cone

Abstract

One nappe of a right circular cone, cut by a transverse plane, splits the cone into an infinite frustum and a cone with an elliptical section of finite volume. There is a standard way of computing this finite volume, which involves finding the parameters of the so-called shadow ellipse, the characteristics of the oblique ellipse (the cut) and, finally, the projection of the vertex of the cone onto the oblique ellipse. This paper shows that it is possible to compute that volume just by using the information of the shadow ellipse and the height of the cone. Indeed, the finite slant cone has the same volume of an elliptic right cone, with the base being the shadow ellipse of the cut portion and with the height being the distance between the vertex of the cone and the intersection of the height of the original cone with the cutting plane. This is proved by introducing a volume-preserving shear transformation of the elliptical slant cone to a right cone, so that the standard volume formula for a cone can be straightforwardly applied. This implies a simplification in the procedure for computing the volume, since the oblique ellipse—i.e., the difficult part—can be neglected because only the shadow ellipse needs to be determined.

1. Introduction and Problem Formulation

This paper presents a simplified—and novel, to the best of the authors’ knowledge—method for computing the volume of the finite portion obtained by cutting one nappe of a right circular cone with a transverse plane, so that the cut section is elliptical; see Figure 1.

Without loss of generality, it is possible to recast the problem in standard form: the nappe of the circular right cone C is assumed to have a Cartesian equation of the form (see Figure 2 for reference to the quantities introduced next):

$$C:z=\sqrt{c^2(x^2+y^2)},$$

where $c>0$ defines the opening of the cone from its vertex V and it is related to the half-angle $\alpha$ by the formula

$$c=tan(\pi /2-\alpha )=cot\left(\alpha \right).$$

A transverse cutting plane P has Cartesian coordinates, for real coefficients $a_1,\dots ,a_4$,

$$P:a_{1}x+a_{2}y+a_{3}z+a_4=0,$$

but, since only a finite volume is considered, parabolic and hyperbolic sections are excluded. Moreover, by symmetry, it is always possible to rotate around the z axis, so that the equation of the plane P reduces to $z=mx+q$, with nonnegative m and q. The plane cuts the cone with an angle $\phi$ obtained as $tan\phi =m$. These conditions imply that $0<m<c$, or equivalently, that $0<\phi <\pi /2-\alpha$ (inequalities are strict to avoid a degenerate cut).

2. Background and State of the Art

Before illustrating our new procedure to compute the volume of the cut cone using a shear transformation, we revise the usual way, presented in [1], i.e., to integrate slices of the cone parallel to the cutting plane along the height $VH$ of the cone, as in Figure 3 (left), which needs the following steps to be performed. It is necessary to find the parameters of the oblique ellipse and the projection H of the vertex V on the plane P. The first step for this computation is to find the shadow ellipse, that is, the ellipse obtained intersecting the cone C with the plane P, namely

$$\begin{array}{c}\hfill \begin{array}{ccc}\hfill \sqrt{c^2(x^2+y^2)}& =& mx+q,\mathrm{that}\mathrm{is}\hfill \\ \hfill y& =& \pm \frac{\sqrt{(m^2-c^2)x^2+2mqx+q^2}}{c}\mathrm{or}\hfill \\ \hfill x& =& \frac{mq\pm \sqrt{c^2{y}^2(m^2-c^2)+c^2{q}^2}}{c^2-m^2}.\hfill \end{array}\end{array}$$

The above implicit equations with respect to x or y represent the shadow ellipse that lays in the plane $z=0$, with axes parallel to x and y, which is depicted in red in Figure 2. Notice that the aforementioned condition $0<m<c$ ensures that the denominator $c^2-m^2$ never vanishes.

To find the parameters of this ellipse, it is possible to use the polar coordinates or to study the interval of existence of the above radicals, in both cases, the result is $x\in [x_{min},x_{max}]$, $y\in [y_{min},y_{max}]$, where

$$\begin{array}{ccccccc}\hfill x_{min}& =& -\frac{q}{c+m},\hfill & & \hfill x_{max}& =& \frac{q}{c-m},\hfill \\ \hfill y_{min}& =& -\frac{q}{\sqrt{c^2-m^2}},\hfill & & \hfill y_{max}& =& \frac{q}{\sqrt{c^2-m^2}}.\hfill \end{array}$$

(1)

Thereby, the major semiaxis a, the minor semiaxis b and the centre of the shadow ellipse $O_s$ are

$$\begin{array}{c}\hfill a=\frac{cq}{c^2-m^2},b=\frac{q}{\sqrt{c^2-m^2}},O_s=\left(\frac{mq}{c^2-m^2},0\right)\equiv (g,0).\end{array}$$

(2)

The oblique ellipse in space, corresponding to the intersection of C and P, is the image of the shadow ellipse mapped on the cone or on the plane. It has vertices (see Figure 2),

$$\begin{array}{ccccccc}\hfill E_x^{-}& =& \left(x_{min},0,\frac{cq}{c+m}\right),\hfill & & \hfill E_x^{+}& =& \left(x_{max},0,\frac{cq}{c-m}\right),\hfill \\ \hfill E_y^{-}& =& \left(g,y_{min},\frac{c^{2}q}{c^2-m^2}\right),\hfill & & \hfill E_y^{+}& =& \left(g,y_{max},\frac{c^{2}q}{c^2-m^2}\right),\hfill \end{array}$$

(3)

where $g\equiv \frac{mq}{c^2-m^2}$, as in (2) and the other values are given in (1). They define the oblique ellipse, as in Figure 3, which has semiaxes A, B and centre O given by

$$\begin{array}{ccc}\hfill A& =& \frac{1}{2}\mathrm{dist}(E_x^{+},E_x^{-})=\frac{cq\sqrt{m^2+1}}{c^2-m^2},\hfill \\ \hfill B& =& \frac{1}{2}\mathrm{dist}(E_y^{+},E_y^{-})=\frac{q}{\sqrt{c^2-m^2}},\hfill \\ \hfill O& =& \left(g,0,\frac{q{c}^2}{c^2-m^2}\right).\hfill \end{array}$$

(4)

To compute the volume using the standard method, it is necessary to know the height of the cone, which corresponds to the length h in Figure 2. This is the distance from the projection of point V onto plane P, or equivalently, the length of segment $VH$, where

$$\begin{array}{ccc}\hfill H& =& \left(-\frac{qm}{m^2+1},0,\frac{q}{m^2+1}\right),\hfill \\ \hfill \mathrm{dist}(V,H)& =& h=\frac{q}{\sqrt{m^2+1}}.\hfill \end{array}$$

(5)

In conclusion, the volume of the cone is the area of the base, i.e., the oblique ellipse (4), times a third of the height h:

$$\mathrm{Vol}=\frac{\pi }{3}ABh=\frac{\pi }{3}\frac{c{q}^3}{{(c^2-m^2)}^{\frac{3}{2}}}.$$

(6)

The next section will show that the above volume can be computed by solely considering the shadow ellipse (2), hence avoiding the computation of the parameters of the oblique space ellipse (4), and of the projection of V onto P (5).

3. Equivalence of the Volume of the Slanted and Right Cone

It is straightforward to verify that the cone with the base being the shadow ellipse and the height $VQ=q$, i.e., the intersection of the height of the original cone with the cutting plane, has a volume given by $\mathrm{Vol}=\pi /3abq$, which is the value obtained in (6), after the substitution of (2):

$$\begin{array}{c}\hfill \begin{array}{ccc}\mathrm{Vol}& =& {\int }_0^q\pi a\left(z\right)b\left(z\right)\mathrm{d}z\hfill \\ & =& \pi {\int }_0^q\frac{cz}{c^2-m^2}·\frac{z}{\sqrt{c^2-m^2}}\mathrm{d}z\hfill \\ & =& {\displaystyle \frac{\pi c}{{(c^2-m^2)}^{\frac{3}{2}}}}{\int }_0^q{z}^2\mathrm{d}z=\frac{\pi }{3}abq\hfill \\ & =& \frac{\pi }{3}\frac{c{q}^3}{{(c^2-m^2)}^{\frac{3}{2}}},\hfill \end{array}\end{array}$$

where $a\left(z\right)$ and $b\left(z\right)$ are the expressions (given in (2)) of the semi-axes of the ellipse integrated from 0 to q. Indeed, the usual way of computing the volume is to apply Cavalieri’s Principle to the oblique cone, that is, to employ a shear transformation, ref. [2] (Ch. 5) which is a linear mapping that preserves volumes, as in Figure 3. We can map the slanted cone (left) to the right cone (right) slice by slice [3] (Ch. 4). For the slanted cone, if we intercept the nappe with the plane $z=mx+q^{\prime }$ with $0\le q^{\prime }\le q$, then we obtain the analogous vertices of the oblique ellipse, as in (3), but with q replaced by $q^{\prime }$. Analogously, for the slices of the right cone, we obtain (2) with q replaced by the $q^{\prime }$ corresponding to each slice. If we compute the area $\mathtt{Area}\left(E_{q^{\prime }}\right)$ of each slice of the slanted cone, we obtain

$$\mathtt{Area}\left(E_{q^{\prime }}\right)=\pi A_{q^{\prime }}{B}_{q^{\prime }}=\frac{\pi c{q^{\prime }}^2\sqrt{m^2+1}}{{(c^2-m^2)}^{\frac{3}{2}}},$$

while the area of each slice of the right cone is

$$\mathtt{Area}\left(O_{q^{\prime }}\right)=\pi a_{q^{\prime }}{b}_{q^{\prime }}=\frac{\pi c{q^{\prime }}^2}{{(c^2-m^2)}^{\frac{3}{2}}}.$$

In other words, the ratio of the area of each slice of the slanted cone to the area of each slice of the right cone is

$$\frac{\mathtt{Area}\left(E_{q^{\prime }}\right)}{\mathtt{Area}\left(O_{q^{\prime }}\right)}=\sqrt{m^2+1}.$$

On the other hand, the height of the slanted cone is shorter than the height of the right cone by a factor $h/q=\frac{1}{\sqrt{m^2+1}}$. We can therefore prove that the two volumes are equal.

Theorem 1. 

The finite volume of one nappe of a right circular cone of equation $z=\sqrt{c^2(x^2+y^2)}$ (for $c>0$) cut by a transverse plane of equation $z=mx+q$ is equal to the volume of a cone with a base that is the shadow ellipse of semiaxes a and b (given in (2)) and a height equal to the distance $QV=q$, i.e., the intersection of the height of the original cone C with the cutting plane (Figure 2). Finally, the volume is

$$\mathrm{Vol}=\frac{\pi }{3}\frac{c{q}^3}{{(c^2-m^2)}^{\frac{3}{2}}}.$$

(7)

Proof. 

The idea of the present simplification is to prove the existence of a shear transformation that maps the oblique ellipse to the shadow ellipse, so that some steps of the usual computation are spared, because the standard cone formula can be directly applied.

This corresponds to finding a change of coordinates in the integral for the volume that has a determinant of the Jacobian equal to 1. An elementary shear transform matrix $\mathit{T}$ is used to map the oblique plane P onto the horizontal plane $z=q$. This transformation is defined by a single parameter k, which needs to be determined, and is of the form

$$\mathit{T}=\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ k& 0& 1\end{array}\right).$$

(8)

A generic point R on the cutting plane P has coordinates $R=(x,y,mx+q)$. The application of $\mathit{T}$ to the generic point R yields a new point $R^{\prime }$ such that

$$R^{\prime }=\mathit{T}·R=\mathit{T}·\left(\begin{array}{c}x\\ y\\ mx+q\end{array}\right)=\left(\begin{array}{c}x\\ y\\ mx+kx+q\end{array}\right).$$

Constraining $R^{\prime }$ to lie on the plane $z=q$, we obtain the equation on the z-component: $(m+k)x+q=q$, from which we obtain $k=-m$.

Note that the transformation T in (8) maps each point P that belongs to a slice of the slanted cone onto a corresponding point $P^{\prime }$ belonging to a slice of the right cone at height $q^{\prime }$:

$$\begin{array}{ccc}\hfill P^{\prime }=\mathit{T}·P& =& \mathit{T}·\left(\begin{array}{c}x\\ y\\ mx+q^{\prime }\end{array}\right)\hfill \\ \hfill & =& \left(\begin{array}{c}x\\ y\\ mx-mx+q^{\prime }\end{array}\right)=\left(\begin{array}{c}x\\ y\\ q^{\prime }\end{array}\right).\hfill \end{array}$$

Applying $\mathit{T}$ to the four vertices $E_x^{+},E_y^{-},E_y^{+},\mathrm{and}{E}_y^{-}$, we retrieve the vertices of the shadow ellipse on $z=q$ (see for reference Figure 2):

$$\begin{array}{ccccccc}\hfill S_x^{-}& =& \left(x_{min},0,q\right),\hfill & & \hfill S_y^{-}& =& \left(g,y_{min},q\right),\hfill \\ \hfill S_x^{+}& =& \left(x_{max},0,q\right),\hfill & & \hfill S_y^{+}& =& \left(g,y_{max},q\right).\hfill \end{array}$$

The slant cone is thus mapped to a right cone and its volume can be easily retrieved with the standard formula: area of the base times the height divided by three, as in (7). Indeed, the shear transformation T has a unit determinant, which preserves volumes in three-dimensional spaces and areas in two-dimensional spaces. □

4. Conclusions

This paper demonstrates that the volume of a slanted cone, which results from slicing one nappe of a right circular cone with a transverse plane, is equivalent to the volume of a right cone. This right cone has an elliptical base, which corresponds to the projection (or “shadow”) of the slant cone onto the plane, and a height determined by the intersection of the original cone’s height and the cutting plane. The function that maps the slant cone to the right cone is a shear transformation with a unit determinant, which preserves volumes in three-dimensional spaces and areas in two-dimensional spaces. Computing the cone’s volume is thus simplified, since the oblique ellipse, and the vertex’s projection on the cutting plane can be neglected because only the shadow ellipse must be determined and integrated over. This is equivalent to saying that only the semiaxes a and b (computed in (2)) are required: the computation of the oblique ellipse (4) and of the projection of the vertex (5) can be avoided.

Furthermore, this method can be used to compute the volume of any frustum generated by intersecting the cone with two planes.