Hyperbola Explained

In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. (The other conic sections are the parabola and the ellipse. A circle is a special case of an ellipse.) If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.

Besides being a conic section, a hyperbola can arise as the locus of points whose difference of distances to two fixed foci is constant, as a curve for each point of which the rays to two fixed foci are reflections across the tangent line at that point, or as the solution of certain bivariate quadratic equations such as the reciprocal relationship

xy = 1 . In practical applications, a hyperbola can arise as the path followed by the shadow of the tip of a sundial's gnomon, the shape of an open orbit such as that of a celestial object exceeding the escape velocity of the nearest gravitational body, or the scattering trajectory of a subatomic particle, among others.

Each branch of the hyperbola has two arms which become straighter (lower curvature) further out from the center of the hyperbola. Diagonally opposite arms, one from each branch, tend in the limit to a common line, called the asymptote of those two arms. So there are two asymptotes, whose intersection is at the center of symmetry of the hyperbola, which can be thought of as the mirror point about which each branch reflects to form the other branch. In the case of the curve

y(x) = 1 /x the asymptotes are the two coordinate axes.

Hyperbolas share many of the ellipses' analytical properties such as eccentricity, focus, and directrix. Typically the correspondence can be made with nothing more than a change of sign in some term. Many other mathematical objects have their origin in the hyperbola, such as hyperbolic paraboloids (saddle surfaces), hyperboloids ("wastebaskets"), hyperbolic geometry (Lobachevsky's celebrated non-Euclidean geometry), hyperbolic functions (sinh, cosh, tanh, etc.), and gyrovector spaces (a geometry proposed for use in both relativity and quantum mechanics which is not Euclidean).

Etymology and history

The word "hyperbola" derives from the Greek Greek, Ancient (to 1453);: ὑπερβολή, meaning "over-thrown" or "excessive", from which the English term hyperbole also derives. Hyperbolae were discovered by Menaechmus in his investigations of the problem of doubling the cube, but were then called sections of obtuse cones.^[1] The term hyperbola is believed to have been coined by Apollonius of Perga in his definitive work on the conic sections, the Conics.The names of the other two general conic sections, the ellipse and the parabola, derive from the corresponding Greek words for "deficient" and "applied"; all three names are borrowed from earlier Pythagorean terminology which referred to a comparison of the side of rectangles of fixed area with a given line segment. The rectangle could be "applied" to the segment (meaning, have an equal length), be shorter than the segment or exceed the segment.

Definitions

As locus of points

A hyperbola can be defined geometrically as a set of points (locus of points) in the Euclidean plane:

The midpoint

M of the line segment joining the foci is called the center of the hyperbola. The line through the foci is called the major axis. It contains the vertices V _{1,} V _{2} , which have distance a to the center. The distance c of the foci to the center is called the focal distance or linear eccentricity. The quotient \tfrac c a is the eccentricity e .

The equation

\left|\left|PF _{2\right|} - \left|PF _{1\right|\right|} = 2 a can be viewed in a different way (see diagram):
If c _{2} is the circle with midpoint F _{2} and radius 2 a , then the distance of a point P of the right branch to the circle c _{2} equals the distance to the focus F _{1} :$$|PF\_1|=|Pc\_2|.$$c _{2} is called the circular directrix (related to focus F _{2} ) of the hyperbola.^[2] In order to get the left branch of the hyperbola, one has to use the circular directrix related to F _{1} . This property should not be confused with the definition of a hyperbola with help of a directrix (line) below.

Hyperbola with equation

If the xy-coordinate system is rotated about the origin by the angle

+45 ^{\circ} and new coordinates \xi, η are assigned, then x = \tfrac{\xi +η }{\sqrt{ 2 }}, y = \tfrac{ - \xi +η }{\sqrt{ 2 }} .
The rectangular hyperbola \tfrac{x ^{2-y} ^{2}{a} ^{2}} = 1 (whose semi-axes are equal) has the new equation \tfrac{ 2 \xi η }{a ^{2}} = 1 .Solving for η yields η = \tfrac{a ^{2/2}{\xi}} .

Thus, in an xy-coordinate system the graph of a function

f: x \mapsto \tfrac{A}{x}, A> 0 , with equation$$y\; =\; \backslash frac\backslash ;,\; A>0\backslash ;,$$ is a rectangular hyperbola entirely in the first and third quadrants with

• the coordinate axes as asymptotes,
• the line

y = x as major axis,

• the center

( 0 , 0 ) and the semi-axis a = b = \sqrt{ 2 A} ,

• the vertices

\left(\sqrt{A},\sqrt{A}\right), \left( - \sqrt{A}, - \sqrt{A}\right) ,

• the semi-latus rectum and radius of curvature at the vertices

p = a = \sqrt{ 2 A} ,

• the linear eccentricity

c =2 \sqrt{A} and the eccentricity e = \sqrt{ 2 } ,

• the tangent

y =- \tfrac{A}{x ^{2 }x +2 \tfrac{A}{x} _{0 }} at point (x _{0,A/x} _{0)} .

A rotation of the original hyperbola by

-45 ^{\circ} results in a rectangular hyperbola entirely in the second and fourth quadrants, with the same asymptotes, center, semi-latus rectum, radius of curvature at the vertices, linear eccentricity, and eccentricity as for the case of +45 ^{\circ} rotation, with equation$$y\; =\; -\backslash frac\; \backslash ;,\; ~~\; A>0\backslash ;,$$

• the semi-axes

a = b = \sqrt{ 2 A} ,

• the line

y = - x as major axis,

• the vertices

\left( - \sqrt{A},\sqrt{A}\right), \left(\sqrt{A}, - \sqrt{A}\right) .

Shifting the hyperbola with equation

y = (A)/(x) , A\ne 0 , so that the new center is yields the new equation$$y=\backslash frac+d\_0\backslash ;,$$and the new asymptotes are x = c _{0} and y = d _{0} . The shape parameters a,b,p,c,e remain unchanged.

By the directrix property

The two lines at distance $d\; =\; \backslash fracc$ from the center and parallel to the minor axis are called directrices of the hyperbola (see diagram).

For an arbitrary point

P of the hyperbola the quotient of the distance to one focus and to the corresponding directrix (see diagram) is equal to the eccentricity:$$\backslash frac$$ = \frac = e= \frac \, .The proof for the pair F _{1,} l _{1} follows from the fact that |PF ^{2} _{1 |} = (x - c) ^{2+y} ^{2} ^{1 |} = \left(x - \tfrac{a ^{2}{c}\right)} ^{2} and y ^{2} = \tfrac{b ^{2}{a} ^{2}x} ^{2-b} ^{2} satisfy the equation$$|PF\_1|^2-\backslash frac|Pl\_1|^2\; =\; 0\backslash \; .$$The second case is proven analogously.The inverse statement is also true and can be used to define a hyperbola (in a manner similar to the definition of a parabola):

