# 6.4: Hyperbolas

**At Grade**Created by: CK-12

## Learning Objectives

- Understand what results when a cone is intersected by a plane that intersects both sides of the cone.
- Understand the focal-directrix property for hyperbolas.
- Recognize and work with equations for hyperbolas.
- Understand how a hyperbola can be described in terms of its asymptotes and foci.
- Understand the equivalence of different definitions of hyperbolas.

## Two-part Conic Sections

The final way of cutting a cone with a plane appears at first to be much messier. Not only does it result in an infinite shape, but there are two pieces that aren’t even connected! When the plane slices through two parts of the cone, the two infinite “U”-shaped parts are together called a **hyperbola**.

In this section we will see that this sprawling shape actually has some beautiful properties that make it as noble as its cousins.

## The Focal Property

Even though this shape seems much harder to conceive of than an ellipse, the hyperbola has a defining focal property that is as simple as the ellipse’s. Remember, an ellipse has two foci and the shape can be defined as the set of points in a plane whose distances to these two foci have a fixed sum.

Hyperbolas also have two foci, and they can be defined as the set of points in a plane whose distances to these two points have the same *difference*. So in the picture below, for every point \begin{align*}P\end{align*}

### Review Questions

- The hyperbola is infinite in size. In mathematics this is called
**unbounded**, which means no circle, no matter how large, can enclose the shape. Explain why a focal property involving a*difference*results in an unbounded shape, while a focal property involving a sum results in a bounded shape.

### Review Answers

- Answer should include the following concept: In the case of an ellipse, we had two distances summing to a constant. Since the distances are both positive then there is a limit to the size of the numbers. In the case of hyperbolas, two very large positive numbers can have a much smaller difference.

To prove the focal property of hyperbolas, we examine Dandelin’s sphere construction. Unlike the construction for ellipses, which used two spheres on one side of the cone, and the sphere construction for parabolas, which used one sphere on one side of the cone, this construction uses two spheres, one on each side of the cone. As with the ellipse construction, each sphere touches the plane at one of the foci of the hyperbola. And as with the argument for the elliptical focal property, the argument uses the fact that tangents from a common point to a sphere are equal.

In the above diagram, suppose \begin{align*}P\end{align*}

## Equations for Hyperbolas

To derive the equation for a hyperbola, we can’t do exactly what we did for ellipses. Remember, when we first derived the equations for ellipses, we were defining them as “stretched out circles.” Hyperbolas aren’t as obviously a simple dilation of a shape as basic as a circle. Instead, we’ll use the focal property to derive their equation. This was what we said could be done for ellipses when I said “simply read the proof of the focal property backwards.” To derive the equation form of hyperbolas from the focal property, I’ll actually show you the steps in the correct order.

Suppose we have a curve (actually a pair of curves), satisfying the focal property for hyperbolas. Let’s orient the hyperbola so that the two foci are on the \begin{align*}y-\end{align*}

The focal property states that the difference in distances between an arbitrary point \begin{align*}P=(x,y)\end{align*}

