Sketch the surface that satisfies \(4x^2+y^2-z^2=1\text{.}\)
Solution.
We’ll start by fixing any number \(z_0\) and sketching the part of the surface that lies in the horizontal plane \(z=z_0\text{.}\)
The intersection of our surface with that horizontal plane is a horizontal cross-section. Any point \((x,y,z)\) lying on that horizontal cross-section satisfies both
\begin{align*}
&z=z_0\ \ \text{and}\ \ 4x^2+y^2-z^2=1\\
\iff
&z=z_0\ \ \text{and}\ \ 4x^2+y^2=1+z_0^2
\end{align*}
Think of \(z_0\) as a constant. Then \(4x^2+y^2=1+z_0^2\) is a curve in the \(xy\)-plane. As \(1+z_0^2\) is a constant, the curve is an ellipse. To determine its semi-axes, we observe that when \(y=0\text{,}\) we have \(x=\pm\frac{1}{2}\sqrt{1+z_0^2}\) and when \(x=0\text{,}\) we have \(y=\pm\sqrt{1+z_0^2}\text{.}\) So the curve is just an ellipse with \(x\) semi-axis \(\frac{1}{2}\sqrt{1+z_0^2}\) and \(y\) semi-axis \(\sqrt{1+z_0^2}\text{.}\) It’s easy to sketch.
2
The semi-axes of an ellipse are the line segments from the centre of the ellipse to the farthest points on the ellipse and to the nearest points on the ellipse. For a circle the lengths of all of these line segments are just the radius.
Remember that this ellipse is the part of our surface that lies in the plane \(z=z_0\text{.}\) Imagine that the sketch of the ellipse is on a single sheet of paper. Lift the sheet of paper up, move it around so that the \(x\)- and \(y\)-axes point in the directions of the three dimensional \(x\)- and \(y\)-axes and place the sheet of paper into the three dimensional sketch at height \(z_0\text{.}\) This gives a single horizontal ellipse in 3d, as in the figure below.
We can build up the full surface by stacking many of these horizontal ellipses — one for each possible height \(z_0\text{.}\) So we now draw a few of them as in the figure below. To reduce the amount of clutter in the sketch, we have only drawn the first octant (i.e. the part of three dimensions that has \(x\ge 0\text{,}\) \(y\ge 0\) and \(z\ge 0\)).
Here is why it is OK, in this case, to just sketch the first octant. Replacing \(x\) by \(-x\) in the equation \(4x^2+y^2-z^2=1\) does not change the equation. That means that a point \((x,y,z)\) is on the surface if and only if the point \((-x,y,z)\) is on the surface. So the surface is invariant under reflection in the \(yz\)-plane. Similarly, the equation \(4x^2+y^2-z^2=1\) does not change when \(y\) is replaced by \(-y\) or \(z\) is replaced by \(-z\text{.}\) Our surface is also invariant under reflection in the \(xz\)- and \(xy\)-planes. Once we have the part in the first octant, the remaining octants can be gotten simply by reflecting about the coordinate planes.
We can get a more visually meaningful sketch by adding in some vertical cross-sections. The \(x=0\) and \(y=0\) cross-sections (also called traces — they are the parts of our surface that are in the \(yz\)- and \(xz\)-planes, respectively) are
\begin{equation*}
x=0,\ y^2-z^2=1\qquad\text{and}\qquad
y=0,\ 4x^2-z^2=1
\end{equation*}
These equations describe hyperbolae. If you don’t remember how to sketch them, don’t worry. We’ll do it now. We’ll first sketch them in 2d. Since
3
It’s not just a figure of speech!
\begin{alignat*}{2}
y^2&=1+z^2 &
\quad\implies\quad &|y|\ge 1\\
&&&\text{ and }\quad y=\pm 1\text{ when }z=0\\
&&&\text{ and }\quad\text{for large } z,\ y\approx\pm z\\
4x^2&=1+z^2 &
\quad\implies\quad &|x|\ge \tfrac{1}{2}\\
&&&\text{ and }\quad x=\pm\tfrac{1}{2}\text{ when }z=0\\
&&&\text{ and }\quad\text{for large } z,\ x\approx\pm \tfrac{1}{2}z
\end{alignat*}
the sketches are
Now we’ll incorporate them into the 3d sketch. Once again imagine that each is a single sheet of paper. Pick each up and move it into the 3d sketch, carefully matching up the axes. The red (blue) parts of the hyperbolas above become the red (blue) parts of the 3d sketch below (assuming of course that you are looking at this on a colour screen).
Now that we have a pretty good idea of what the surface looks like we can clean up and simplify the sketch. Here are a couple of possibilities.
Here are two figures created by graphing software.
This type of surface is called a hyperboloid of one sheet.
There are also hyperboloids of two sheets. For example, replacing the \(+1\) on the right hand side of \(x^2+y^2-z^2=1\) gives \(x^2+y^2-z^2=-1\text{,}\) which is a hyperboloid of two sheets. We’ll sketch it quickly in the next example.