For any point

F (focus), any line l (directrix) not through F and any real number e with e > 1 the set of points (locus of points), for which the quotient of the distances to the point and to the line is e $$H\; =\; \backslash left\backslash$$is a hyperbola.

(The choice

e = 1 yields a parabola and if e < 1 an ellipse.)

Proof

Let

F = (f, 0 ) , e > 0 and assume ( 0 , 0 ) is a point on the curve.The directrix l has equation x =- \tfrac{f}{e} . With P = (x,y) , the relation |PF| ^{2} = e ^{2|Pl|} ^{2} produces the equations(x - f) ^{2+y} ^{2} = e ^{2\left(x+\tfrac{f}{e}\right)} ^{2} = (e x + f) ^{2} and x ^{2(e} ^{2-1)+2xf(1+e)-y} ^{2} = 0 . The substitution p = f( 1+ e) yields$$x^2(e^2-1)+2px-y^2\; =\; 0.$$This is the equation of an ellipse (e< 1 ) or a parabola (e =1 ) or a hyperbola (e> 1 ). All of these non-degenerate conics have, in common, the origin as a vertex (see diagram).

If

e > 1 , introduce new parameters a,b so that e ^{2-1} = \tfrac{b ^{2}{a} ^{2},} and p = \tfrac{b ^{2}{a}} , and then the equation above becomes$$\backslash frac\; -\; \backslash frac\; =\; 1\; \backslash ,,$$which is the equation of a hyperbola with center ( - a, 0 ) , the x-axis as major axis and the major/minor semi axis a,b .

Construction of a directrix

Because of

c ⋅ \tfrac{a ^{2}{c}=a} ^{2} point L _{1} of directrix l _{1} (see diagram) and focus F _{1} are inverse with respect to the circle inversion at circle x ^{2+y} ^{2=a} ^{2} (in diagram green). Hence point E _{1} can be constructed using the theorem of Thales (not shown in the diagram). The directrix l _{1} is the perpendicular to line \overline{F _{1F} _{2}} through point E _{1} .

Alternative construction of

E _{1} : Calculation shows, that point E _{1} is the intersection of the asymptote with its perpendicular through F _{1} (see diagram).

As plane section of a cone

d _{1,} d _{2} , which are spheres that touch the cone along circles c _{2} and the intersecting (hyperbola) plane at points F _{1} and It turns out: F _{1,} F _{2} are the foci of the hyperbola.

1. Let

P be an arbitrary point of the intersection curve .

1. The generatrix of the cone containing

P intersects circle c _{1} at point A and circle c _{2} at a point B .

1. The line segments

\overline{PF _{1}} and \overline{PA} are tangential to the sphere d _{1} and, hence, are of equal length.

1. The line segments

\overline{PF _{2}} and \overline{PB} are tangential to the sphere d _{2} and, hence, are of equal length.

1. The result is:

|PF _{1|} - |PF _{2|} = |PA| - |PB| = |AB| is independent of the hyperbola point because no matter where point P is, A, B have to be on circles and line segment AB has to cross the apex. Therefore, as point P moves along the red curve (hyperbola), line segment \overline{AB} simply rotates about apex without changing its length.

Pin and string construction

The definition of a hyperbola by its foci and its circular directrices (see above) can be used for drawing an arc of it with help of pins, a string and a ruler:^[3]

0. Choose the foci

F _{1,F} _{2} , the vertices V _{1,V} _{2} and one of the circular directrices, for example c _{2} (circle with radius 2 a )

1. A ruler is fixed at point

F _{2} free to rotate around F _{2} . Point B is marked at distance 2 a .

1. A string with length

|AB| is prepared.

1. One end of the string is pinned at point

A on the ruler, the other end is pinned to point F _{1} .

1. Take a pen and hold the string tight to the edge of the ruler.
2. Rotating the ruler around

F _{2} prompts the pen to draw an arc of the right branch of the hyperbola, because of |PF _{1|} = |PB| (see the definition of a hyperbola by circular directrices).

Steiner generation of a hyperbola

The following method to construct single points of a hyperbola relies on the Steiner generation of a non degenerate conic section:

For the generation of points of the hyperbola

\tfrac{x ^{2}{a} ^{2}-\tfrac{y} ^{2}{b} ^{2}} = 1 one uses the pencils at the vertices V _{1,V} _{2} . Let P = (x _{0,y} _{0)} be a point of the hyperbola and A = (a,y _{0),} B = (x _{0,0)} . The line segment \overline{BP} is divided into n equally-spaced segments and this division is projected parallel with the diagonal AB as direction onto the line segment \overline{AP} (see diagram). The parallel projection is part of the projective mapping between the pencils at V _{1} and V _{2} needed. The intersection points of any two related lines S _{1} A _{i} and S _{2} B _{i} are points of the uniquely defined hyperbola.

Remarks:

• The subdivision could be extended beyond the points

A and B in order to get more points, but the determination of the intersection points would become more inaccurate. A better idea is extending the points already constructed by symmetry (see animation).

• The Steiner generation exists for ellipses and parabolas, too.
• The Steiner generation is sometimes called a parallelogram method because one can use other points rather than the vertices, which starts with a parallelogram instead of a rectangle.

Inscribed angles for hyperbolas and the 3-point-form

A hyperbola with equation

y = \tfrac{a}{x - b} + c, a \ne 0 is uniquely determined by three points (x _{1,y} _{1), (x} _{2,y} _{2),} (x _{3,y} _{3)} with different x- and y-coordinates. A simple way to determine the shape parameters a,b,c uses the inscribed angle theorem for hyperbolas:

Analogous to the inscribed angle theorem for circles one gets the

A consequence of the inscribed angle theorem for hyperbolas is the

As an affine image of the unit hyperbola

Another definition of a hyperbola uses affine transformations:

Parametric representation

An affine transformation of the Euclidean plane has the form

\vec x \to \vec f _{0+A\vec} x , where A is a regular matrix (its determinant is not 0) and \vec f _{0} is an arbitrary vector. If \vec f _{1,} \vec f _{2} are the column vectors of the matrix A , the unit hyperbola (\pm\cosh(t),\sinh(t)), t \in \R, is mapped onto the hyperbola

$$\backslash vec\; x\; =\; \backslash vec\; p(t)=\backslash vec\; f\_0\; \backslash pm\backslash vec\; f\_1\; \backslash cosh\; t\; +\backslash vec\; f\_2\; \backslash sinh\; t\; \backslash \; .$$

\vec f _{0} is the center, \vec f _{0+} \vec f _{1} a point of the hyperbola and \vec f _{2} a tangent vector at this point.

Vertices

In general the vectors