\begin{align*}\sqrt{(x - 0)^2 + (y -(-c))^2} - \sqrt{(x - 0)^2 + (y - c)^2} &= 2a \\ x^2 + (y + c)^2 - 2 \sqrt{x^2 + (y + c)^2} \sqrt{x^2 + (y - c)^2} + x^2 + (y - c)^2 &= 4a^2 \\ 2x^2 + (y + c)^2 + (y - c)^2 - 4a^2 &= 2 \sqrt{x^2 + (y + c)^2} \sqrt{x^2 + (y - c)^2} \\ (2x^2 + 2y^2 + 2c^2 - 4a^2)^2 &= 4(x^2 + (y + c)^2)(x^2 + (y - c)^2) \\ 4x^4 + 8x^2 y^2 + 8c^2 x^2 + 8c^2 y^2 + 4y^4 - 16a^2 x^2 + 4c^4 - 16a^2 c^2 - 16a^2 y^2 + 16a^4 &= 4x^4 + 4x^2 (y + c)^2 + 4x^2 (y - c)^2 + 4(y + c)^2 (y - c)^2 \\ 4x^4 + 8x^2 y^2 + 8c^2 x^2 + 8c^2 y^2 + 4y^4 - 16a^2 x^2 + 4c^4 - 16a^2 c^2 - 16a^2 y^2 + 16a^4 &= 4x^4 + 4x^2 (y + c)^2 + 4x^2 (y - c)^2 + 4(y^2 - c^2)^2 \\ 4x^4 + 8x^2 y^2 + 8c^2 x^2 + 8c^2 y^2 + 4y^4 - 16a^2 x^2 + 4c^4 - 16a^2 c^2 - 16a^2 y^2 + 16a^4 &= 4x^4 + 8x^2 y^2 + 8c^2 x^2 + 4y^4 - 8c^2 y^2 + 4c^4 \\ 16c^2 y^2 - 16a^2 x^2 - 16a^2 c^2 - 16a^2 y^2 + 16a^4 &= 0 \\ c^2 y^2 - a^2 x^2 - a^2 c^2 - a^2 y^2 + a^4 &= 0 \\ c^2 y^2 - a^2 y^2 - a^2 x^2 &= a^2 c^2 - a^4 \\ y^2 (c^2 - a^2) - x^2(a^2) &= a^2 (c^2 - a^2) \\ \frac{y^2}{a^2} - \frac{x^2}{c^2 - a^2} &= 1\end{align*}

Like the collapse we witnessed when investigating the focal property for ellipses, this equation became pretty simple. We can even make it simpler. For any positive number \begin{align*}b\end{align*} and \begin{align*}a\end{align*}, there exists a \begin{align*}c\end{align*} such that \begin{align*}b^2 = c^2 - a^2\end{align*}. Thus the general form for a hyperbola that open upwards and downwards and whose foci lie on the \begin{align*}y-\end{align*}axis is:

\begin{align*}\frac{y^2}{a^2} - \frac{x^2}{b^2} = 1\end{align*}

Switching \begin{align*}x\end{align*} and \begin{align*}y\end{align*} we have hyperbolas that open rightwards and leftwards and whose foci lie on the \begin{align*}x-\end{align*}axis.

\begin{align*}\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1\end{align*}

These equations have so far been hyperbolas that are centered about the origin. For a hyperbola that is centered around the point \begin{align*}(h,k)\end{align*} we have the shifted equations:

\begin{align*}\frac{(y - k)^2}{a^2} - \frac{(x - h)^2}{b^2} = 1\end{align*}

for a hyperbola opening up and down, and

\begin{align*}\frac{(x - h)^2}{a^2} - \frac{(y - k)^2}{b^2} = 1\end{align*}

For a hyperbola opening left and right.

**Example 1**

*Show that the following equation is a hyperbola. Graph it, and show its foci*.

\begin{align*}144x^2 - 576x - 25y^2 - 150y - 3249 = 0\end{align*}

Solution: The positive leading coefficient for the \begin{align*}x^2\end{align*} term and the negative leading coefficient for the \begin{align*}y^2\end{align*} term indicate that this is a hyperbola that is horizontally oriented. Grouping and completing the square, we have:

\begin{align*}144(x^2-4x)-25(y^2+6y)& = 3249 \\ 144(x^2 - 4x+4) - 25(y^2+6y+9)& = 3249 + 576 -225 \\ 144(x-2)^2-25(y+3)^2 & = 3600 \\ \frac{(x-2)^2}{5^2} - \frac{(y+3)^2}{12^2} & = 1\end{align*}

So our hyperbola is centered at (2,-3). Its vertices are 5 units to the right and left of (2,-3), or at the points (7,-3) and (-3,-3). It opens to the right and left from these vertices. It’s foci are \begin{align*}c\end{align*} units to the left and right of (2,-3), where \begin{align*}c = \sqrt{a^2 + b^2} = \sqrt{5^2 + 12^2} = 13\end{align*}. So it’s foci are at (15,-3) and (-11,-3). Plotting a few points near (7,-3) and (-3,-3), the graph looks like:

