1.7: Quadric Surfaces
- Page ID
- 33223
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Learning Objectives
- Identify a cylinder as a type of three-dimensional surface.
- Recognize the main features of ellipsoids, paraboloids, and hyperboloids.
- Use traces to draw the intersections of quadric surfaces with the coordinate planes.
We have been exploring vectors and vector operations in three-dimensional space, and we have developed equations to describe lines, planes, and spheres. In this section, we use our knowledge of planes and spheres, which are examples of three-dimensional figures called surfaces, to explore a variety of other surfaces that can be graphed in a three-dimensional coordinate system.
Identifying Cylinders
The first surface we’ll examine is the cylinder. Although most people immediately think of a hollow pipe or a soda straw when they hear the word cylinder, here we use the broad mathematical meaning of the term. As we have seen, cylindrical surfaces don’t have to be circular. A rectangular heating duct is a cylinder, as is a rolled-up yoga mat, the cross-section of which is a spiral shape.
In the two-dimensional coordinate plane, the equation \( x^2+y^2=9\) describes a circle centered at the origin with radius \( 3\). In three-dimensional space, this same equation represents a surface. Imagine copies of a circle stacked on top of each other centered on the \(z\)-axis (Figure \(\PageIndex{1}\)), forming a hollow tube. We can then construct a cylinder from the set of lines parallel to the \(z\)-axis passing through the circle \( x^2+y^2=9\) in the \(xy\)-plane, as shown in the figure. In this way, any curve in one of the coordinate planes can be extended to become a surface.
Definition: cylinders and rulings
A set of lines parallel to a given line passing through a given curve is known as a cylindrical surface, or cylinder. The parallel lines are called rulings.
From this definition, we can see that we still have a cylinder in three-dimensional space, even if the curve is not a circle. Any curve can form a cylinder, and the rulings that compose the cylinder may be parallel to any given line (Figure \(\PageIndex{2}\)).
Example \( \PageIndex{1}\): Graphing Cylindrical Surfaces
Sketch the graphs of the following cylindrical surfaces.
- \( x^2+z^2=25\)
- \( z=2x^2−y\)
- \( y=\sin x\)
Solution
a. The variable \( y\) can take on any value without limit. Therefore, the lines ruling this surface are parallel to the \(y\)-axis. The intersection of this surface with the \(xz\)-plane forms a circle centered at the origin with radius \( 5\) (see Figure \(\PageIndex{3}\)).
b. In this case, the equation contains all three variables —\( x,y,\) and \( z\)— so none of the variables can vary arbitrarily. The easiest way to visualize this surface is to use a computer graphing utility (Figure \(\PageIndex{4}\)).
c. In this equation, the variable \( z\) can take on any value without limit. Therefore, the lines composing this surface are parallel to the \(z\)-axis. The intersection of this surface with the yz-plane outlines curve \( y=\sin x\) (Figure \(\PageIndex{5}\)).
Exercise \( \PageIndex{1}\):
Sketch or use a graphing tool to view the graph of the cylindrical surface defined by equation \( z=y^2\).
- Hint
-
The variable \( x\) can take on any value without limit.
- Answer
When sketching surfaces, we have seen that it is useful to sketch the intersection of the surface with a plane parallel to one of the coordinate planes. These curves are called traces. We can see them in the plot of the cylinder in Figure \(\PageIndex{6}\).
Definition: traces
The traces of a surface are the cross-sections created when the surface intersects a plane parallel to one of the coordinate planes.
Traces are useful in sketching cylindrical surfaces. For a cylinder in three dimensions, though, only one set of traces is useful. Notice, in Figure \(\PageIndex{6}\), that the trace of the graph of \( z=\sin x\) in the xz-plane is useful in constructing the graph. The trace in the xy-plane, though, is just a series of parallel lines, and the trace in the yz-plane is simply one line.
Cylindrical surfaces are formed by a set of parallel lines. Not all surfaces in three dimensions are constructed so simply, however. We now explore more complex surfaces, and traces are an important tool in this investigation.
Quadric Surfaces
We have learned about surfaces in three dimensions described by first-order equations; these are planes. Some other common types of surfaces can be described by second-order equations. We can view these surfaces as three-dimensional extensions of the conic sections we discussed earlier: the ellipse, the parabola, and the hyperbola. We call these graphs quadric surfaces
Definition: Quadric surfaces and conic sections
Quadric surfaces are the graphs of equations that can be expressed in the form
\[Ax^2+By^2+Cz^2+Dxy+Exz+Fyz+Gx+Hy+Jz+K=0.\]
When a quadric surface intersects a coordinate plane, the trace is a conic section.
An ellipsoid is a surface described by an equation of the form \( \dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}+\dfrac{z^2}{c^2}=1.\) Set \( x=0\) to see the trace of the ellipsoid in the yz-plane. To see the traces in the \(y\)- and \(xz\)-planes, set \( z=0\) and \( y=0\), respectively. Notice that, if \( a=b\), the trace in the \(xy\)-plane is a circle. Similarly, if \( a=c\), the trace in the \(xz\)-plane is a circle and, if \( b=c\), then the trace in the \(yz\)-plane is a circle. A sphere, then, is an ellipsoid with \( a=b=c.\)
Example \( \PageIndex{2}\): Sketching an Ellipsoid
Sketch the ellipsoid
\[ \dfrac{x^2}{2^2}+\dfrac{y^2}{3^2}+\dfrac{z^2}{5^2}=1.\]
Solution
Start by sketching the traces. To find the trace in the xy-plane, set \( z=0: \dfrac{x^2}{2^2}+\dfrac{y^2}{3^2}=1\) (Figure \(\PageIndex{7}\)). To find the other traces, first set \( y=0\) and then set \( x=0.\)
Now that we know what traces of this solid look like, we can sketch the surface in three dimensions (Figure \(\PageIndex{8}\)).
The trace of an ellipsoid is an ellipse in each of the coordinate planes. However, this does not have to be the case for all quadric surfaces. Many quadric surfaces have traces that are different kinds of conic sections, and this is usually indicated by the name of the surface. For example, if a surface can be described by an equation of the form
\[ \dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=\dfrac{z}{c}\]
then we call that surface an elliptic paraboloid. The trace in the xy-plane is an ellipse, but the traces in the xz-plane and yz-plane are parabolas (Figure \(\PageIndex{9}\)). Other elliptic paraboloids can have other orientations simply by interchanging the variables to give us a different variable in the linear term of the equation \( \dfrac{x^2}{a^2}+\dfrac{z^2}{c^2}=\dfrac{y}{b}\) or \( \dfrac{y^2}{b^2}+\dfrac{z^2}{c^2}=\dfrac{x}{a}\).
Example \( \PageIndex{3}\): Identifying Traces of Quadric Surfaces
Describe the traces of the elliptic paraboloid \( x^2+\dfrac{y^2}{2^2}=\dfrac{z}{5}\).
Solution
To find the trace in the \(xy\)-plane, set \( z=0: x^2+\dfrac{y^2}{2^2}=0.\) The trace in the plane \( z=0\) is simply one point, the origin. Since a single point does not tell us what the shape is, we can move up the \(z\)-axis to an arbitrary plane to find the shape of other traces of the figure.
The trace in plane \( z=5\) is the graph of equation \( x^2+\dfrac{y^2}{2^2}=1\), which is an ellipse. In the \(xz\)-plane, the equation becomes \( z=5x^2\). The trace is a parabola in this plane and in any plane with the equation \( y=b\).
In planes parallel to the \(yz\)-plane, the traces are also parabolas, as we can see in Figure \(\PageIndex{10}\).
Exercise \( \PageIndex{2}\):
A hyperboloid of one sheet is any surface that can be described with an equation of the form \( \dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}−\dfrac{z^2}{c^2}=1\). Describe the traces of the hyperboloid of one sheet given by equation \( \dfrac{x^2}{3^2}+\dfrac{y^2}{2^2}−\dfrac{z^2}{5^2}=1.\)
- Hint
-
To find the traces in the coordinate planes, set each variable to zero individually.
- Answer
-
The traces parallel to the \(xy\)-plane are ellipses and the traces parallel to the \(xz\)- and \(yz\)-planes are hyperbolas. Specifically, the trace in the \(xy\)-plane is ellipse \( \dfrac{x^2}{3^2}+\dfrac{y^2}{2^2}=1,\) the trace in the \(xz\)-plane is hyperbola \( \dfrac{x^2}{3^2}−\dfrac{z^2}{5^2}=1,\) and the trace in the \(yz\)-plane is hyperbola \( \dfrac{y^2}{2^2}−\dfrac{z^2}{5^2}=1\) (see the following figure).
Hyperboloids of one sheet have some fascinating properties. For example, they can be constructed using straight lines, such as in the sculpture in Figure \(\PageIndex{1a}\). In fact, cooling towers for nuclear power plants are often constructed in the shape of a hyperboloid. The builders are able to use straight steel beams in the construction, which makes the towers very strong while using relatively little material (Figure \(\PageIndex{1b}\)).
Example \( \PageIndex{4}\): Chapter Opener: Finding the Focus of a Parabolic Reflector
Energy hitting the surface of a parabolic reflector is concentrated at the focal point of the reflector (Figure \(\PageIndex{12}\)). If the surface of a parabolic reflector is described by equation \( \dfrac{x^2}{100}+\dfrac{y^2}{100}=\dfrac{z}{4},\) where is the focal point of the reflector?
Solution
Since z is the first-power variable, the axis of the reflector corresponds to the \(z\)-axis. The coefficients of \( x^2\) and \( y^2\) are equal, so the cross-section of the paraboloid perpendicular to the \(z\)-axis is a circle. We can consider a trace in the xz-plane or the yz-plane; the result is the same. Setting \( y=0\), the trace is a parabola opening up along the \(z\)-axis, with standard equation \( x^2=4pz\), where \( p\) is the focal length of the parabola. In this case, this equation becomes \( x^2=100⋅\dfrac{z}{4}=4pz\) or \( 25=4p\). So p is \( 6.25\) m, which tells us that the focus of the paraboloid is \( 6.25\) m up the axis from the vertex. Because the vertex of this surface is the origin, the focal point is \( (0,0,6.25).\)
Seventeen standard quadric surfaces can be derived from the general equation
\[Ax^2+By^2+Cz^2+Dxy+Exz+Fyz+Gx+Hy+Jz+K=0.\]
The following figures summarizes the most important ones.
Example \( \PageIndex{5}\): Identifying Equations of Quadric Surfaces
Identify the surfaces represented by the given equations.
- \( 16x^2+9y^2+16z^2=144\)
- \( 9x^2−18x+4y^2+16y−36z+25=0\)
Solution
a. The \( x,y,\) and \( z\) terms are all squared, and are all positive, so this is probably an ellipsoid. However, let’s put the equation into the standard form for an ellipsoid just to be sure. We have
\[ 16x^2+9y^2+16z^2=144. \nonumber\]
Dividing through by 144 gives
\[ \dfrac{x^2}{9}+\dfrac{y^2}{16}+\dfrac{z^2}{9}=1. \nonumber\]
So, this is, in fact, an ellipsoid, centered at the origin.
b. We first notice that the \( z\) term is raised only to the first power, so this is either an elliptic paraboloid or a hyperbolic paraboloid. We also note there are \( x\) terms and \( y\) terms that are not squared, so this quadric surface is not centered at the origin. We need to complete the square to put this equation in one of the standard forms. We have
\[ \begin{align*} 9x^2−18x+4y^2+16y−36z+25 =0 \\[4pt] 9x^2−18x+4y^2+16y+25 =36z \\[4pt] 9(x^2−2x)+4(y^2+4y)+25 =36z \\[4pt] 9(x^2−2x+1−1)+4(y^2+4y+4−4)+25 =36z \\[4pt] 9(x−1)^2−9+4(y+2)^2−16+25 =36z \\[4pt] 9(x−1)^2+4(y+2)^2 =36z \\[4pt] \dfrac{(x−1)^2}{4}+\dfrac{(y−2)^2}{9} =z. \end{align*}\]
This is an elliptic paraboloid centered at \( (1,2,0).\)
Exercise \( \PageIndex{3}\)
Identify the surface represented by equation \( 9x^2+y^2−z^2+2z−10=0.\)
- Hint
-
Look at the signs and powers of the \( x,y\), and \( z\) terms
- Answer
-
Hyperboloid of one sheet, centered at \( (0,0,1)\).
Key Concepts
- A set of lines parallel to a given line passing through a given curve is called a cylinder, or a cylindrical surface. The parallel lines are called rulings.
- The intersection of a three-dimensional surface and a plane is called a trace. To find the trace in the \(xy\)-, \(yz\)-, or \(xz\)-planes, set \( z=0,x=0,\) or \( y=0,\) respectively.
- Quadric surfaces are three-dimensional surfaces with traces composed of conic sections. Every quadric surface can be expressed with an equation of the form
\[Ax^2+By^2+Cz^2+Dxy+Exz+Fyz+Gx+Hy+Jz+K=0. \nonumber\]
- To sketch the graph of a quadric surface, start by sketching the traces to understand the framework of the surface.
- Important quadric surfaces are summarized in Figures \(\PageIndex{13}\) and \(\PageIndex{14}\).
Glossary
- cylinder
- a set of lines parallel to a given line passing through a given curve
- ellipsoid
- a three-dimensional surface described by an equation of the form \( \dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}+\dfrac{z^2}{c^2}=1\); all traces of this surface are ellipses
- elliptic cone
- a three-dimensional surface described by an equation of the form \( \dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}−\dfrac{z^2}{c^2}=0\); traces of this surface include ellipses and intersecting lines
- elliptic paraboloid
- a three-dimensional surface described by an equation of the form \( z=\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}\); traces of this surface include ellipses and parabolas
- hyperboloid of one sheet
- a three-dimensional surface described by an equation of the form \( \dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}−\dfrac{z^2}{c^2}=1;\) traces of this surface include ellipses and hyperbolas
- hyperboloid of two sheets
- a three-dimensional surface described by an equation of the form \( \dfrac{z^2}{c^2}−\dfrac{x^2}{a^2}−\dfrac{y^2}{b^2}=1\); traces of this surface include ellipses and hyperbolas
- quadric surfaces
- surfaces in three dimensions having the property that the traces of the surface are conic sections (ellipses, hyperbolas, and parabolas)
- rulings
- parallel lines that make up a cylindrical surface
- trace
- the intersection of a three-dimensional surface with a coordinate plane
Contributors
Gilbert Strang (MIT) and Edwin “Jed” Herman (Harvey Mudd) with many contributing authors. This content by OpenStax is licensed with a CC-BY-SA-NC 4.0 license. Download for free at http://cnx.org.