\vec f _{1,} \vec f _{2} are not perpendicular. That means, in general \vec f _{0\pm} \vec f _{1} are not the vertices of the hyperbola. But \vec f _{1\pm} \vec f _{2} point into the directions of the asymptotes. The tangent vector at point \vec p(t) is$$\backslash vec\; p\text{'}(t)\; =\; \backslash vec\; f\_1\backslash sinh\; t\; +\; \backslash vec\; f\_2\backslash cosh\; t\; \backslash \; .$$Because at a vertex the tangent is perpendicular to the major axis of the hyperbola one gets the parameter t _{0} of a vertex from the equation$$\backslash vec\; p\text{'}(t)\backslash cdot\; \backslash left(\backslash vec\; p(t)\; -\backslash vec\; f\_0\backslash right)\; =\; \backslash left(\backslash vec\; f\_1\backslash sinh\; t\; +\; \backslash vec\; f\_2\backslash cosh\; t\backslash right)\; \backslash cdot\; \backslash left(\backslash vec\; f\_1\; \backslash cosh\; t\; +\backslash vec\; f\_2\; \backslash sinh\; t\backslash right)\; =\; 0$$and hence from$$\backslash coth\; (2t\_0)=\; -\backslash tfrac\; \backslash ,$$which yields

$$t\_0=\backslash tfrac\backslash ln\backslash tfrac.$$

The formulae and

\operatorname{arcoth} x = \tfrac{ 1 }{ 2 } ln \tfrac{x +1 }{x -1 } were used.

The two vertices of the hyperbola are

\vec f _{0\pm\left(\vec} f _{1\cosh} t _{0} + \vec f _{2} \sinh t _{0\right).}

Implicit representation

Solving the parametric representation for

\cosh t, \sinh t by Cramer's rule and using \cosh ^{2t-\sinh} ^{2t} -1 = 0 , one gets the implicit representation$$\backslash det\backslash left(\backslash vec\; x\backslash !-\backslash !\backslash vec\; f\backslash !\_0,\backslash vec\; f\backslash !\_2\backslash right)^2\; -\; \backslash det\backslash left(\backslash vec\; f\backslash !\_1,\backslash vec\; x\backslash !-\backslash !\backslash vec\; f\backslash !\_0\backslash right)^2\; -\; \backslash det\backslash left(\backslash vec\; f\backslash !\_1,\backslash vec\; f\backslash !\_2\backslash right)^2\; =\; 0\; .$$

Hyperbola in space

The definition of a hyperbola in this section gives a parametric representation of an arbitrary hyperbola, even in space, if one allows

\vec f _{0,} \vec f _{1,} \vec f _{2} to be vectors in space.

As an affine image of the hyperbola

Because the unit hyperbola

x ^{2-y} ^{2=1} is affinely equivalent to the hyperbola y =1 /x , an arbitrary hyperbola can be considered as the affine image (see previous section) of the hyperbola

$$\backslash vec\; x\; =\; \backslash vec\; p(t)\; =\; \backslash vec\; f\_0\; +\; \backslash vec\; f\_1\; t\; +\; \backslash vec\; f\_2\; \backslash tfrac,\; \backslash quad\; t\backslash ne\; 0\backslash ,\; .$$

M: \vec f _{0} is the center of the hyperbola, the vectors \vec f _{1} , \vec f _{2} have the directions of the asymptotes and \vec f _{1} + \vec f _{2} is a point of the hyperbola. The tangent vector is$$\backslash vec\; p\text{'}(t)=\backslash vec\; f\_1\; -\; \backslash vec\; f\_2\; \backslash tfrac.$$At a vertex the tangent is perpendicular to the major axis. Hence$$\backslash vec\; p\text{'}(t)\backslash cdot\; \backslash left(\backslash vec\; p(t)\; -\backslash vec\; f\_0\backslash right)\; =\; \backslash left(\backslash vec\; f\_1\; -\; \backslash vec\; f\_2\; \backslash tfrac\backslash right)\backslash cdot\backslash left(\backslash vec\; f\_1\; t+\; \backslash vec\; f\_2\; \backslash tfrac\backslash right)\; =\; \backslash vec\; f\_1^2t-\backslash vec\; f\_2^2\; \backslash tfrac\; =\; 0$$and the parameter of a vertex is

$$t\_0=\; \backslash pm\; \backslash sqrt[4].$$

\left|\vec f _{1\right|} = \left|\vec f _{2\right|} is equivalent to t _{0} = \pm 1 and \vec f _{0} \pm (\vec f _{1+\vec} f _{2)} are the vertices of the hyperbola.

The following properties of a hyperbola are easily proven using the representation of a hyperbola introduced in this section.

Tangent construction