### Review Questions

- Explain why for any positive number \begin{align*}b\end{align*} and \begin{align*}a\end{align*}, there exists a \begin{align*}c\end{align*} such that \begin{align*}b^2=c^2-a^2\end{align*}.
- Graph the following hyperbola and mark its foci: \begin{align*}16x^2 + 64x-9y^2+90y - 305=0\end{align*}
- Graph the following hyperbola and mark its foci: \begin{align*}9y^2+18y-x^2+4x-4=0\end{align*}
- Graph the following hyperbola and mark its foci: \begin{align*}25x^2+150x-4y^2+24y+89=0\end{align*}
- Find the equation for the following hyperbola:

### Review Answers

- Let \begin{align*}c = \sqrt{a^2+b^2}\end{align*}. Since \begin{align*}a^2 + b^2\end{align*} is always positive for positive \begin{align*}a\end{align*} and \begin{align*}b\end{align*}, this number is always defined. Geometrically, let \begin{align*}c\end{align*} be the hypotenuse of a right triangle with side lengths \begin{align*}a\end{align*} and \begin{align*}b\end{align*}.
- \begin{align*}\frac{(x - 4)^2}{4} - \frac{(y + 2)^2}{45} = 1\end{align*}

## Asymptotes

In addition to their focal property, hyperbolas also have another interesting geometric property. Unlike a parabola, a hyperbola becomes infinitesimally close to a certain line as the \begin{align*}x-\end{align*} or \begin{align*}y-\end{align*}coordinates approach infinity. Such a line is called an **asymptote**.

Before we try to prove this property of hyperbolas, we have to figure out what we mean by “infinitesimally close.” Here we mean two things: 1) The further you go along the curve, the closer you get to the asymptote, and 2) If you name a distance, no matter how small, eventually the curve will be that close to the asymptote. Or, using the language of limits, as we go further from the vertex of the hyperbola the limit of the distance between the hyperbola and the asymptote is 0.

So now we need to prove such a line (or lines) exist for the hyperbola. It turns out there are two of them, and that they cross at the point at which the hyperbola is centered:

It also turns out that for a hyperbola of the form \begin{align*}\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1\end{align*}, the asymptotes are the lines \begin{align*}y = \frac{b}{a} x\end{align*} and \begin{align*}y = - \frac{b}{a} x\end{align*}. (for a hyperbola of the form \begin{align*}\frac{y^2}{a^2} - \frac{x^2}{b^2} = 1\end{align*} the asymptotes are the lines \begin{align*}y = \frac{a}{b} x\end{align*} and \begin{align*}y = - \frac{a}{b} x\end{align*}. For a shifted hyperbola, the asymptotes shift accordingly.)

To prove that the hyperbola actually gets infinitesimally close to these lines as it goes to infinity, let’s focus on the point \begin{align*}P\end{align*} on the upper right leg of the hyperbola in the picture below.

Now consider the point \begin{align*}P'\end{align*}, the point on the asymptote lying directly above \begin{align*}P\end{align*}. If we can show that \begin{align*}P\end{align*} and \begin{align*}P'\end{align*} become infinitesimally close, then that’s good enough (this subtlety will be explored in the next exercise.) Well, the point \begin{align*}P\end{align*} is on the hyperbola \begin{align*}\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1\end{align*}, so if it’s \begin{align*}x-\end{align*}value is \begin{align*}x\end{align*}, it’s \begin{align*}y-\end{align*} value can be found by solving for \begin{align*}y\end{align*} in the equation. So

\begin{align*}\frac{x^2}{a^2} - 1 & = \frac{y^2}{b^2}\\ y^2 & = \frac{b^2}{a^2} x^2 - b^2 \\ y & = \sqrt{\frac{b^2}{a^2} x^2 - b^2}\end{align*}