The tangent vector can be rewritten by factorization:$$\backslash vec\; p\text{'}(t)=\backslash tfrac\backslash left(\backslash vec\; f\_1t\; -\; \backslash vec\; f\_2\; \backslash tfrac\backslash right)\; \backslash \; .$$This means that

This property provides a way to construct the tangent at a point on the hyperbola.

This property of a hyperbola is an affine version of the 3-point-degeneration of Pascal's theorem.^[4]

Area of the grey parallelogram:The area of the grey parallelogram

MAPB in the above diagram is$$\backslash text\; =\; \backslash left|\backslash det\backslash left(t\backslash vec\; f\_1,\; \backslash tfrac\backslash vec\; f\_2\backslash right)\backslash right|\; =\; \backslash left|\backslash det\backslash left(\backslash vec\; f\_1,\backslash vec\; f\_2\backslash right)\backslash right|\; =\; \backslash cdots\; =\; \backslash frac$$and hence independent of point P . The last equation follows from a calculation for the case, where P is a vertex and the hyperbola in its canonical form \tfrac{x ^{2}{a} ^{2}-\tfrac{y} ^{2}{b} ^{2}=1} .

Point construction

For a hyperbola with parametric representation

\vec x = \vec p(t) = \vec f _{1} t + \vec f _{2} \tfrac{ 1 }{t} (for simplicity the center is the origin) the following is true:

The simple proof is a consequence of the equation

\tfrac{ 1 }{t _{1}\vec} a = \tfrac{ 1 }{t _{2}\vec} b .

This property provides a possibility to construct points of a hyperbola if the asymptotes and one point are given.

This property of a hyperbola is an affine version of the 4-point-degeneration of Pascal's theorem.^[5]

Tangent–asymptotes triangle

For simplicity the center of the hyperbola may be the origin and the vectors

\vec f _{1,\vec} f _{2} have equal length. If the last assumption is not fulfilled one can first apply a parameter transformation (see above) in order to make the assumption true. Hence \pm (\vec f _{1} + \vec f _{2)} are the vertices, \pm(\vec f _{1-\vec} f _{2)} span the minor axis and one gets |\vec f _{1} + \vec f _{2|} = a and |\vec f _{1} - \vec f _{2|} = b .

For the intersection points of the tangent at point

\vec p(t _{0)} = \vec f _{1} t _{0} + \vec f _{2} \tfrac{ 1 }{t _{0}} with the asymptotes one gets the points$$C\; =\; 2t\_0\backslash vec\; f\_1,\backslash \; D\; =\; \backslash tfrac\backslash vec\; f\_2.$$The area of the triangle M,C,D can be calculated by a 2&thinsp;×&thinsp;2 determinant:$$A\; =\; \backslash tfrac\backslash Big|\backslash det\backslash left(2t\_0\backslash vec\; f\_1,\; \backslash tfrac\backslash vec\; f\_2\backslash right)\backslash Big|\; =\; 2\backslash Big|\backslash det\backslash left(\backslash vec\; f\_1,\backslash vec\; f\_2\backslash right)\backslash Big|$$(see rules for determinants).\left|\det(\vec f _{1,\vec} f _{2)\right|} is the area of the rhombus generated by \vec f _{1,\vec} f _{2} . The area of a rhombus is equal to one half of the product of its diagonals. The diagonals are the semi-axes a,b of the hyperbola. Hence:

Reciprocation of a circle

The reciprocation of a circle B in a circle C always yields a conic section such as a hyperbola. The process of "reciprocation in a circle C" consists of replacing every line and point in a geometrical figure with their corresponding pole and polar, respectively. The pole of a line is the inversion of its closest point to the circle C, whereas the polar of a point is the converse, namely, a line whose closest point to C is the inversion of the point.

The eccentricity of the conic section obtained by reciprocation is the ratio of the distances between the two circles' centers to the radius r of reciprocation circle C. If B and C represent the points at the centers of the corresponding circles, then

$$e\; =\; \backslash frac.$$

Since the eccentricity of a hyperbola is always greater than one, the center B must lie outside of the reciprocating circle C.

This definition implies that the hyperbola is both the locus of the poles of the tangent lines to the circle B, as well as the envelope of the polar lines of the points on B. Conversely, the circle B is the envelope of polars of points on the hyperbola, and the locus of poles of tangent lines to the hyperbola. Two tangent lines to B have no (finite) poles because they pass through the center C of the reciprocation circle C; the polars of the corresponding tangent points on B are the asymptotes of the hyperbola. The two branches of the hyperbola correspond to the two parts of the circle B that are separated by these tangent points.

Quadratic equation

A hyperbola can also be defined as a second-degree equation in the Cartesian coordinates

(x, y) in the plane,

$$A\_\; x^2\; +\; 2\; A\_\; xy\; +\; A\_\; y^2\; +\; 2\; B\_x\; x\; +\; 2\; B\_y\; y\; +\; C\; =\; 0,$$

provided that the constants

A _{xx} , A _{xy} , A _{yy} , B _{x,} B _{y,} and C satisfy the determinant condition

This determinant is conventionally called the discriminant of the conic section.^[6]

A special case of a hyperbola—the degenerate hyperbola consisting of two intersecting lines—occurs when another determinant is zero:

This determinant

\Delta is sometimes called the discriminant of the conic section.^[7]

The general equation's coefficients can be obtained from known semi-major axis

a, semi-minor axis b, center coordinates (x _{\circ,} y _{\circ)} , and rotation angle \theta (the angle from the positive horizontal axis to the hyperbola's major axis) using the formulae:

These expressions can be derived from the canonical equation

$$\backslash frac\; -\; \backslash frac\; =\; 1$$

by a translation and rotation of the coordinates

Given the above general parametrization of the hyperbola in Cartesian coordinates, the eccentricity can be found using the formula in Conic section#Eccentricity in terms of coefficients.

The center

(x _{c,} y _{c)} of the hyperbola may be determined from the formulae

In terms of new coordinates,

\xi = x - x _{c} and η = y - y _{c,} the defining equation of the hyperbola can be written

$$A\_\; \backslash xi^2\; +\; 2A\_\; \backslash xi\backslash eta\; +\; A\_\; \backslash eta^2\; +\; \backslash frac\; \backslash Delta\; D\; =\; 0.$$

The principal axes of the hyperbola make an angle

\varphi with the positive x -axis that is given by

$$\backslash tan\; (2\backslash varphi)\; =\; \backslash frac.$$

Rotating the coordinate axes so that the

x -axis is aligned with the transverse axis brings the equation into its canonical form

$$\backslash frac\; -\; \backslash frac\; =\; 1.$$

The major and minor semiaxes

a and b are defined by the equations

where

λ _{1} and λ _{2} are the roots of the quadratic equation

$$\backslash lambda^2\; -\; \backslash left(A\_\; +\; A\_\; \backslash right)\backslash lambda\; +\; D\; =\; 0.$$

For comparison, the corresponding equation for a degenerate hyperbola (consisting of two intersecting lines) is

$$\backslash frac\; -\; \backslash frac\; =\; 0.$$

The tangent line to a given point

(x _{0,} y _{0)} on the hyperbola is defined by the equation

$$E\; x\; +\; F\; y\; +\; G\; =\; 0$$

where

E, F, and G are defined by

The normal line to the hyperbola at the same point is given by the equation

$$F(x\; -\; x\_0)\; -\; E(y\; -\; y\_0)\; =\; 0.$$

The normal line is perpendicular to the tangent line, and both pass through the same point

(x _{0,} y _{0).}

From the equation

the left focus is

( - ae, 0 ) and the right focus is (ae, 0 ), where e is the eccentricity. Denote the distances from a point (x, y) to the left and right foci as r _{1} and r _{2.} For a point on the right branch,

$$r\_1\; -\; r\_2\; =\; 2\; a,$$

and for a point on the left branch,

$$r\_2\; -\; r\_1\; =\; 2\; a.$$

This can be proved as follows:

If

(x, y) is a point on the hyperbola the distance to the left focal point is

$$r\_1^2=\; (x+a\; e)^2\; +\; y^2=\; x^2\; +\; 2\; x\; a\; e\; +\; a^2\; e^2\; +\; \backslash left(x^2-a^2\backslash right)\; \backslash left(e^2-1\backslash right)=\; (e\; x\; +\; a)^2.$$

To the right focal point the distance is

$$r\_2^2=\; (x-a\; e)^2\; +\; y^2=\; x^2\; -\; 2\; x\; a\; e\; +\; a^2\; e^2\; +\; \backslash left(x^2-a^2\backslash right)\; \backslash left(e^2-1\backslash right)=\; (e\; x\; -\; a)^2.$$

If

(x, y) is a point on the right branch of the hyperbola then ex > a and

Subtracting these equations one gets

$$r\_1\; -\; r\_2\; =\; 2a.$$

If

(x, y) is a point on the left branch of the hyperbola then ex < - a and

Subtracting these equations one gets

$$r\_2\; -\; r\_1\; =\; 2a.$$

In Cartesian coordinates

Equation

If Cartesian coordinates are introduced such that the origin is the center of the hyperbola and the x-axis is the major axis, then the hyperbola is called east-west-opening and

the foci are the points

F _{1=(c,0), F} _{2=(-c,0)} ,

the vertices are

V _{1=(a,} 0 ), V _{2=(-a,0)} .For an arbitrary point (x,y) the distance to the focus (c, 0 ) is $\backslash sqrt$ and to the second focus $\backslash sqrt$. Hence the point (x,y) is on the hyperbola if the following condition is fulfilled$$\backslash sqrt\; -\; \backslash sqrt\; =\; \backslash pm\; 2a\; \backslash \; .$$Remove the square roots by suitable squarings and use the relation b ^{2} = c ^{2-a} ^{2} to obtain the equation of the hyperbola:

$$\backslash frac\; -\; \backslash frac\; =\; 1\; \backslash \; .$$

This equation is called the canonical form of a hyperbola, because any hyperbola, regardless of its orientation relative to the Cartesian axes and regardless of the location of its center, can be transformed to this form by a change of variables, giving a hyperbola that is congruent to the original (see below).

The axes of symmetry or principal axes are the transverse axis (containing the segment of length 2a with endpoints at the vertices) and the conjugate axis (containing the segment of length 2b perpendicular to the transverse axis and with midpoint at the hyperbola's center). As opposed to an ellipse, a hyperbola has only two vertices:

(a, 0 ), ( - a, 0 ) . The two points ( 0 ,b), ( 0 , - b) on the conjugate axes are not on the hyperbola.

It follows from the equation that the hyperbola is symmetric with respect to both of the coordinate axes and hence symmetric with respect to the origin.

Eccentricity

For a hyperbola in the above canonical form, the eccentricity is given by

$$e=\backslash sqrt.$$

Two hyperbolas are geometrically similar to each other – meaning that they have the same shape, so that one can be transformed into the other by rigid left and right movements, rotation, taking a mirror image, and scaling (magnification) – if and only if they have the same eccentricity.

Asymptotes

Solving the equation (above) of the hyperbola for

y yields$$y=\backslash pm\backslash frac\; \backslash sqrt.$$It follows from this that the hyperbola approaches the two lines$$y=\backslash pm\; \backslash fracx$$for large values of |x| . These two lines intersect at the center (origin) and are called asymptotes of the hyperbola \tfrac{x ^{2}{a} ^{2}-\tfrac{y} ^{2}{b} ^{2}=} 1 .

With the help of the second figure one can see that

{\color{blue}{( 1 )}} The perpendicular distance from a focus to either asymptote is b (the semi-minor axis).\tfrac{bx\pm ay}{\sqrt{a ^{2+b} ^{2}}=0} of the asymptotes and the equation of the hyperbola one gets:^[8] {\color{magenta}{( 2 )}} The product of the distances from a point on the hyperbola to both the asymptotes is the constant \tfrac{a ^{2b} ^{2}{a} ^{2+b} ^{2} ,} which can also be written in terms of the eccentricity e as \left( \tfrac{b}{e}\right) ^{2.}

From the equation

y = \pm (b)/(a) \sqrt{x ^{2-a} ^{2}} of the hyperbola (above) one can derive:{\color{green}{( 3 )}} The product of the slopes of lines from a point P to the two vertices is the constant b ^{2/a} ^{2 .}

In addition, from (2) above it can be shown that^[8]

{\color{red}{( 4 )}} The product of the distances from a point on the hyperbola to the asymptotes along lines parallel to the asymptotes is the constant \tfrac{a ^{2+b} ^{2}{4}.}

Semi-latus rectum

The length of the chord through one of the foci, perpendicular to the major axis of the hyperbola, is called the latus rectum. One half of it is the semi-latus rectum

p . A calculation shows$$p\; =\; \backslash fraca.$$The semi-latus rectum p may also be viewed as the radius of curvature at the vertices.

Tangent

The simplest way to determine the equation of the tangent at a point

(x _{0,y} _{0)} is to implicitly differentiate the equation \tfrac{x ^{2}{a} ^{2}-\tfrac{y} ^{2}{b} ^{2}=} 1 of the hyperbola. Denoting dy/dx as y′, this produces$$\backslash frac-\backslash frac=\; 0\; \backslash \; \backslash Rightarrow\; \backslash \; y\text{'}=\backslash frac\backslash frac\backslash \; \backslash Rightarrow\; \backslash \; y=\backslash frac\backslash frac(x-x\_0)\; +y\_0.$$With respect to \tfrac{x ^{2 }{a} _{0} ^{2 }{b} ^{0} ^{2}=} 1 , the equation of the tangent at point (x _{0,y} _{0)} is$$\backslash fracx-\backslash fracy\; =\; 1.$$

A particular tangent line distinguishes the hyperbola from the other conic sections.^[9] Let f be the distance from the vertex V (on both the hyperbola and its axis through the two foci) to the nearer focus. Then the distance, along a line perpendicular to that axis, from that focus to a point P on the hyperbola is greater than 2f. The tangent to the hyperbola at P intersects that axis at point Q at an angle ∠PQV of greater than 45°.

Rectangular hyperbola

In the case

a = b the hyperbola is called rectangular (or equilateral), because its asymptotes intersect at right angles. For this case, the linear eccentricity is c = \sqrt{ 2 }a , the eccentricity e = \sqrt{ 2 } and the semi-latus rectum p = a . The graph of the equation y =1 /x is a rectangular hyperbola.

Parametric representation with hyperbolic sine/cosine

\cosh,\sinh , a parametric representation of the hyperbola \tfrac{x ^{2}{a} ^{2}-\tfrac{y} ^{2}{b} ^{2}=} 1 can be obtained, which is similar to the parametric representation of an ellipse:$$(\backslash pm\; a\; \backslash cosh\; t,\; b\; \backslash sinh\; t),\backslash ,\; t\; \backslash in\; \backslash R\; \backslash ,$$which satisfies the Cartesian equation because \cosh ^{2} t - \sinh ^{2} t =1 .

Further parametric representations are given in the section Parametric equations below.

Conjugate hyperbola

See main article: Conjugate hyperbola. Exchange

(x ^{2})/(a ^{2}) and (y ^{2})/(b ^{2}) to obtain the equation of the conjugate hyperbola (see diagram):$$\backslash frac-\backslash frac=\; 1\; \backslash ,$$ also written as$$\backslash frac-\backslash frac=\; -1\; \backslash \; .$$

A hyperbola and its conjugate may have diameters which are conjugate. In the theory of special relativity, such diameters may represent axes of time and space, where one hyperbola represents events at a given spatial distance from the center, and the other represents events at a corresponding temporal distance from the center.

In polar coordinates

Origin at the focus

The polar coordinates used most commonly for the hyperbola are defined relative to the Cartesian coordinate system that has its origin in a focus and its x-axis pointing towards the origin of the "canonical coordinate system" as illustrated in the first diagram.

In this case the angle

\varphi is called true anomaly.

Relative to this coordinate system one has that

$$r\; =\; \backslash frac,\; \backslash quad\; p\; =\; \backslash frac$$

and

Origin at the center

With polar coordinates relative to the "canonical coordinate system" (see second diagram)one has that

$$r\; =\backslash frac\; .\backslash ,$$

For the right branch of the hyperbola the range of

\varphi is

Eccentricity

When using polar coordinates, the eccentricity of the hyperbola can be expressed as

\sec\varphi _{max} where \varphi _{max} is the limit of the angular coordinate. As \varphi approaches this limit, r approaches infinity and the denominator in either of the equations noted above approaches zero, hence:^[10]

$$e^2\; \backslash cos^2\; \backslash varphi\_\backslash text\; -\; 1\; =\; 0$$

$$1\; \backslash pm\; e\; \backslash cos\; \backslash varphi\_\backslash text\; =\; 0$$

$$\backslash implies\; e\; =\; \backslash sec\backslash varphi\_\backslash text$$

Parametric equations

A hyperbola with equation

\tfrac{x ^{2}{a} ^{2}} - \tfrac{y ^{2}{b} ^{2}} = 1 can be described by several parametric equations:

1. Through hyperbolic trigonometric functions $$$$

\begin x = \pm a \cosh t, \\ y = b \sinh t, \end \qquad t \in \R.

1. As a rational representation $$$$

\begin x = \pm a \dfrac, \\[1ex] y = b \dfrac, \end \qquad t > 0

1. Through circular trigonometric functions $$$$

\begin x = \frac = a \sec t, \\ y = \pm b \tan t, \end \qquad 0 \le t < 2\pi,\ t \ne \frac,\ t \ne \frac \pi.

1. With the tangent slope as parameter: A parametric representation, which uses the slope

m of the tangent at a point of the hyperbola can be obtained analogously to the ellipse case: Replace in the ellipse case b ^{2} by - b ^{2} and use formulae for the hyperbolic functions. One gets $$\backslash vec\; c\_\backslash pm(m)\; =\; \backslash left(-\backslash frac,\; \backslash frac\backslash right),\backslash quad\; |m|\; >\; b/a.$$ Here, \vec c _{-} is the upper, and \vec c _{+} the lower half of the hyperbola. The points with vertical tangents (vertices (\pm a, 0 ) ) are not covered by the representation. The equation of the tangent at point \vec c _{\pm(m)} is $$y\; =\; m\; x\; \backslash pm\backslash sqrt.$$ This description of the tangents of a hyperbola is an essential tool for the determination of the orthoptic of a hyperbola.

Hyperbolic functions

See main article: Hyperbolic functions.

Just as the trigonometric functions are defined in terms of the unit circle, so also the hyperbolic functions are defined in terms of the unit hyperbola, as shown in this diagram. In a unit circle, the angle (in radians) is equal to twice the area of the circular sector which that angle subtends. The analogous hyperbolic angle is likewise defined as twice the area of a hyperbolic sector.

Let

a be twice the area between the x axis and a ray through the origin intersecting the unit hyperbola, and define $(x,y)\; =\; (\backslash cosh\; a,\backslash sinh\; a)\; =\; (x,\; \backslash sqrt)$ as the coordinates of the intersection point.Then the area of the hyperbolic sector is the area of the triangle minus the curved region past the vertex at ( 1 , 0 ) :which simplifies to the area hyperbolic cosine$$a=\backslash operatornamex=\backslash ln\; \backslash left(x+\backslash sqrt\backslash right).$$Solving for x yields the exponential form of the hyperbolic cosine:$$x=\backslash cosh\; a=\backslash frac.$$From x ^{2-y} ^{2=1} one gets$$y=\backslash sinh\; a=\backslash sqrt=\backslash frac,$$and its inverse the area hyperbolic sine:$$a=\backslash operatornamey=\backslash ln\; \backslash left(y+\backslash sqrt\backslash right).$$Other hyperbolic functions are defined according to the hyperbolic cosine and hyperbolic sine, so for example$$\backslash operatornamea=\backslash frac=\backslash frac.$$

Properties

Reflection property

The tangent at a point

P bisects the angle between the lines \overline{PF _{1},} \overline{PF _{2}.} This is called the optical property or reflection property of a hyperbola.

Proof:Let

L be the point on the line \overline{PF _{2}} with the distance 2 a to the focus F _{2} (see diagram, a is the semi major axis of the hyperbola). Line w is the bisector of the angle between the lines \overline{PF _{1},} \overline{PF _{2}} . In order to prove that w is the tangent line at point P , one checks that any point Q on line w which is different from P cannot be on the hyperbola. Hence w has only point P in common with the hyperbola and is, therefore, the tangent at point P .
From the diagram and the triangle inequality one recognizes that |QF _{2|<|LF} _{2|+|QL|=2a+|QF} _{1|} holds, which means: |QF _{2|-|QF} _{1|<2a} . But if Q is a point of the hyperbola, the difference should be 2 a .

Midpoints of parallel chords

The midpoints of parallel chords of a hyperbola lie on a line through the center (see diagram).

The points of any chord may lie on different branches of the hyperbola.

The proof of the property on midpoints is best done for the hyperbola

y =1 /x . Because any hyperbola is an affine image of the hyperbola y =1 /x (see section below) and an affine transformation preserves parallelism and midpoints of line segments, the property is true for all hyperbolas:
For two points P = \left(x _{1,\tfrac} { 1 }{x _{1}\right),} Q = \left(x _{2,\tfrac} { 1 }{x _{2}\right)} of the hyperbola y =1 /x

the midpoint of the chord is

M = \left(\tfrac{x _{1+x} _{2}{2}, … \right)= …} = \tfrac{x _{1+x} _{2}{2}} \left( 1 ,\tfrac{ 1 }{x _{1x} _{2}\right)} ;

the slope of the chord is

(\tfrac { 1)/(x _{2}) - \tfrac { 1 }{x _{1}}{x} _{2-x} _{1}= …} =- \tfrac{ 1 }{x _{1x} _{2}} .

For parallel chords the slope is constant and the midpoints of the parallel chords lie on the line

y = \tfrac{ 1 }{x _{1x} _{2}} x .

Consequence: for any pair of points

P,Q of a chord there exists a skew reflection with an axis (set of fixed points) passing through the center of the hyperbola, which exchanges the points P,Q and leaves the hyperbola (as a whole) fixed. A skew reflection is a generalization of an ordinary reflection across a line m , where all point-image pairs are on a line perpendicular to m .

Because a skew reflection leaves the hyperbola fixed, the pair of asymptotes is fixed, too. Hence the midpoint

M of a chord P Q divides the related line segment \overline P \overline Q between the asymptotes into halves, too. This means that |P\overline P| = |Q\overline Q| . This property can be used for the construction of further points Q of the hyperbola if a point P and the asymptotes are given.

If the chord degenerates into a tangent, then the touching point divides the line segment between the asymptotes in two halves.

Orthogonal tangents – orthoptic

See main article: Orthoptic (geometry). For a hyperbola $\backslash frac-\backslash frac=1,\; \backslash ,\; a>b$ the intersection points of orthogonal tangents lie on the circle

x ^{2+y} ^{2=a} ^{2-b} ^{2} .
This circle is called the orthoptic of the given hyperbola.

The tangents may belong to points on different branches of the hyperbola.

In case of

a\le b there are no pairs of orthogonal tangents.

Pole-polar relation for a hyperbola

Any hyperbola can be described in a suitable coordinate system by an equation

\tfrac{x ^{2}{a} ^{2}-\tfrac{y} ^{2}{b} ^{2}=} 1 . The equation of the tangent at a point P _{0=(x} _{0,y} _{0)} of the hyperbola is \tfrac{x ^{2 } =1 .} _{0 y}{b} If one allows point P _{0=(x} _{0,y} _{0)} to be an arbitrary point different from the origin, then

point

P _{0=(x} _{0,y} _{0)\ne(0,0)} is mapped onto the line (x _{0x})/(- a ^{2}) (y _{0y})/(b ^{2}) =1 , not through the center of the hyperbola.

This relation between points and lines is a bijection.

The inverse function maps

line

y = mx + d, d\ne 0 onto the point \left( - (ma ^{2})/(, - d) (b ^{2})/(d) \right) and

line

x = c, c\ne 0 onto the point \left( (a ^{2})/(c) , 0 \right) .

Such a relation between points and lines generated by a conic is called pole-polar relation or just polarity. The pole is the point, the polar the line. See Pole and polar.

By calculation one checks the following properties of the pole-polar relation of the hyperbola:

• For a point (pole) on the hyperbola the polar is the tangent at this point (see diagram:

P _{1, p} _{1} ).

• For a pole

P outside the hyperbola the intersection points of its polar with the hyperbola are the tangency points of the two tangents passing P (see diagram: P _{2, p} _{2, P} _{3, p} _{3} ).

• For a point within the hyperbola the polar has no point with the hyperbola in common. (see diagram:

P _{4, p} _{4} ).

Remarks:

1. The intersection point of two polars (for example:

p _{2,p} _{3} ) is the pole of the line through their poles (here: P _{2,P} _{3} ).

1. The foci

(c, 0 ), and ( - c, 0 ) respectively and the directrices x = \tfrac{a ^{2}{c}} and x =- \tfrac{a ^{2}{c}} respectively belong to pairs of pole and polar.Pole-polar relations exist for ellipses and parabolas, too.

Other properties

• The following are concurrent: (1) a circle passing through the hyperbola's foci and centered at the hyperbola's center; (2) either of the lines that are tangent to the hyperbola at the vertices; and (3) either of the asymptotes of the hyperbola.^{[11] [12]}
• The following are also concurrent: (1) the circle that is centered at the hyperbola's center and that passes through the hyperbola's vertices; (2) either directrix; and (3) either of the asymptotes.^[12]
• Since both the transverse axis and the conjugate axis are axes of symmetry, the symmetry group of a hyperbola is the Klein four-group.
• The rectangular hyperbolas xy = constant admit group actions by squeeze mappings which have the hyperbolas as invariant sets.

Arc length

The arc length of a hyperbola does not have an elementary expression. The upper half of a hyperbola can be parameterized as

$$y\; =\; b\backslash sqrt.$$

Then the integral giving the arc length

s from x _{1} to x _{2} can be computed as:

$$s\; =\; b\backslash int\_^\; \backslash sqrt\; \backslash ,\; \backslash mathrm\; dv.$$

After using the substitution

z = iv , this can also be represented using the incomplete elliptic integral of the second kind E with parameter m = k ^{2} :

$$s\; =\; ib\; \backslash Biggr[E\backslash left(iv\; \backslash ,\; \backslash Biggr|\; \backslash ,\; 1\; +\; \backslash frac\{a^2\}\{b^2\}\backslash right)\backslash Biggr]^\_.$$

Using only real numbers, this becomes

$$s=b\backslash left[F\backslash left(\backslash operatorname\{gd\}v\backslash ,\backslash Biggr|-\backslash frac\{a^2\}\{b^2\}\backslash right)\; -\; E\backslash left(\backslash operatorname\{gd\}v\backslash ,\backslash Biggr|-\backslash frac\{a^2\}\{b^2\}\backslash right)\; +\; \backslash sqrt\{1+\backslash frac\{a^2\}\{b^2\}\backslash tanh^2\; v\}\backslash ,\backslash sinh\; v\backslash right]\_^$$

where

F is the incomplete elliptic integral of the first kind with parameter m = k ^{2} and \operatorname{gd}v = \arctan\sinh v is the Gudermannian function.

Derived curves

Several other curves can be derived from the hyperbola by inversion, the so-called inverse curves of the hyperbola. If the center of inversion is chosen as the hyperbola's own center, the inverse curve is the lemniscate of Bernoulli; the lemniscate is also the envelope of circles centered on a rectangular hyperbola and passing through the origin. If the center of inversion is chosen at a focus or a vertex of the hyperbola, the resulting inverse curves are a limaçon or a strophoid, respectively.

Elliptic coordinates

A family of confocal hyperbolas is the basis of the system of elliptic coordinates in two dimensions. These hyperbolas are described by the equation

$$\backslash left(\backslash frac\; x\; \backslash right)^2\; -\; \backslash left(\backslash frac\; y\; \backslash right)^2\; =\; 1$$

where the foci are located at a distance c from the origin on the x-axis, and where θ is the angle of the asymptotes with the x-axis. Every hyperbola in this family is orthogonal to every ellipse that shares the same foci. This orthogonality may be shown by a conformal map of the Cartesian coordinate system w = z + 1/z, where z= x + iy are the original Cartesian coordinates, and w=u + iv are those after the transformation.

Other orthogonal two-dimensional coordinate systems involving hyperbolas may be obtained by other conformal mappings. For example, the mapping w = z² transforms the Cartesian coordinate system into two families of orthogonal hyperbolas.

Conic section analysis of the hyperbolic appearance of circles

Besides providing a uniform description of circles, ellipses, parabolas, and hyperbolas, conic sections can also be understood as a natural model of the geometry of perspective in the case where the scene being viewed consists of circles, or more generally an ellipse. The viewer is typically a camera or the human eye and the image of the scene a central projection onto an image plane, that is, all projection rays pass a fixed point O, the center. The lens plane is a plane parallel to the image plane at the lens O.

The image of a circle c is(Special positions where the circle plane contains point O are omitted.)

These results can be understood if one recognizes that the projection process can be seen in two steps: 1) circle c and point O generate a cone which is 2) cut by the image plane, in order to generate the image.

One sees a hyperbola whenever catching sight of a portion of a circle cut by one's lens plane. The inability to see very much of the arms of the visible branch, combined with the complete absence of the second branch, makes it virtually impossible for the human visual system to recognize the connection with hyperbolas.

Applications

Sundials

Hyperbolas may be seen in many sundials. On any given day, the sun revolves in a circle on the celestial sphere, and its rays striking the point on a sundial traces out a cone of light. The intersection of this cone with the horizontal plane of the ground forms a conic section. At most populated latitudes and at most times of the year, this conic section is a hyperbola. In practical terms, the shadow of the tip of a pole traces out a hyperbola on the ground over the course of a day (this path is called the declination line). The shape of this hyperbola varies with the geographical latitude and with the time of the year, since those factors affect the cone of the sun's rays relative to the horizon. The collection of such hyperbolas for a whole year at a given location was called a pelekinon by the Greeks, since it resembles a double-bladed axe.

Multilateration

A hyperbola is the basis for solving multilateration problems, the task of locating a point from the differences in its distances to given points — or, equivalently, the difference in arrival times of synchronized signals between the point and the given points. Such problems are important in navigation, particularly on water; a ship can locate its position from the difference in arrival times of signals from a LORAN or GPS transmitters. Conversely, a homing beacon or any transmitter can be located by comparing the arrival times of its signals at two separate receiving stations; such techniques may be used to track objects and people. In particular, the set of possible positions of a point that has a distance difference of 2a from two given points is a hyperbola of vertex separation 2a whose foci are the two given points.

Path followed by a particle

The path followed by any particle in the classical Kepler problem is a conic section. In particular, if the total energy E of the particle is greater than zero (that is, if the particle is unbound), the path of such a particle is a hyperbola. This property is useful in studying atomic and sub-atomic forces by scattering high-energy particles; for example, the Rutherford experiment demonstrated the existence of an atomic nucleus by examining the scattering of alpha particles from gold atoms. If the short-range nuclear interactions are ignored, the atomic nucleus and the alpha particle interact only by a repulsive Coulomb force, which satisfies the inverse square law requirement for a Kepler problem.^[13]

Korteweg–de Vries equation

The hyperbolic trig function

\operatorname{sech} x appears as one solution to the Korteweg–de Vries equation which describes the motion of a soliton wave in a canal.

Angle trisection

As shown first by Apollonius of Perga, a hyperbola can be used to trisect any angle, a well studied problem of geometry. Given an angle, first draw a circle centered at its vertex O, which intersects the sides of the angle at points A and B. Next draw the line segment with endpoints A and B and its perpendicular bisector

\ell . Construct a hyperbola of eccentricity e=2 with \ell as directrix and B as a focus. Let P be the intersection (upper) of the hyperbola with the circle. Angle POB trisects angle AOB.

To prove this, reflect the line segment OP about the line

\ell obtaining the point P' as the image of P. Segment AP' has the same length as segment BP due to the reflection, while segment PP' has the same length as segment BP due to the eccentricity of the hyperbola.^[14] As OA, OP', OP and OB are all radii of the same circle (and so, have the same length), the triangles OAP', OPP' and OPB are all congruent. Therefore, the angle has been trisected, since 3×POB = AOB.^[15]

Efficient portfolio frontier

In portfolio theory, the locus of mean-variance efficient portfolios (called the efficient frontier) is the upper half of the east-opening branch of a hyperbola drawn with the portfolio return's standard deviation plotted horizontally and its expected value plotted vertically; according to this theory, all rational investors would choose a portfolio characterized by some point on this locus.

Biochemistry

In biochemistry and pharmacology, the Hill equation and Hill-Langmuir equation respectively describe biological responses and the formation of protein–ligand complexes as functions of ligand concentration. They are both rectangular hyperbolae.

Hyperbolas as plane sections of quadrics

Hyperbolas appear as plane sections of the following quadrics:

• Elliptic cone
• Hyperbolic cylinder
• Hyperbolic paraboloid
• Hyperboloid of one sheet
• Hyperboloid of two sheets

See also

Other conic sections

• Circle
• Ellipse
• Parabola
• Degenerate conic

Other related topics

• Elliptic coordinates, an orthogonal coordinate system based on families of ellipses and hyperbolas.
• Hyperbolic growth
• Hyperbolic partial differential equation
• Hyperbolic sector
• Hyperboloid structure
• Hyperbolic trajectory
• Hyperboloid
• Multilateration
• Rotation of axes
• Translation of axes
• Unit hyperbola

External links

• • Apollonius' Derivation of the Hyperbola at Convergence
• Frans van Schooten: Mathematische Oeffeningen, 1659

Notes and References

1. .
2. The German term for this circle is Leitkreis which can be translated as "Director circle", but that term has a different meaning in the English literature (see Director circle).
3. [Frans van Schooten]
4. http://www.mathematik.tu-darmstadt.de/~ehartmann/circlegeom.pdf Lecture Note Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes
5. http://www.mathematik.tu-darmstadt.de/~ehartmann/circlegeom.pdf Lecture Note Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes
6. Book: Math refresher for scientists and engineers. John R.. Fanchi. John Wiley and Sons. 2006. 0-471-75715-2. Section 3.2, pages 44–45.
7. Book: Korn . Granino A . Theresa M. Korn . Korn . Theresa M. . Mathematical Handbook for Scientists and Engineers: Definitions, Theorems, and Formulas for Reference and Review . Dover Publ. . second . 2000 . 40.
8. Mitchell, Douglas W., "A property of hyperbolas and their asymptotes", Mathematical Gazette 96, July 2012, 299–301.
9. J. W. Downs, Practical Conic Sections, Dover Publ., 2003 (orig. 1993): p. 26.
10. Casey, John, (1885) "A treatise on the analytical geometry of the point, line, circle, and conic sections, containing an account of its most recent extensions, with numerous examples"
11. Web site: Hyperbola. Mathafou.free.fr. 26 August 2018. 4 March 2016. https://web.archive.org/web/20160304061843/http://mathafou.free.fr/themes_en/hyperb.html. dead.
12. Web site: Properties of a Hyperbola . 2011-06-22 . https://web.archive.org/web/20170202180210/http://www3.ul.ie/~rynnet/swconics/HP's.htm . 2017-02-02 . dead .
13. Heilbron . John L. . 1968 . The Scattering of α and β Particles and Rutherford's Atom . Archive for History of Exact Sciences . 4 . 4 . 247–307 . 10.1007/BF00411591 . 41133273 . 0003-9519.
14. Since 2 times the distance of P to \ell is PP' which is equal to BP by directrix-focus property
15. This construction is due to Pappus of Alexandria (circa 300 A.D.) and the proof comes from .