This expression simplifies further, but we’ll leave it for now and work on \begin{align*}P'\end{align*}. Since \begin{align*}P'\end{align*} lies directly above \begin{align*}P, x\end{align*} is also the \begin{align*}x-\end{align*} coordinate of \begin{align*}P'\end{align*}. Similarly as with \begin{align*}P\end{align*}, we can find the \begin{align*}y-\end{align*}coordinate from the equation of the asymptote. Since \begin{align*}y = \frac{b}{a} x\end{align*} is the equation of the asymptote, we have \begin{align*}\frac{b}{a} x\end{align*} as the \begin{align*}y-\end{align*}coordinate of \begin{align*}P'\end{align*}. So \begin{align*}P = \left (x, \sqrt{ \frac {b^2}{a^2} x^2 - b^2} \right )\end{align*}, and \begin{align*}P' = \left (x, \frac{b}{a} x \right )\end{align*}. Since these two points are vertically aligned, the distance between them points is simply the difference between the \begin{align*}y-\end{align*}coordinate:

Distance between \begin{align*}P\end{align*} and \begin{align*}P' = \frac{b}{a} x - \sqrt{\frac{b^2}{a^2} x^2 - b^2}\end{align*}

\begin{align*}& = \frac{b}{a} x - \sqrt{\frac{b^2}{a^2} x^2 - \frac{b^2}{a^2} a^2} \\ & = \frac{b}{a} x - \sqrt{ \frac{b^2}{a^2}(x^2 - a^2)} \\ & = \frac{b}{a} x - \frac{b}{a} \sqrt{(x^2 - a^2)} \\ & = \frac{b}{a} \left (x - \sqrt{(x^2 - a^2)} \right )\end{align*}

So the distance is a constant multiplied by a quantity that depends on \begin{align*}x\end{align*}. What happens to this quantity when \begin{align*}x\end{align*} approaches infinity? This kind of question involves working with limits in a way you will study soon. For now, we can use a nice geometric picture to see what happens. In the picture below, we see that \begin{align*}a\end{align*}, \begin{align*}x\end{align*}, and \begin{align*}\sqrt{(x^2 - a^2)}\end{align*} can be thought of as side-lengths of a right triangle, where \begin{align*}x\end{align*} is the hypotenuse. This can be verified with the Pythagorean Theorem.

In this picture, what happens to difference in lengths between the side of length \begin{align*}x\end{align*} and the side of length \begin{align*}\sqrt{(x^2 - a^2)}\end{align*} when \begin{align*}x\end{align*} approaches infinity and \begin{align*}a\end{align*} remains fixed? The two side lengths become closer in length, so their difference approaches zero.

Going back to the previous diagram where we defined \begin{align*}P\end{align*} and \begin{align*}P'\end{align*}, this means that \begin{align*}P\end{align*} and \begin{align*}P'\end{align*} become infinitesimally close as \begin{align*}x\end{align*} approaches infinity.

This same argument can be repeated to show that the other three legs of the hyperbola approach their respective asymptotes, and to show that the same holds in vertically-oriented and/or shifted parabolas.

Example: Graph the following hyperbola, drawing its foci and asymptotes and using them to create a better drawing: \begin{align*}9x^2 - 36x - 4y^2 - 16y - 16 = 0\end{align*}.

Solution: First, we put the hyperbola into the standard form:

\begin{align*}9(x^2 - 4x) - 4(y^2 + 4y) & = 16 \\ 9(x^2 - 4x + 4) - 4(y^2 + 4y + 4) & = 36 \\ \frac{(x - 2)^2}{4} - \frac{(y + 2)^2}{9} & = 1\end{align*}

So \begin{align*}a = 2\end{align*}, \begin{align*}b =3\end{align*} and \begin{align*}c = \sqrt{4 + 9}=\sqrt{13}\end{align*}. The hyperbola is horizontally oriented, centered at the point (2,-2), with foci at \begin{align*}\left (2 + \sqrt{13}, -2 \right )\end{align*} and \begin{align*}\left (2 - \sqrt{13}, -2 \right )\end{align*}. After taking shifting into consideration, the asymptotes are the lines: \begin{align*}y + 2 = \frac{3}{2} (x - 2)\end{align*} and \begin{align*}y + 2 = - \frac{3}{2} (x - 2)\end{align*}. So graphing the vertices and a few points on either side, we see the hyperbola looks something like this:

### Review Questions

- In the diagram above, which was used in the proof that hyperbolas have asymptotes, why is it true that if \begin{align*}P\end{align*} and \begin{align*}P'\end{align*} become infinitesimally close, that this implies the hyperbola and the line become infinitesimally close. (HINT: what exactly do we mean by the “closeness” of a point on a hyperbola and a line?)
- Graph the following hyperbola, drawing its foci and asymptotes and using them to create a better drawing: \begin{align*}16x^2 - 96x - 9y^2 - 36y - 84 = 0\end{align*}.
- Graph the following hyperbola, drawing its foci and asymptotes and using them to create a better drawing: \begin{align*}y^2 - 14y -25x^2 - 200x -376 = 0\end{align*}.
- Find the equation for a hyperbola with asymptotes of slopes \begin{align*}\frac{5}{12}\end{align*} and \begin{align*}- \frac{5}{12}\end{align*}, and foci at points (2,11) and (2,1).
- A hyperbolas with perpendicular asymptotes is called
**perpendicular**. What does the equation of a perpendicular hyperbola look like?

### Review Answers

- The distance between a point and a line is the shortest segment between the point and a point on the line. We have shown that
*some*distance—not necessarily the shortest—between \begin{align*}P\end{align*} and a point on the asymptote becomes infinitesimally smaller. This means that the shortest distance between \begin{align*}P\end{align*} and the asymptote must also become shorter. - \begin{align*}\frac{(y - 6)^2}{25} - \frac{(x - 2)^2}{144} = 1\end{align*}
- The slopes of perpendicular lines are negative reciprocals of each other. This means that \begin{align*}\frac{a}{b} = \frac{b}{a}\end{align*}, which, for positive \begin{align*}a\end{align*} and \begin{align*}b\end{align*} means \begin{align*}a = b\end{align*}.

## Applications

### Vexing Questions from Ancient Greece

This application of hyperbolas is the reason Menaechmus, one of the first serious thinkers about conic sections, got into them in the first place.

It is thought that conic sections first attracted the attention of the Ancient Greeks when Menaechmus used two conics to find a solution to another famous Greek problem. A famous class of Greek problems involves constructing a length with the simplest tools possible. One of these problems is often referred to as the problem of “doubling a cube.” The problem is to make a cube that is twice the volume of a given cube.

This, of course, does not simply mean making a cube whose sides are double in length. This would produce a cube with eight times the volume. If the first cube has side length one unit then it has volume \begin{align*}1^3 = 1\end{align*}. In order for a cube to have double that volume, \begin{align*}2\end{align*}, it must have a side length of \begin{align*}\sqrt[3]{2}\end{align*}. So the problem boils down to producing a segment whose length is \begin{align*}\sqrt[3]{2}\end{align*}. Once this is done, the cube can be constructed out of segments of this length.

So Menaechmus was working on constructing a segment of length \begin{align*}\sqrt[3]{2}\end{align*}. Now you are probably thinking, “Easy, just plug \begin{align*}\sqrt[3]{2}\end{align*} into your calculator.” But Menaechmus didn't have a calculator into which he could type \begin{align*}2^\wedge (1/3)\end{align*}. An even more important point is that *even if he did* have such a calculator, this wouldn't solve the problem in a way Menaechmus would have been pleased with. He was trying to use the *simplest* technology possible, and a calculator—even if he had one—wouldn’t fit this bill. Plus, a calculator merely finds an estimate of this number, and the Greeks aimed to find a mathematical situation in which the *exact* number would be generated.

The very simplest tools the Greeks considered for making these kinds of constructions were an idealized compass and straightedge. Unknown to the Greeks at the time, a compass and straightedge don’t do the job for this length, though they didn’t know it at the time—it wasn’t discovered until 1837, when Pierre Laurent Wantzel demonstrated that this construction is impossible.

According to some historians (Heath [footnote]), Menaechmus did find a solution to the problem and he used conic sections to do so. Before his time, the problem had already been reduced to finding a specific set of “mean proportionals”, or a chain of numbers with equivalent subsequent ratios. In particular, to find numbers \begin{align*}x\end{align*} and \begin{align*}y\end{align*} such that \begin{align*}1\end{align*} is to \begin{align*}x\end{align*} as \begin{align*}x\end{align*} is to \begin{align*}y\end{align*} as \begin{align*}y\end{align*} is to \begin{align*}2\end{align*}, or in fraction form:

\begin{align*}\frac{1}{x} = \frac{x}{y} = \frac{y}{2}\end{align*}

How does this chain of proportions help find the number \begin{align*}\sqrt[3]{2}\end{align*}? Well, looking at the first equality and cross-multiplying, we have \begin{align*}y = x^2\end{align*}. Looking at the second equality, we have \begin{align*}y^2 = 2x\end{align*}. Using the first equation to substitute \begin{align*}x^2\end{align*} for \begin{align*}y\end{align*} in the second equation, we have \begin{align*}(x^2)^2 = 2x\end{align*}, which reduces to \begin{align*}x^3 = 2\end{align*}, the solution of which is \begin{align*}\sqrt[3]{2}\end{align*}.

But solving the above chain of ratios is also equivalent to finding the intersection of the parabola \begin{align*}y= x^2\end{align*} and the hyperbola \begin{align*}xy = 2\end{align*}. You’ll examine why this is true in an upcoming review questions.

But wait! Hold the presses! Did I say the hyperbola \begin{align*}xy = 2\end{align*} ? But that doesn’t look like the form of any of the hyperbolas we have looked at! This is because it is oriented with its foci on a diagonal, rather than horizontally or vertically. In the next section we will look at how rotating conic sections from their standard positions affects their forms. For now, you can check that \begin{align*}xy = 2\end{align*} indeed looks like a hyperbola by plugging in a few points near the origin—which you will do in the exercises below.

### Review Questions

- Draw a sketch of \begin{align*}xy = 2\end{align*} by plotting a few points near the origin.
- What are the asymptotes of the hyperbola \begin{align*}xy = 2\end{align*} ? What are the foci?
- Explain why solving the mean proportional \begin{align*}\frac{1}{x} = \frac{x}{y} = \frac{y}{2}\end{align*} is equivalent to finding the intersection of the parabola \begin{align*}y = x^2\end{align*} and the hyperbola \begin{align*}xy = 2\end{align*}.
- In the language of “compass and straightedge,” though Menaechmus’ construction can’t be done with a traditional compass, it can be done with the generalized compass discussed in the previous section. Explain how this tool could be used to “double” an existing cube.

### Review Answers

- The asymptotes are the \begin{align*}x-\end{align*} and \begin{align*}y-\end{align*}axes. The foci are (2,2) and (-2,-2) (these are relatively hard to find, but it is relatively easy to show they are the foci once they are found.)
- These two equations are obtained by looking at the first equality and cross multiplying, as well as setting the first term equal to the third term and cross multiplying. These two equalities hold exactly the same amount of information as the chain of equalities.
- Using a compass and straightedge, a coordinate grid with unit lengths can be drawn. See http://en.wikipedia.org/wiki/Compass_and_straightedge_constructions for more on using a compass and straightedge to make geometric constructions. Upon this, the two shapes can be drawn using the generalized compass as discussed in the last session. The distance between the \begin{align*}y-\end{align*}
*axis*and the intersection point is of length \begin{align*}\sqrt[3]{2}\end{align*}.

## Vocabulary

- Hyperbola
- A conic section where the cutting plane intersects both sides of the cone, resulting in two infinite “U”-shapes curves.

- Unbounded
- A shape which is so large that no circle, no matter how large, can enclose the shape.

- Asymptote
- A line which a curve approaches as the curve and the line approach infinity, eventually becoming closer than any given positive number.

- Perpendicular Hyperbola
- A hyperbola where the asymptotes are perpendicular.

### Notes/Highlights Having trouble? Report an issue.

Color | Highlighted Text | Notes | |
---|---|---|---|

Show More |