Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Hyperbola

From Wikipedia, the free encyclopedia
Plane curve: conic section
This article is about a geometric curve. For the term used in rhetoric, seeHyperbole.
The image shows a double cone in which a geometrical plane has sliced off parts of the top and bottom half; the boundary curve of the slice on the cone is the hyperbola. A double cone consists of two cones stacked point-to-point and sharing the same axis of rotation; it may be generated by rotating a line about an axis that passes through a point of the line.
A hyperbola is an open curve with two branches, the intersection of aplane with both halves of adouble cone. The plane does not have to be parallel to the axis of the cone; the hyperbola will be symmetrical in any case.
Hyperbola (red): features

Inmathematics, ahyperbola is a type ofsmoothcurve lying in a plane, defined by its geometric properties or byequations for which it is the solution set. A hyperbola has two pieces, calledconnected components or branches, that are mirror images of each other and resemble two infinitebows. The hyperbola is one of the three kinds ofconic section, formed by the intersection of aplane and a doublecone. (The other conic sections are theparabola and theellipse. Acircle 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 thelocus of points whose difference of distances to two fixedfoci is constant, as a curve for each point of which the rays to two fixed foci arereflections across thetangent line at that point, or as the solution of certain bivariatequadratic equations such as thereciprocal relationshipxy=1.{\displaystyle xy=1.}[1] In practical applications, a hyperbola can arise as the path followed by the shadow of the tip of asundial'sgnomon, the shape of anopen orbit such as that of a celestial object exceeding theescape velocity of the nearest gravitational body, or thescattering trajectory of asubatomic particle, among others.

Eachbranch 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 theasymptote of those two arms. So there are two asymptotes, whose intersection is at the center ofsymmetry 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 curvey(x)=1/x{\displaystyle y(x)=1/x} the asymptotes are the twocoordinate axes.[1]

Hyperbolas share many of the ellipses' analytical properties such aseccentricity,focus, anddirectrix. Typically the correspondence can be made with nothing more than a change of sign in some term. Many othermathematical objects have their origin in the hyperbola, such ashyperbolic paraboloids (saddle surfaces),hyperboloids ("wastebaskets"),hyperbolic geometry (Lobachevsky's celebratednon-Euclidean geometry),hyperbolic functions (sinh, cosh, tanh, etc.), andgyrovector spaces (a geometry proposed for use in bothrelativity andquantum mechanics which is notEuclidean).

Etymology and history

[edit]

The word "hyperbola" derives from theGreekὑπερβολή, meaning "over-thrown" or "excessive", from which the English termhyperbole also derives. Hyperbolae were discovered byMenaechmus in his investigations of the problem ofdoubling the cube, but were then called sections of obtuse cones.[2] The term hyperbola is believed to have been coined byApollonius of Perga (c. 262 – c. 190 BC) in his definitive work on theconic sections, theConics.[3]The names of the other two general conic sections, theellipse and theparabola, 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.[4]

Definitions

[edit]

As locus of points

[edit]
Hyperbola: definition by the distances of points to two fixed points (foci)
Hyperbola: definition with circular directrix

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

Ahyperbola is a set of points, such that for any pointP{\displaystyle P} of the set, the absolute difference of the distances|PF1|,|PF2|{\displaystyle |PF_{1}|,\,|PF_{2}|} to two fixed pointsF1,F2{\displaystyle F_{1},F_{2}} (thefoci) is constant, usually denoted by2a,a>0{\displaystyle 2a,\,a>0}:[5]H={P:||PF2||PF1||=2a}.{\displaystyle H=\left\{P:\left|\left|PF_{2}\right|-\left|PF_{1}\right|\right|=2a\right\}.}

The midpointM{\displaystyle M} of the line segment joining the foci is called thecenter of the hyperbola.[6] The line through the foci is called themajor axis. It contains theverticesV1,V2{\displaystyle V_{1},V_{2}}, which have distancea{\displaystyle a} to the center. The distancec{\displaystyle c} of the foci to the center is called thefocal distance orlinear eccentricity. The quotientca{\displaystyle {\tfrac {c}{a}}} is theeccentricitye{\displaystyle e}.

The equation||PF2||PF1||=2a{\displaystyle \left|\left|PF_{2}\right|-\left|PF_{1}\right|\right|=2a} can be viewed in a different way (see diagram):
Ifc2{\displaystyle c_{2}} is the circle with midpointF2{\displaystyle F_{2}} and radius2a{\displaystyle 2a}, then the distance of a pointP{\displaystyle P} of the right branch to the circlec2{\displaystyle c_{2}} equals the distance to the focusF1{\displaystyle F_{1}}:|PF1|=|Pc2|.{\displaystyle |PF_{1}|=|Pc_{2}|.}c2{\displaystyle c_{2}} is called thecircular directrix (related to focusF2{\displaystyle F_{2}}) of the hyperbola.[7][8] In order to get the left branch of the hyperbola, one has to use the circular directrix related toF1{\displaystyle F_{1}}. This property should not be confused with the definition of a hyperbola with help of a directrix (line) below.

Hyperbola with equationy =A/x

[edit]
Rotating the coordinate system in order to describe a rectangular hyperbola as graph of a function
Three rectangular hyperbolasy=A/x{\displaystyle y=A/x} with the coordinate axes as asymptotes
red:A = 1; magenta:A = 4; blue:A = 9

If thexy-coordinate system isrotated about the origin by the angle+45{\displaystyle +45^{\circ }} and new coordinatesξ,η{\displaystyle \xi ,\eta } are assigned, thenx=ξ+η2,y=ξ+η2{\displaystyle x={\tfrac {\xi +\eta }{\sqrt {2}}},\;y={\tfrac {-\xi +\eta }{\sqrt {2}}}}.
The rectangular hyperbolax2y2a2=1{\displaystyle {\tfrac {x^{2}-y^{2}}{a^{2}}}=1} (whosesemi-axes are equal) has the new equation2ξηa2=1{\displaystyle {\tfrac {2\xi \eta }{a^{2}}}=1}.Solving forη{\displaystyle \eta } yieldsη=a2/2ξ .{\displaystyle \eta ={\tfrac {a^{2}/2}{\xi }}\ .}

Thus, in anxy-coordinate system the graph of a functionf:xAx,A>0,{\displaystyle f:x\mapsto {\tfrac {A}{x}},\;A>0\;,} with equationy=Ax,A>0,{\displaystyle y={\frac {A}{x}}\;,A>0\;,} is arectangular hyperbola entirely in the first and thirdquadrants with

A rotation of the original hyperbola by45{\displaystyle -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{\displaystyle +45^{\circ }} rotation, with equationy=Ax,  A>0,{\displaystyle y=-{\frac {A}{x}}\;,~~A>0\;,}

Shifting the hyperbola with equationy=Ax, A0 ,{\displaystyle y={\frac {A}{x}},\ A\neq 0\ ,} so that the new center is(c0,d0){\displaystyle (c_{0},d_{0})}, yields the new equationy=Axc0+d0,{\displaystyle y={\frac {A}{x-c_{0}}}+d_{0}\;,}and the new asymptotes arex=c0{\displaystyle x=c_{0}} andy=d0{\displaystyle y=d_{0}}. The shape parametersa,b,p,c,e{\displaystyle a,b,p,c,e} remain unchanged.

By the directrix property

[edit]
Hyperbola: directrix property
Hyperbola: definition with directrix property

The two lines at distanced=a2c{\textstyle d={\frac {a^{2}}{c}}} from the center and parallel to the minor axis are calleddirectrices of the hyperbola (see diagram).

For an arbitrary pointP{\displaystyle P} of the hyperbola the quotient of the distance to one focus and to the corresponding directrix (see diagram) is equal to the eccentricity:|PF1||Pl1|=|PF2||Pl2|=e=ca.{\displaystyle {\frac {|PF_{1}|}{|Pl_{1}|}}={\frac {|PF_{2}|}{|Pl_{2}|}}=e={\frac {c}{a}}\,.}The proof for the pairF1,l1{\displaystyle F_{1},l_{1}} follows from the fact that|PF1|2=(xc)2+y2, |Pl1|2=(xa2c)2{\displaystyle |PF_{1}|^{2}=(x-c)^{2}+y^{2},\ |Pl_{1}|^{2}=\left(x-{\tfrac {a^{2}}{c}}\right)^{2}} andy2=b2a2x2b2{\displaystyle y^{2}={\tfrac {b^{2}}{a^{2}}}x^{2}-b^{2}} satisfy the equation|PF1|2c2a2|Pl1|2=0 .{\displaystyle |PF_{1}|^{2}-{\frac {c^{2}}{a^{2}}}|Pl_{1}|^{2}=0\ .}The second case is proven analogously.

Pencil of conics with a common vertex and common semi latus rectum

Theinverse statement is also true and can be used to define a hyperbola (in a manner similar to the definition of a parabola):

For any pointF{\displaystyle F} (focus), any linel{\displaystyle l} (directrix) not throughF{\displaystyle F} and anyreal numbere{\displaystyle e} withe>1{\displaystyle e>1} the set of points (locus of points), for which the quotient of the distances to the point and to the line ise{\displaystyle e}H={P||PF||Pl|=e}{\displaystyle H=\left\{P\,{\Biggr |}\,{\frac {|PF|}{|Pl|}}=e\right\}}is a hyperbola.

(The choicee=1{\displaystyle e=1} yields aparabola and ife<1{\displaystyle e<1} anellipse.)

Proof

[edit]

LetF=(f,0), e>0{\displaystyle F=(f,0),\ e>0} and assume(0,0){\displaystyle (0,0)} is a point on the curve.The directrixl{\displaystyle l} has equationx=fe{\displaystyle x=-{\tfrac {f}{e}}}. WithP=(x,y){\displaystyle P=(x,y)}, the relation|PF|2=e2|Pl|2{\displaystyle |PF|^{2}=e^{2}|Pl|^{2}} produces the equations

(xf)2+y2=e2(x+fe)2=(ex+f)2{\displaystyle (x-f)^{2}+y^{2}=e^{2}\left(x+{\tfrac {f}{e}}\right)^{2}=(ex+f)^{2}} andx2(e21)+2xf(1+e)y2=0.{\displaystyle x^{2}(e^{2}-1)+2xf(1+e)-y^{2}=0.}

The substitutionp=f(1+e){\displaystyle p=f(1+e)} yieldsx2(e21)+2pxy2=0.{\displaystyle x^{2}(e^{2}-1)+2px-y^{2}=0.}This is the equation of anellipse (e<1{\displaystyle e<1}) or aparabola (e=1{\displaystyle e=1}) or ahyperbola (e>1{\displaystyle e>1}). All of these non-degenerate conics have, in common, the origin as a vertex (see diagram).

Ife>1{\displaystyle e>1}, introduce new parametersa,b{\displaystyle a,b} so thate21=b2a2, and  p=b2a{\displaystyle e^{2}-1={\tfrac {b^{2}}{a^{2}}},{\text{ and }}\ p={\tfrac {b^{2}}{a}}}, and then the equation above becomes(x+a)2a2y2b2=1,{\displaystyle {\frac {(x+a)^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1\,,}which is the equation of a hyperbola with center(a,0){\displaystyle (-a,0)}, thex-axis as major axis and the major/minor semi axisa,b{\displaystyle a,b}.

Hyperbola: construction of a directrix

Construction of a directrix

[edit]

Because ofca2c=a2{\displaystyle c\cdot {\tfrac {a^{2}}{c}}=a^{2}} pointL1{\displaystyle L_{1}} of directrixl1{\displaystyle l_{1}} (see diagram) and focusF1{\displaystyle F_{1}} are inverse with respect to thecircle inversion at circlex2+y2=a2{\displaystyle x^{2}+y^{2}=a^{2}} (in diagram green). Hence pointE1{\displaystyle E_{1}} can be constructed using thetheorem of Thales (not shown in the diagram). The directrixl1{\displaystyle l_{1}} is the perpendicular to lineF1F2¯{\displaystyle {\overline {F_{1}F_{2}}}} through pointE1{\displaystyle E_{1}}.

Alternative construction ofE1{\displaystyle E_{1}}: Calculation shows, that pointE1{\displaystyle E_{1}} is the intersection of the asymptote with its perpendicular throughF1{\displaystyle F_{1}} (see diagram).

As plane section of a cone

[edit]
Hyperbola (red): two views of a cone and two Dandelin spheresd1,d2

The intersection of an upright double cone by a plane not through the vertex with slope greater than the slope of the lines on the cone is a hyperbola (see diagram: red curve). In order to prove the defining property of a hyperbola (see above) one uses twoDandelin spheresd1,d2{\displaystyle d_{1},d_{2}}, which are spheres that touch the cone along circlesc1{\displaystyle c_{1}},c2{\displaystyle c_{2}} and the intersecting (hyperbola) plane at pointsF1{\displaystyle F_{1}} andF2{\displaystyle F_{2}}. It turns out:F1,F2{\displaystyle F_{1},F_{2}} are thefoci of the hyperbola.

  1. LetP{\displaystyle P} be an arbitrary point of the intersection curve.
  2. Thegeneratrix of the cone containingP{\displaystyle P} intersects circlec1{\displaystyle c_{1}} at pointA{\displaystyle A} and circlec2{\displaystyle c_{2}} at a pointB{\displaystyle B}.
  3. The line segmentsPF1¯{\displaystyle {\overline {PF_{1}}}} andPA¯{\displaystyle {\overline {PA}}} are tangential to the sphered1{\displaystyle d_{1}} and, hence, are of equal length.
  4. The line segmentsPF2¯{\displaystyle {\overline {PF_{2}}}} andPB¯{\displaystyle {\overline {PB}}} are tangential to the sphered2{\displaystyle d_{2}} and, hence, are of equal length.
  5. The result is:|PF1||PF2|=|PA||PB|=|AB|{\displaystyle |PF_{1}|-|PF_{2}|=|PA|-|PB|=|AB|} is independent of the hyperbola pointP{\displaystyle P}, because no matter where pointP{\displaystyle P} is,A,B{\displaystyle A,B} have to be on circlesc1{\displaystyle c_{1}},c2{\displaystyle c_{2}}, and line segmentAB{\displaystyle AB} has to cross the apex. Therefore, as pointP{\displaystyle P} moves along the red curve (hyperbola), line segmentAB¯{\displaystyle {\overline {AB}}} simply rotates about apex without changing its length.

Pin and string construction

[edit]
Hyperbola: 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:[9]

  1. Choose thefociF1,F2{\displaystyle F_{1},F_{2}} and one of thecircular directrices, for examplec2{\displaystyle c_{2}} (circle with radius2a{\displaystyle 2a})
  2. Aruler is fixed at pointF2{\displaystyle F_{2}} free to rotate aroundF2{\displaystyle F_{2}}. PointB{\displaystyle B} is marked at distance2a{\displaystyle 2a}.
  3. Astring gets its one end pinned at pointA{\displaystyle A} on the ruler and its length is made|AB|{\displaystyle |AB|}.
  4. The free end of the string is pinned to pointF1{\displaystyle F_{1}}.
  5. Take apen and hold the string tight to the edge of the ruler.
  6. Rotating the ruler aroundF2{\displaystyle F_{2}} prompts the pen to draw an arc of the right branch of the hyperbola, because of|PF1|=|PB|{\displaystyle |PF_{1}|=|PB|} (see the definition of a hyperbola bycircular directrices).

Steiner generation of a hyperbola

[edit]
Hyperbola: Steiner generation
Hyperbolay = 1/x: Steiner generation

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

Given twopencilsB(U),B(V){\displaystyle B(U),B(V)} of lines at two pointsU,V{\displaystyle U,V} (all lines containingU{\displaystyle U} andV{\displaystyle V}, respectively) and a projective but not perspective mappingπ{\displaystyle \pi } ofB(U){\displaystyle B(U)} ontoB(V){\displaystyle B(V)}, then the intersection points of corresponding lines form a non-degenerate projective conic section.

For the generation of points of the hyperbolax2a2y2b2=1{\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1} one uses the pencils at the verticesV1,V2{\displaystyle V_{1},V_{2}}. LetP=(x0,y0){\displaystyle P=(x_{0},y_{0})} be a point of the hyperbola andA=(a,y0),B=(x0,0){\displaystyle A=(a,y_{0}),B=(x_{0},0)}. The line segmentBP¯{\displaystyle {\overline {BP}}} is divided into n equally-spaced segments and this division is projected parallel with the diagonalAB{\displaystyle AB} as direction onto the line segmentAP¯{\displaystyle {\overline {AP}}} (see diagram). The parallel projection is part of the projective mapping between the pencils atV1{\displaystyle V_{1}} andV2{\displaystyle V_{2}} needed. The intersection points of any two related linesS1Ai{\displaystyle S_{1}A_{i}} andS2Bi{\displaystyle S_{2}B_{i}} are points of the uniquely defined hyperbola.

Remarks:

  • The subdivision could be extended beyond the pointsA{\displaystyle A} andB{\displaystyle 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 aparallelogram method because one can use other points rather than the vertices, which starts with a parallelogram instead of a rectangle.

Inscribed angles for hyperbolasy =a/(xb) +c and the 3-point-form

[edit]
Hyperbola: inscribed angle theorem

A hyperbola with equationy=axb+c, a0{\displaystyle y={\tfrac {a}{x-b}}+c,\ a\neq 0} is uniquely determined by three points(x1,y1),(x2,y2),(x3,y3){\displaystyle (x_{1},y_{1}),\;(x_{2},y_{2}),\;(x_{3},y_{3})} with differentx- andy-coordinates. A simple way to determine the shape parametersa,b,c{\displaystyle a,b,c} uses theinscribed angle theorem for hyperbolas:

In order tomeasure an angle between two lines with equationsy=m1x+d1, y=m2x+d2 ,m1,m20{\displaystyle y=m_{1}x+d_{1},\ y=m_{2}x+d_{2}\ ,m_{1},m_{2}\neq 0} in this context one uses the quotientm1m2 .{\displaystyle {\frac {m_{1}}{m_{2}}}\ .}

Analogous to theinscribed angle theorem for circles one gets the

Inscribed angle theorem for hyperbolas[10][11]For four pointsPi=(xi,yi), i=1,2,3,4, xixk,yiyk,ik{\displaystyle P_{i}=(x_{i},y_{i}),\ i=1,2,3,4,\ x_{i}\neq x_{k},y_{i}\neq y_{k},i\neq k} (see diagram) the following statement is true:

The four points are on a hyperbola with equationy=axb+c{\displaystyle y={\tfrac {a}{x-b}}+c} if and only if the angles atP3{\displaystyle P_{3}} andP4{\displaystyle P_{4}} are equal in the sense of the measurement above. That means if(y4y1)(x4x1)(x4x2)(y4y2)=(y3y1)(x3x1)(x3x2)(y3y2){\displaystyle {\frac {(y_{4}-y_{1})}{(x_{4}-x_{1})}}{\frac {(x_{4}-x_{2})}{(y_{4}-y_{2})}}={\frac {(y_{3}-y_{1})}{(x_{3}-x_{1})}}{\frac {(x_{3}-x_{2})}{(y_{3}-y_{2})}}}

The proof can be derived by straightforward calculation. If the points are on a hyperbola, one can assume the hyperbola's equation isy=a/x{\displaystyle y=a/x}.

A consequence of the inscribed angle theorem for hyperbolas is the

3-point-form of a hyperbola's equationThe equation of the hyperbola determined by 3 pointsPi=(xi,yi), i=1,2,3, xixk,yiyk,ik{\displaystyle P_{i}=(x_{i},y_{i}),\ i=1,2,3,\ x_{i}\neq x_{k},y_{i}\neq y_{k},i\neq k} is the solution of the equation(yy1)(xx1)(xx2)(yy2)=(y3y1)(x3x1)(x3x2)(y3y2){\displaystyle {\frac {({\color {red}y}-y_{1})}{({\color {green}x}-x_{1})}}{\frac {({\color {green}x}-x_{2})}{({\color {red}y}-y_{2})}}={\frac {(y_{3}-y_{1})}{(x_{3}-x_{1})}}{\frac {(x_{3}-x_{2})}{(y_{3}-y_{2})}}} fory{\displaystyle {\color {red}y}}.

As an affine image of the unit hyperbolax2y2 = 1

[edit]
Hyperbola as an affine image of the unit hyperbola

Another definition of a hyperbola usesaffine transformations:

Anyhyperbola is the affine image of the unit hyperbola with equationx2y2=1{\displaystyle x^{2}-y^{2}=1}.

Parametric representation

[edit]

An affine transformation of the Euclidean plane has the formxf0+Ax{\displaystyle {\vec {x}}\to {\vec {f}}_{0}+A{\vec {x}}}, whereA{\displaystyle A} is a regularmatrix (itsdeterminant is not 0) andf0{\displaystyle {\vec {f}}_{0}} is an arbitrary vector. Iff1,f2{\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} are the column vectors of the matrixA{\displaystyle A}, the unit hyperbola(±cosh(t),sinh(t)),tR,{\displaystyle (\pm \cosh(t),\sinh(t)),t\in \mathbb {R} ,} is mapped onto the hyperbola

x=p(t)=f0±f1cosht+f2sinht .{\displaystyle {\vec {x}}={\vec {p}}(t)={\vec {f}}_{0}\pm {\vec {f}}_{1}\cosh t+{\vec {f}}_{2}\sinh t\ .}

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

Vertices

[edit]

In general the vectorsf1,f2{\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} are not perpendicular. That means, in generalf0±f1{\displaystyle {\vec {f}}_{0}\pm {\vec {f}}_{1}} arenot the vertices of the hyperbola. Butf1±f2{\displaystyle {\vec {f}}_{1}\pm {\vec {f}}_{2}} point into the directions of the asymptotes. The tangent vector at pointp(t){\displaystyle {\vec {p}}(t)} isp(t)=f1sinht+f2cosht .{\displaystyle {\vec {p}}'(t)={\vec {f}}_{1}\sinh t+{\vec {f}}_{2}\cosh t\ .}Because at a vertex the tangent is perpendicular to the major axis of the hyperbola one gets the parametert0{\displaystyle t_{0}} of a vertex from the equationp(t)(p(t)f0)=(f1sinht+f2cosht)(f1cosht+f2sinht)=0{\displaystyle {\vec {p}}'(t)\cdot \left({\vec {p}}(t)-{\vec {f}}_{0}\right)=\left({\vec {f}}_{1}\sinh t+{\vec {f}}_{2}\cosh t\right)\cdot \left({\vec {f}}_{1}\cosh t+{\vec {f}}_{2}\sinh t\right)=0}and hence fromcoth(2t0)=f12+f222f1f2 ,{\displaystyle \coth(2t_{0})=-{\tfrac {{\vec {f}}_{1}^{\,2}+{\vec {f}}_{2}^{\,2}}{2{\vec {f}}_{1}\cdot {\vec {f}}_{2}}}\ ,}which yields

t0=14ln(f1f2)2(f1+f2)2.{\displaystyle t_{0}={\tfrac {1}{4}}\ln {\tfrac {\left({\vec {f}}_{1}-{\vec {f}}_{2}\right)^{2}}{\left({\vec {f}}_{1}+{\vec {f}}_{2}\right)^{2}}}.}

The formulaecosh2x+sinh2x=cosh2x{\displaystyle \cosh ^{2}x+\sinh ^{2}x=\cosh 2x},2sinhxcoshx=sinh2x{\displaystyle 2\sinh x\cosh x=\sinh 2x}, andarcothx=12lnx+1x1{\displaystyle \operatorname {arcoth} x={\tfrac {1}{2}}\ln {\tfrac {x+1}{x-1}}} were used.

The twovertices of the hyperbola aref0±(f1cosht0+f2sinht0).{\displaystyle {\vec {f}}_{0}\pm \left({\vec {f}}_{1}\cosh t_{0}+{\vec {f}}_{2}\sinh t_{0}\right).}

Implicit representation

[edit]

Solving the parametric representation forcosht,sinht{\displaystyle \cosh t,\sinh t} byCramer's rule and usingcosh2tsinh2t1=0{\displaystyle \;\cosh ^{2}t-\sinh ^{2}t-1=0\;}, one gets the implicit representationdet(xf0,f2)2det(f1,xf0)2det(f1,f2)2=0.{\displaystyle \det \left({\vec {x}}\!-\!{\vec {f}}\!_{0},{\vec {f}}\!_{2}\right)^{2}-\det \left({\vec {f}}\!_{1},{\vec {x}}\!-\!{\vec {f}}\!_{0}\right)^{2}-\det \left({\vec {f}}\!_{1},{\vec {f}}\!_{2}\right)^{2}=0.}

Hyperbola in space

[edit]

The definition of a hyperbola in this section gives a parametric representation of an arbitrary hyperbola, even in space, if one allowsf0,f1,f2{\displaystyle {\vec {f}}\!_{0},{\vec {f}}\!_{1},{\vec {f}}\!_{2}} to be vectors in space.

As an affine image of the hyperbolay = 1/x

[edit]
Hyperbola as affine image ofy = 1/x

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

x=p(t)=f0+f1t+f21t,t0.{\displaystyle {\vec {x}}={\vec {p}}(t)={\vec {f}}_{0}+{\vec {f}}_{1}t+{\vec {f}}_{2}{\tfrac {1}{t}},\quad t\neq 0\,.}

M:f0{\displaystyle M:{\vec {f}}_{0}} is the center of the hyperbola, the vectorsf1,f2{\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} have the directions of the asymptotes andf1+f2{\displaystyle {\vec {f}}_{1}+{\vec {f}}_{2}} is a point of the hyperbola. The tangent vector isp(t)=f1f21t2.{\displaystyle {\vec {p}}'(t)={\vec {f}}_{1}-{\vec {f}}_{2}{\tfrac {1}{t^{2}}}.}At a vertex the tangent is perpendicular to the major axis. Hencep(t)(p(t)f0)=(f1f21t2)(f1t+f21t)=f12tf221t3=0{\displaystyle {\vec {p}}'(t)\cdot \left({\vec {p}}(t)-{\vec {f}}_{0}\right)=\left({\vec {f}}_{1}-{\vec {f}}_{2}{\tfrac {1}{t^{2}}}\right)\cdot \left({\vec {f}}_{1}t+{\vec {f}}_{2}{\tfrac {1}{t}}\right)={\vec {f}}_{1}^{2}t-{\vec {f}}_{2}^{2}{\tfrac {1}{t^{3}}}=0}and the parameter of a vertex is

t0=±f22f124.{\displaystyle t_{0}=\pm {\sqrt[{4}]{\frac {{\vec {f}}_{2}^{2}}{{\vec {f}}_{1}^{2}}}}.}

|f1|=|f2|{\displaystyle \left|{\vec {f}}\!_{1}\right|=\left|{\vec {f}}\!_{2}\right|} is equivalent tot0=±1{\displaystyle t_{0}=\pm 1} andf0±(f1+f2){\displaystyle {\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

[edit]
Tangent construction: asymptotes andP given → tangent

The tangent vector can be rewritten by factorization:p(t)=1t(f1tf21t) .{\displaystyle {\vec {p}}'(t)={\tfrac {1}{t}}\left({\vec {f}}_{1}t-{\vec {f}}_{2}{\tfrac {1}{t}}\right)\ .}This means that

the diagonalAB{\displaystyle AB} of the parallelogramM: f0, A=f0+f1t, B: f0+f21t, P: f0+f1t+f21t{\displaystyle M:\ {\vec {f}}_{0},\ A={\vec {f}}_{0}+{\vec {f}}_{1}t,\ B:\ {\vec {f}}_{0}+{\vec {f}}_{2}{\tfrac {1}{t}},\ P:\ {\vec {f}}_{0}+{\vec {f}}_{1}t+{\vec {f}}_{2}{\tfrac {1}{t}}} is parallel to the tangent at the hyperbola pointP{\displaystyle P} (see diagram).

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 ofPascal's theorem.[12]

Area of the grey parallelogram

The area of the grey parallelogramMAPB{\displaystyle MAPB} in the above diagram isArea=|det(tf1,1tf2)|=|det(f1,f2)|==a2+b24{\displaystyle {\text{Area}}=\left|\det \left(t{\vec {f}}_{1},{\tfrac {1}{t}}{\vec {f}}_{2}\right)\right|=\left|\det \left({\vec {f}}_{1},{\vec {f}}_{2}\right)\right|=\cdots ={\frac {a^{2}+b^{2}}{4}}}and hence independent of pointP{\displaystyle P}. The last equation follows from a calculation for the case, whereP{\displaystyle P} is a vertex and the hyperbola in its canonical formx2a2y2b2=1.{\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1\,.}

Point construction

[edit]
Point construction: asymptotes andP1 are given →P2

For a hyperbola with parametric representationx=p(t)=f1t+f21t{\displaystyle {\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:

For any two pointsP1: f1t1+f21t1, P2: f1t2+f21t2{\displaystyle P_{1}:\ {\vec {f}}_{1}t_{1}+{\vec {f}}_{2}{\tfrac {1}{t_{1}}},\ P_{2}:\ {\vec {f}}_{1}t_{2}+{\vec {f}}_{2}{\tfrac {1}{t_{2}}}} the points

A: a=f1t1+f21t2, B: b=f1t2+f21t1{\displaystyle A:\ {\vec {a}}={\vec {f}}_{1}t_{1}+{\vec {f}}_{2}{\tfrac {1}{t_{2}}},\ B:\ {\vec {b}}={\vec {f}}_{1}t_{2}+{\vec {f}}_{2}{\tfrac {1}{t_{1}}}}

are collinear with the center of the hyperbola (see diagram).

The simple proof is a consequence of the equation1t1a=1t2b{\displaystyle {\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 ofPascal's theorem.[13]

Tangent–asymptotes triangle

[edit]
Hyperbola: tangent-asymptotes-triangle

For simplicity the center of the hyperbola may be the origin and the vectorsf1,f2{\displaystyle {\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±(f1+f2){\displaystyle \pm ({\vec {f}}_{1}+{\vec {f}}_{2})} are the vertices,±(f1f2){\displaystyle \pm ({\vec {f}}_{1}-{\vec {f}}_{2})} span the minor axis and one gets|f1+f2|=a{\displaystyle |{\vec {f}}_{1}+{\vec {f}}_{2}|=a} and|f1f2|=b{\displaystyle |{\vec {f}}_{1}-{\vec {f}}_{2}|=b}.

For the intersection points of the tangent at pointp(t0)=f1t0+f21t0{\displaystyle {\vec {p}}(t_{0})={\vec {f}}_{1}t_{0}+{\vec {f}}_{2}{\tfrac {1}{t_{0}}}} with the asymptotes one gets the pointsC=2t0f1, D=2t0f2.{\displaystyle C=2t_{0}{\vec {f}}_{1},\ D={\tfrac {2}{t_{0}}}{\vec {f}}_{2}.}Thearea of the triangleM,C,D{\displaystyle M,C,D} can be calculated by a 2 × 2 determinant:A=12|det(2t0f1,2t0f2)|=2|det(f1,f2)|{\displaystyle A={\tfrac {1}{2}}{\Big |}\det \left(2t_{0}{\vec {f}}_{1},{\tfrac {2}{t_{0}}}{\vec {f}}_{2}\right){\Big |}=2{\Big |}\det \left({\vec {f}}_{1},{\vec {f}}_{2}\right){\Big |}}(see rules fordeterminants).|det(f1,f2)|{\displaystyle \left|\det({\vec {f}}_{1},{\vec {f}}_{2})\right|} is the area of the rhombus generated byf1,f2{\displaystyle {\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-axesa,b{\displaystyle a,b} of the hyperbola. Hence:

Thearea of the triangleMCD{\displaystyle MCD} is independent of the point of the hyperbola:A=ab.{\displaystyle A=ab.}

Reciprocation of a circle

[edit]

Thereciprocation of acircleB in a circleC always yields a conic section such as a hyperbola. The process of "reciprocation in a circleC" consists of replacing every line and point in a geometrical figure with their correspondingpole and polar, respectively. Thepole of a line is theinversion of its closest point to the circleC, whereas the polar of a point is the converse, namely, a line whose closest point toC 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 radiusr of reciprocation circleC. IfB andC represent the points at the centers of the corresponding circles, then

e=BC¯r.{\displaystyle e={\frac {\overline {BC}}{r}}.}

Since the eccentricity of a hyperbola is always greater than one, the centerB must lie outside of the reciprocating circleC.

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

Quadratic equation

[edit]

A hyperbola can also be defined as a second-degree equation in the Cartesian coordinates(x,y){\displaystyle (x,y)} in theplane,

Axxx2+2Axyxy+Ayyy2+2Bxx+2Byy+C=0,{\displaystyle A_{xx}x^{2}+2A_{xy}xy+A_{yy}y^{2}+2B_{x}x+2B_{y}y+C=0,}

provided that the constantsAxx,{\displaystyle A_{xx},}Axy,{\displaystyle A_{xy},}Ayy,{\displaystyle A_{yy},}Bx,{\displaystyle B_{x},}By,{\displaystyle B_{y},} andC{\displaystyle C} satisfy the determinant condition

D:=|AxxAxyAxyAyy|<0.{\displaystyle D:={\begin{vmatrix}A_{xx}&A_{xy}\\A_{xy}&A_{yy}\end{vmatrix}}<0.}

This determinant is conventionally called thediscriminant of the conic section.[14]

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

Δ:=|AxxAxyBxAxyAyyByBxByC|=0.{\displaystyle \Delta :={\begin{vmatrix}A_{xx}&A_{xy}&B_{x}\\A_{xy}&A_{yy}&B_{y}\\B_{x}&B_{y}&C\end{vmatrix}}=0.}

This determinantΔ{\displaystyle \Delta } is sometimes called the discriminant of the conic section.[15]

The general equation's coefficients can be obtained from known semi-major axisa,{\displaystyle a,} semi-minor axisb,{\displaystyle b,} center coordinates(x,y){\displaystyle (x_{\circ },y_{\circ })}, and rotation angleθ{\displaystyle \theta } (the angle from the positive horizontal axis to the hyperbola's major axis) using the formulae:

Axx=a2sin2θ+b2cos2θ,Bx=AxxxAxyy,Ayy=a2cos2θ+b2sin2θ,By=AxyxAyyy,Axy=(a2+b2)sinθcosθ,C=Axxx2+2Axyxy+Ayyy2a2b2.{\displaystyle {\begin{aligned}A_{xx}&=-a^{2}\sin ^{2}\theta +b^{2}\cos ^{2}\theta ,&B_{x}&=-A_{xx}x_{\circ }-A_{xy}y_{\circ },\\[1ex]A_{yy}&=-a^{2}\cos ^{2}\theta +b^{2}\sin ^{2}\theta ,&B_{y}&=-A_{xy}x_{\circ }-A_{yy}y_{\circ },\\[1ex]A_{xy}&=\left(a^{2}+b^{2}\right)\sin \theta \cos \theta ,&C&=A_{xx}x_{\circ }^{2}+2A_{xy}x_{\circ }y_{\circ }+A_{yy}y_{\circ }^{2}-a^{2}b^{2}.\end{aligned}}}

These expressions can be derived from the canonical equation

X2a2Y2b2=1{\displaystyle {\frac {X^{2}}{a^{2}}}-{\frac {Y^{2}}{b^{2}}}=1}

by atranslation and rotation of the coordinates(x,y){\displaystyle (x,y)}:

X=+(xx)cosθ+(yy)sinθ,Y=(xx)sinθ+(yy)cosθ.{\displaystyle {\begin{alignedat}{2}X&={\phantom {+}}\left(x-x_{\circ }\right)\cos \theta &&+\left(y-y_{\circ }\right)\sin \theta ,\\Y&=-\left(x-x_{\circ }\right)\sin \theta &&+\left(y-y_{\circ }\right)\cos \theta .\end{alignedat}}}

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

The center(xc,yc){\displaystyle (x_{c},y_{c})} of the hyperbola may be determined from the formulae

xc=1D|BxAxyByAyy|,yc=1D|AxxBxAxyBy|.{\displaystyle {\begin{aligned}x_{c}&=-{\frac {1}{D}}\,{\begin{vmatrix}B_{x}&A_{xy}\\B_{y}&A_{yy}\end{vmatrix}}\,,\\[1ex]y_{c}&=-{\frac {1}{D}}\,{\begin{vmatrix}A_{xx}&B_{x}\\A_{xy}&B_{y}\end{vmatrix}}\,.\end{aligned}}}

In terms of new coordinates,ξ=xxc{\displaystyle \xi =x-x_{c}} andη=yyc,{\displaystyle \eta =y-y_{c},} the defining equation of the hyperbola can be written

Axxξ2+2Axyξη+Ayyη2+ΔD=0.{\displaystyle A_{xx}\xi ^{2}+2A_{xy}\xi \eta +A_{yy}\eta ^{2}+{\frac {\Delta }{D}}=0.}

The principal axes of the hyperbola make an angleφ{\displaystyle \varphi } with the positivex{\displaystyle x}-axis that is given by

tan(2φ)=2AxyAxxAyy.{\displaystyle \tan(2\varphi )={\frac {2A_{xy}}{A_{xx}-A_{yy}}}.}

Rotating the coordinate axes so that thex{\displaystyle x}-axis is aligned with the transverse axis brings the equation into itscanonical form

x2a2y2b2=1.{\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1.}

The major and minor semiaxesa{\displaystyle a} andb{\displaystyle b} are defined by the equations

a2=Δλ1D=Δλ12λ2,b2=Δλ2D=Δλ1λ22,{\displaystyle {\begin{aligned}a^{2}&=-{\frac {\Delta }{\lambda _{1}D}}=-{\frac {\Delta }{\lambda _{1}^{2}\lambda _{2}}},\\[1ex]b^{2}&=-{\frac {\Delta }{\lambda _{2}D}}=-{\frac {\Delta }{\lambda _{1}\lambda _{2}^{2}}},\end{aligned}}}

whereλ1{\displaystyle \lambda _{1}} andλ2{\displaystyle \lambda _{2}} are theroots of thequadratic equation

λ2(Axx+Ayy)λ+D=0.{\displaystyle \lambda ^{2}-\left(A_{xx}+A_{yy}\right)\lambda +D=0.}

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

x2a2y2b2=0.{\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=0.}

The tangent line to a given point(x0,y0){\displaystyle (x_{0},y_{0})} on the hyperbola is defined by the equation

Ex+Fy+G=0{\displaystyle Ex+Fy+G=0}

whereE,{\displaystyle E,}F,{\displaystyle F,} andG{\displaystyle G} are defined by

E=Axxx0+Axyy0+Bx,F=Axyx0+Ayyy0+By,G=Bxx0+Byy0+C.{\displaystyle {\begin{aligned}E&=A_{xx}x_{0}+A_{xy}y_{0}+B_{x},\\[1ex]F&=A_{xy}x_{0}+A_{yy}y_{0}+B_{y},\\[1ex]G&=B_{x}x_{0}+B_{y}y_{0}+C.\end{aligned}}}

Thenormal line to the hyperbola at the same point is given by the equation

F(xx0)E(yy0)=0.{\displaystyle 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(x0,y0).{\displaystyle (x_{0},y_{0}).}

From the equation

x2a2y2b2=1,0<ba,{\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1,\qquad 0<b\leq a,}

the left focus is(ae,0){\displaystyle (-ae,0)} and the right focus is(ae,0),{\displaystyle (ae,0),} wheree{\displaystyle e} is the eccentricity. Denote the distances from a point(x,y){\displaystyle (x,y)} to the left and right foci asr1{\displaystyle r_{1}} andr2.{\displaystyle r_{2}.} For a point on the right branch,

r1r2=2a,{\displaystyle r_{1}-r_{2}=2a,}

and for a point on the left branch,

r2r1=2a.{\displaystyle r_{2}-r_{1}=2a.}

This can be proved as follows:

If(x,y){\displaystyle (x,y)} is a point on the hyperbola the distance to the left focal point is

r12=(x+ae)2+y2=x2+2xae+a2e2+(x2a2)(e21)=(ex+a)2.{\displaystyle r_{1}^{2}=(x+ae)^{2}+y^{2}=x^{2}+2xae+a^{2}e^{2}+\left(x^{2}-a^{2}\right)\left(e^{2}-1\right)=(ex+a)^{2}.}

To the right focal point the distance is

r22=(xae)2+y2=x22xae+a2e2+(x2a2)(e21)=(exa)2.{\displaystyle r_{2}^{2}=(x-ae)^{2}+y^{2}=x^{2}-2xae+a^{2}e^{2}+\left(x^{2}-a^{2}\right)\left(e^{2}-1\right)=(ex-a)^{2}.}

If(x,y){\displaystyle (x,y)} is a point on the right branch of the hyperbola thenex>a{\displaystyle ex>a} and

r1=ex+a,r2=exa.{\displaystyle {\begin{aligned}r_{1}&=ex+a,\\r_{2}&=ex-a.\end{aligned}}}

Subtracting these equations one gets

r1r2=2a.{\displaystyle r_{1}-r_{2}=2a.}

If(x,y){\displaystyle (x,y)} is a point on the left branch of the hyperbola thenex<a{\displaystyle ex<-a} and

r1=exa,r2=ex+a.{\displaystyle {\begin{aligned}r_{1}&=-ex-a,\\r_{2}&=-ex+a.\end{aligned}}}

Subtracting these equations one gets

r2r1=2a.{\displaystyle r_{2}-r_{1}=2a.}

In Cartesian coordinates

[edit]

Equation

[edit]

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

thefoci are the pointsF1=(c,0), F2=(c,0){\displaystyle F_{1}=(c,0),\ F_{2}=(-c,0)},[6]
thevertices areV1=(a,0), V2=(a,0){\displaystyle V_{1}=(a,0),\ V_{2}=(-a,0)}.[6]

For an arbitrary point(x,y){\displaystyle (x,y)} the distance to the focus(c,0){\displaystyle (c,0)} is(xc)2+y2{\textstyle {\sqrt {(x-c)^{2}+y^{2}}}} and to the second focus(x+c)2+y2{\textstyle {\sqrt {(x+c)^{2}+y^{2}}}}. Hence the point(x,y){\displaystyle (x,y)} is on the hyperbola if the following condition is fulfilled(xc)2+y2(x+c)2+y2=±2a .{\displaystyle {\sqrt {(x-c)^{2}+y^{2}}}-{\sqrt {(x+c)^{2}+y^{2}}}=\pm 2a\ .}Remove the square roots by suitable squarings and use the relationb2=c2a2{\displaystyle b^{2}=c^{2}-a^{2}} to obtain the equation of the hyperbola:

x2a2y2b2=1 .{\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1\ .}

This equation is called thecanonical 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 iscongruent to the original (seebelow).

The axes ofsymmetry orprincipal axes are thetransverse axis (containing the segment of length 2a with endpoints at the vertices) and theconjugate axis (containing the segment of length 2b perpendicular to the transverse axis and with midpoint at the hyperbola's center).[6] As opposed to an ellipse, a hyperbola has only two vertices:(a,0),(a,0){\displaystyle (a,0),\;(-a,0)}. The two points(0,b),(0,b){\displaystyle (0,b),\;(0,-b)} on the conjugate axes arenot on the hyperbola.

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

Eccentricity

[edit]

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

e=1+b2a2.{\displaystyle e={\sqrt {1+{\frac {b^{2}}{a^{2}}}}}.}

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

Asymptotes

[edit]
Hyperbola: semi-axesa,b, linear eccentricityc, semi latus rectump
Hyperbola: 3 properties

Solving the equation (above) of the hyperbola fory{\displaystyle y} yieldsy=±bax2a2.{\displaystyle y=\pm {\frac {b}{a}}{\sqrt {x^{2}-a^{2}}}.}It follows from this that the hyperbola approaches the two linesy=±bax{\displaystyle y=\pm {\frac {b}{a}}x}for large values of|x|{\displaystyle |x|}. These two lines intersect at the center (origin) and are calledasymptotes of the hyperbolax2a2y2b2=1 .{\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1\ .}[16]

With the help of the second figure one can see that

(1){\displaystyle {\color {blue}{(1)}}} Theperpendicular distance from a focus to either asymptote isb{\displaystyle b} (the semi-minor axis).

From theHesse normal formbx±aya2+b2=0{\displaystyle {\tfrac {bx\pm ay}{\sqrt {a^{2}+b^{2}}}}=0} of the asymptotes and the equation of the hyperbola one gets:[17]

(2){\displaystyle {\color {magenta}{(2)}}} Theproduct of the distances from a point on the hyperbola to both the asymptotes is the constanta2b2a2+b2 ,{\displaystyle {\tfrac {a^{2}b^{2}}{a^{2}+b^{2}}}\ ,} which can also be written in terms of the eccentricitye as(be)2.{\displaystyle \left({\tfrac {b}{e}}\right)^{2}.}

From the equationy=±bax2a2{\displaystyle y=\pm {\frac {b}{a}}{\sqrt {x^{2}-a^{2}}}} of the hyperbola (above) one can derive:

(3){\displaystyle {\color {green}{(3)}}} Theproduct of the slopes of lines from a point P to the two vertices is the constantb2/a2 .{\displaystyle b^{2}/a^{2}\ .}

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

(4){\displaystyle {\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 constanta2+b24.{\displaystyle {\tfrac {a^{2}+b^{2}}{4}}.}

Semi-latus rectum

[edit]

The length of the chord through one of the foci, perpendicular to the major axis of the hyperbola, is called thelatus rectum. One half of it is thesemi-latus rectump{\displaystyle p}. A calculation showsp=b2a.{\displaystyle p={\frac {b^{2}}{a}}.}The semi-latus rectump{\displaystyle p} may also be viewed as theradius of curvature at the vertices.

Tangent

[edit]

The simplest way to determine the equation of the tangent at a point(x0,y0){\displaystyle (x_{0},y_{0})} is toimplicitly differentiate the equationx2a2y2b2=1{\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1} of the hyperbola. Denotingdy/dx asy′, this produces2xa22yyb2=0  y=xyb2a2  y=x0y0b2a2(xx0)+y0.{\displaystyle {\frac {2x}{a^{2}}}-{\frac {2yy'}{b^{2}}}=0\ \Rightarrow \ y'={\frac {x}{y}}{\frac {b^{2}}{a^{2}}}\ \Rightarrow \ y={\frac {x_{0}}{y_{0}}}{\frac {b^{2}}{a^{2}}}(x-x_{0})+y_{0}.}With respect tox02a2y02b2=1{\displaystyle {\tfrac {x_{0}^{2}}{a^{2}}}-{\tfrac {y_{0}^{2}}{b^{2}}}=1}, the equation of the tangent at point(x0,y0){\displaystyle (x_{0},y_{0})} isx0a2xy0b2y=1.{\displaystyle {\frac {x_{0}}{a^{2}}}x-{\frac {y_{0}}{b^{2}}}y=1.}

A particular tangent line distinguishes the hyperbola from the other conic sections.[18] Letf be the distance from the vertexV (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

[edit]

In the casea=b{\displaystyle a=b} the hyperbola is calledrectangular (orequilateral), because its asymptotes intersect at right angles. For this case, the linear eccentricity isc=2a{\displaystyle c={\sqrt {2}}a}, the eccentricitye=2{\displaystyle e={\sqrt {2}}} and the semi-latus rectump=a{\displaystyle p=a}. The graph of the equationy=1/x{\displaystyle y=1/x} is a rectangular hyperbola.

Parametric representation with hyperbolic sine/cosine

[edit]

Using thehyperbolic sine and cosine functionscosh,sinh{\displaystyle \cosh ,\sinh }, a parametric representation of the hyperbolax2a2y2b2=1{\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1} can be obtained, which is similar to the parametric representation of an ellipse:(±acosht,bsinht),tR ,{\displaystyle (\pm a\cosh t,b\sinh t),\,t\in \mathbb {R} \ ,}which satisfies the Cartesian equation becausecosh2tsinh2t=1.{\displaystyle \cosh ^{2}t-\sinh ^{2}t=1.}

Further parametric representations are given in the sectionParametric equations below.

Herea =b = 1 giving theunit hyperbola in blue and its conjugate hyperbola in green, sharing the same red asymptotes.

Conjugate hyperbola

[edit]
Main article:Conjugate hyperbola

For the hyperbolax2a2y2b2=1{\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1}, change the sign on the right to obtain the equation of theconjugate hyperbola:

x2a2y2b2=1{\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=-1} (which can also be written asy2b2x2a2=1{\displaystyle {\frac {y^{2}}{b^{2}}}-{\frac {x^{2}}{a^{2}}}=1}).

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

xy=c2{\displaystyle xy=c^{2}} andxy=c2{\displaystyle xy=-c^{2}} also specify conjugate hyperbolas.

In polar coordinates

[edit]
Hyperbola: Polar coordinates with pole = focus
Hyperbola: Polar coordinates with pole = center
Animated plot of Hyperbola by usingr=p1ecosθ{\displaystyle r={\frac {p}{1-e\cos \theta }}}

Origin at the focus

[edit]

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

In this case the angleφ{\displaystyle \varphi } is calledtrue anomaly.

Relative to this coordinate system one has that

r=p1ecosφ,p=b2a{\displaystyle r={\frac {p}{1\mp e\cos \varphi }},\quad p={\frac {b^{2}}{a}}}

and

arccos(1e)<φ<arccos(1e).{\displaystyle -\arccos \left(-{\frac {1}{e}}\right)<\varphi <\arccos \left(-{\frac {1}{e}}\right).}

Origin at the center

[edit]

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

r=be2cos2φ1.{\displaystyle r={\frac {b}{\sqrt {e^{2}\cos ^{2}\varphi -1}}}.\,}

For the right branch of the hyperbola the range ofφ{\displaystyle \varphi } isarccos(1e)<φ<arccos(1e).{\displaystyle -\arccos \left({\frac {1}{e}}\right)<\varphi <\arccos \left({\frac {1}{e}}\right).}

Eccentricity

[edit]

When using polar coordinates, the eccentricity of the hyperbola can be expressed assecφmax{\displaystyle \sec \varphi _{\text{max}}} whereφmax{\displaystyle \varphi _{\text{max}}} is the limit of the angular coordinate. Asφ{\displaystyle \varphi } approaches this limit,r approaches infinity and the denominator in either of the equations noted above approaches zero, hence:[19]: 219 

e2cos2φmax1=0{\displaystyle e^{2}\cos ^{2}\varphi _{\text{max}}-1=0}

1±ecosφmax=0{\displaystyle 1\pm e\cos \varphi _{\text{max}}=0}

e=secφmax{\displaystyle \implies e=\sec \varphi _{\text{max}}}

Parametric equations

[edit]

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

  1. Through hyperbolic trigonometric functions{x=±acosht,y=bsinht,tR.{\displaystyle {\begin{cases}x=\pm a\cosh t,\\y=b\sinh t,\end{cases}}\qquad t\in \mathbb {R} .}
  2. As arational representation{x=±at2+12t,y=bt212t,t>0{\displaystyle {\begin{cases}x=\pm a{\dfrac {t^{2}+1}{2t}},\\[1ex]y=b{\dfrac {t^{2}-1}{2t}},\end{cases}}\qquad t>0}
  3. Through circular trigonometric functions{x=acost=asect,y=±btant,0t<2π, tπ2, t32π.{\displaystyle {\begin{cases}x={\frac {a}{\cos t}}=a\sec t,\\y=\pm b\tan t,\end{cases}}\qquad 0\leq t<2\pi ,\ t\neq {\frac {\pi }{2}},\ t\neq {\frac {3}{2}}\pi .}
  4. With the tangent slope as parameter:
    A parametric representation, which uses the slopem{\displaystyle m} of the tangent at a point of the hyperbola can be obtained analogously to the ellipse case: Replace in the ellipse caseb2{\displaystyle b^{2}} byb2{\displaystyle -b^{2}} and use formulae for thehyperbolic functions. One getsc±(m)=(ma2±m2a2b2,b2±m2a2b2),|m|>b/a.{\displaystyle {\vec {c}}_{\pm }(m)=\left(-{\frac {ma^{2}}{\pm {\sqrt {m^{2}a^{2}-b^{2}}}}},{\frac {-b^{2}}{\pm {\sqrt {m^{2}a^{2}-b^{2}}}}}\right),\quad |m|>b/a.} Here,c{\displaystyle {\vec {c}}_{-}} is the upper, andc+{\displaystyle {\vec {c}}_{+}} the lower half of the hyperbola. The points with vertical tangents (vertices(±a,0){\displaystyle (\pm a,0)}) are not covered by the representation.
    The equation of the tangent at pointc±(m){\displaystyle {\vec {c}}_{\pm }(m)} isy=mx±m2a2b2.{\displaystyle y=mx\pm {\sqrt {m^{2}a^{2}-b^{2}}}.} This description of the tangents of a hyperbola is an essential tool for the determination of theorthoptic of a hyperbola.

Hyperbolic functions

[edit]
Main article:Hyperbolic functions
A ray through theunit hyperbolax2  y2 = 1{\displaystyle x^{2}\ -\ y^{2}\ =\ 1} at the point(cosha,sinha){\displaystyle (\cosh \,a,\,\sinh \,a)}, wherea{\displaystyle a} is twice the area between the ray, the hyperbola, and thex{\displaystyle x}-axis. For points on the hyperbola below thex{\displaystyle x}-axis, the area is considered negative.

Just as thetrigonometric functions are defined in terms of theunit circle, so also thehyperbolic functions are defined in terms of theunit hyperbola, as shown in this diagram. In a unit circle, the angle (in radians) is equal to twice the area of thecircular sector which that angle subtends. The analogoushyperbolic angle is likewise defined as twice the area of ahyperbolic sector.

Leta{\displaystyle a} be twice the area between thex{\displaystyle x} axis and a ray through the origin intersecting the unit hyperbola, and define(x,y)=(cosha,sinha)=(x,x21){\textstyle (x,y)=(\cosh a,\sinh a)=(x,{\sqrt {x^{2}-1}})} 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){\displaystyle (1,0)}:a2=xy21xt21dt=12(xx21)12(xx21ln(x+x21)),{\displaystyle {\begin{aligned}{\frac {a}{2}}&={\frac {xy}{2}}-\int _{1}^{x}{\sqrt {t^{2}-1}}\,dt\\[1ex]&={\frac {1}{2}}\left(x{\sqrt {x^{2}-1}}\right)-{\frac {1}{2}}\left(x{\sqrt {x^{2}-1}}-\ln \left(x+{\sqrt {x^{2}-1}}\right)\right),\end{aligned}}}which simplifies to thearea hyperbolic cosinea=arcoshx=ln(x+x21).{\displaystyle a=\operatorname {arcosh} x=\ln \left(x+{\sqrt {x^{2}-1}}\right).}Solving forx{\displaystyle x} yields the exponential form of the hyperbolic cosine:x=cosha=ea+ea2.{\displaystyle x=\cosh a={\frac {e^{a}+e^{-a}}{2}}.}Fromx2y2=1{\displaystyle x^{2}-y^{2}=1} one getsy=sinha=cosh2a1=eaea2,{\displaystyle y=\sinh a={\sqrt {\cosh ^{2}a-1}}={\frac {e^{a}-e^{-a}}{2}},}and its inverse thearea hyperbolic sine:a=arsinhy=ln(y+y2+1).{\displaystyle a=\operatorname {arsinh} y=\ln \left(y+{\sqrt {y^{2}+1}}\right).}Other hyperbolic functions are defined according to the hyperbolic cosine and hyperbolic sine, so for exampletanha=sinhacosha=e2a1e2a+1.{\displaystyle \operatorname {tanh} a={\frac {\sinh a}{\cosh a}}={\frac {e^{2a}-1}{e^{2a}+1}}.}

Properties

[edit]

Reflection property

[edit]
Hyperbola: the tangent bisects the lines through the foci

The tangent at a pointP{\displaystyle P} bisects the angle between the linesPF1¯,PF2¯.{\displaystyle {\overline {PF_{1}}},{\overline {PF_{2}}}.} This is called theoptical property orreflection property of a hyperbola.[20]

Proof

LetL{\displaystyle L} be the point on the linePF2¯{\displaystyle {\overline {PF_{2}}}} with the distance2a{\displaystyle 2a} to the focusF2{\displaystyle F_{2}} (see diagram,a{\displaystyle a} is the semi major axis of the hyperbola). Linew{\displaystyle w} is the bisector of the angle between the linesPF1¯,PF2¯{\displaystyle {\overline {PF_{1}}},{\overline {PF_{2}}}}. In order to prove thatw{\displaystyle w} is the tangent line at pointP{\displaystyle P}, one checks that any pointQ{\displaystyle Q} on linew{\displaystyle w} which is different fromP{\displaystyle P} cannot be on the hyperbola. Hencew{\displaystyle w} has only pointP{\displaystyle P} in common with the hyperbola and is, therefore, the tangent at pointP{\displaystyle P}.
From the diagram and thetriangle inequality one recognizes that|QF2|<|LF2|+|QL|=2a+|QF1|{\displaystyle |QF_{2}|<|LF_{2}|+|QL|=2a+|QF_{1}|} holds, which means:|QF2||QF1|<2a{\displaystyle |QF_{2}|-|QF_{1}|<2a}. But ifQ{\displaystyle Q} is a point of the hyperbola, the difference should be2a{\displaystyle 2a}.

Midpoints of parallel chords

[edit]
Hyperbola: the midpoints of parallel chords lie on a line.
Hyperbola: the midpoint of a chord is the midpoint of the corresponding chord of the asymptotes.

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 hyperbolay=1/x{\displaystyle y=1/x}. Because any hyperbola is an affine image of the hyperbolay=1/x{\displaystyle 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 pointsP=(x1,1x1), Q=(x2,1x2){\displaystyle P=\left(x_{1},{\tfrac {1}{x_{1}}}\right),\ Q=\left(x_{2},{\tfrac {1}{x_{2}}}\right)} of the hyperbolay=1/x{\displaystyle y=1/x}

the midpoint of the chord isM=(x1+x22,)==x1+x22(1,1x1x2) ;{\displaystyle M=\left({\tfrac {x_{1}+x_{2}}{2}},\cdots \right)=\cdots ={\tfrac {x_{1}+x_{2}}{2}}\;\left(1,{\tfrac {1}{x_{1}x_{2}}}\right)\ ;}
the slope of the chord is1x21x1x2x1==1x1x2 .{\displaystyle {\frac {{\tfrac {1}{x_{2}}}-{\tfrac {1}{x_{1}}}}{x_{2}-x_{1}}}=\cdots =-{\tfrac {1}{x_{1}x_{2}}}\ .}

For parallel chords the slope is constant and the midpoints of the parallel chords lie on the liney=1x1x2x .{\displaystyle y={\tfrac {1}{x_{1}x_{2}}}\;x\ .}

Consequence: for any pair of pointsP,Q{\displaystyle P,Q} of a chord there exists askew reflection with an axis (set of fixed points) passing through the center of the hyperbola, which exchanges the pointsP,Q{\displaystyle P,Q} and leaves the hyperbola (as a whole) fixed. A skew reflection is a generalization of an ordinary reflection across a linem{\displaystyle m}, where all point-image pairs are on a line perpendicular tom{\displaystyle m}.

Because a skew reflection leaves the hyperbola fixed, the pair of asymptotes is fixed, too. Hence the midpointM{\displaystyle M} of a chordPQ{\displaystyle PQ} divides the related line segmentP¯Q¯{\displaystyle {\overline {P}}\,{\overline {Q}}} between the asymptotes into halves, too. This means that|PP¯|=|QQ¯|{\displaystyle |P{\overline {P}}|=|Q{\overline {Q}}|}. This property can be used for the construction of further pointsQ{\displaystyle Q} of the hyperbola if a pointP{\displaystyle P} and the asymptotes are given.

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

Orthogonal tangents – orthoptic

[edit]
Hyperbola with its orthoptic (magenta)
Main article:Orthoptic (geometry)

For a hyperbolax2a2y2b2=1,a>b{\textstyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1,\,a>b} the intersection points oforthogonal tangents lie on the circlex2+y2=a2b2{\displaystyle x^{2}+y^{2}=a^{2}-b^{2}}.
This circle is called theorthoptic of the given hyperbola.

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

In case ofab{\displaystyle a\leq b} there are no pairs of orthogonal tangents.

Pole-polar relation for a hyperbola

[edit]
Hyperbola: pole-polar relation

Any hyperbola can be described in a suitable coordinate system by an equationx2a2y2b2=1{\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1}. The equation of the tangent at a pointP0=(x0,y0){\displaystyle P_{0}=(x_{0},y_{0})} of the hyperbola isx0xa2y0yb2=1.{\displaystyle {\tfrac {x_{0}x}{a^{2}}}-{\tfrac {y_{0}y}{b^{2}}}=1.} If one allows pointP0=(x0,y0){\displaystyle P_{0}=(x_{0},y_{0})} to be an arbitrary point different from the origin, then

pointP0=(x0,y0)(0,0){\displaystyle P_{0}=(x_{0},y_{0})\neq (0,0)} is mapped onto the linex0xa2y0yb2=1{\displaystyle {\frac {x_{0}x}{a^{2}}}-{\frac {y_{0}y}{b^{2}}}=1}, not through the center of the hyperbola.

This relation between points and lines is abijection.

Theinverse function maps

liney=mx+d, d0{\displaystyle y=mx+d,\ d\neq 0} onto the point(ma2d,b2d){\displaystyle \left(-{\frac {ma^{2}}{d}},-{\frac {b^{2}}{d}}\right)} and
linex=c, c0{\displaystyle x=c,\ c\neq 0} onto the point(a2c,0) .{\displaystyle \left({\frac {a^{2}}{c}},0\right)\ .}

Such a relation between points and lines generated by a conic is calledpole-polar relation or justpolarity. The pole is the point, the polar the line. SeePole and polar.

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

Remarks:

  1. The intersection point of two polars (for example:p2,p3{\displaystyle p_{2},p_{3}}) is the pole of the line through their poles (here:P2,P3{\displaystyle P_{2},P_{3}}).
  2. The foci(c,0),{\displaystyle (c,0),} and(c,0){\displaystyle (-c,0)} respectively and the directricesx=a2c{\displaystyle x={\tfrac {a^{2}}{c}}} andx=a2c{\displaystyle x=-{\tfrac {a^{2}}{c}}} respectively belong to pairs of pole and polar.

Pole-polar relations exist for ellipses and parabolas, too.

Other properties

[edit]
  • The following areconcurrent: (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.[21][22]
  • 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.[22]
  • Since both the transverse axis and the conjugate axis are axes of symmetry, thesymmetry group of a hyperbola is theKlein four-group.
  • The rectangular hyperbolasxy =constant admitgroup actions bysqueeze mappings which have the hyperbolas asinvariant sets.

Arc length

[edit]

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

y=bx2a21.{\displaystyle y=b{\sqrt {{\frac {x^{2}}{a^{2}}}-1}}.}

Then the integral giving the arc lengths{\displaystyle s} fromx1{\displaystyle x_{1}} tox2{\displaystyle x_{2}} can be computed as:

s=barcoshx1aarcoshx2a1+(1+a2b2)sinh2vdv.{\displaystyle s=b\int _{\operatorname {arcosh} {\frac {x_{1}}{a}}}^{\operatorname {arcosh} {\frac {x_{2}}{a}}}{\sqrt {1+\left(1+{\frac {a^{2}}{b^{2}}}\right)\sinh ^{2}v}}\,\mathrm {d} v.}

After using the substitutionz=iv{\displaystyle z=iv}, this can also be represented using theincomplete elliptic integral of the second kindE{\displaystyle E} with parameterm=k2{\displaystyle m=k^{2}}:

s=ib[E(iv|1+a2b2)]arcoshx2aarcoshx1a.{\displaystyle s=ib{\Biggr [}E\left(iv\,{\Biggr |}\,1+{\frac {a^{2}}{b^{2}}}\right){\Biggr ]}_{\operatorname {arcosh} {\frac {x_{2}}{a}}}^{\operatorname {arcosh} {\frac {x_{1}}{a}}}.}

Using only real numbers, this becomes[23]

s=b[F(gdv|a2b2)E(gdv|a2b2)+1+a2b2tanh2vsinhv]arcoshx1aarcoshx2a{\displaystyle s=b\left[F\left(\operatorname {gd} v\,{\Biggr |}-{\frac {a^{2}}{b^{2}}}\right)-E\left(\operatorname {gd} v\,{\Biggr |}-{\frac {a^{2}}{b^{2}}}\right)+{\sqrt {1+{\frac {a^{2}}{b^{2}}}\tanh ^{2}v}}\,\sinh v\right]_{\operatorname {arcosh} {\tfrac {x_{1}}{a}}}^{\operatorname {arcosh} {\tfrac {x_{2}}{a}}}}

whereF{\displaystyle F} is theincomplete elliptic integral of the first kind with parameterm=k2{\displaystyle m=k^{2}} andgdv=arctansinhv{\displaystyle \operatorname {gd} v=\arctan \sinh v} is theGudermannian function.

Derived curves

[edit]
Sinusoidal spirals (rn = –1n cos(),θ =π/2) inpolar coordinates and their equivalents inrectangular coordinates:
  n = −2: Equilateralhyperbola
  n = −1:Line
  n = −1/2:Parabola
  n = 1/2:Cardioid
  n = 1:Circle

Several other curves can be derived from the hyperbola byinversion, the so-calledinverse curves of the hyperbola. If the center of inversion is chosen as the hyperbola's own center, the inverse curve is thelemniscate 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 alimaçon or astrophoid, respectively.

Elliptic coordinates

[edit]

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

(xccosθ)2(ycsinθ)2=1{\displaystyle \left({\frac {x}{c\cos \theta }}\right)^{2}-\left({\frac {y}{c\sin \theta }}\right)^{2}=1}

where the foci are located at a distancec from the origin on thex-axis, and where θ is the angle of the asymptotes with thex-axis. Every hyperbola in this family is orthogonal to every ellipse that shares the same foci. This orthogonality may be shown by aconformal map of the Cartesian coordinate systemw =z + 1/z, wherez=x +iy are the original Cartesian coordinates, andw=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 mappingw =z2 transforms the Cartesian coordinate system into two families of orthogonal hyperbolas.

Conic section analysis of the hyperbolic appearance of circles

[edit]
Central projection of circles on a sphere: The centerO of projection is inside the sphere, the image plane is red.
As images of the circles one gets a circle (magenta), ellipses, hyperbolas and lines. The special case of a parabola does not appear in this example.
(If centerO wereon the sphere, all images of the circles would be circles or lines; seestereographic projection).

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 acentral projection onto an image plane, that is, all projection rays pass a fixed pointO, the center. Thelens plane is a plane parallel to the image plane at the lensO.

The image of a circle c is

  1. acircle, if circlec is in a special position, for example parallel to the image plane and others (see stereographic projection),
  2. anellipse, ifc hasno point with the lens plane in common,
  3. aparabola, ifc hasone point with the lens plane in common and
  4. ahyperbola, ifc hastwo points with the lens plane in common.

(Special positions where the circle plane contains pointO are omitted.)

These results can be understood if one recognizes that the projection process can be seen in two steps: 1) circle c and pointO 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

[edit]
Hyperbolas as declination lines on a sundial
The contact zone of a level supersonic aircraft'sshockwave on flat ground (yellow) is a part of a hyperbola as the ground intersects the cone parallel to its axis.

Sundials

[edit]

Hyperbolas may be seen in manysundials. On any given day, the sun revolves in a circle on thecelestial 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 thedeclination 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 apelekinon by the Greeks, since it resembles a double-bladed axe.

Multilateration

[edit]

A hyperbola is the basis for solvingmultilateration 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 aLORAN orGPS 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

[edit]

The path followed by any particle in the classicalKepler problem is aconic section. In particular, if the total energyE 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, theRutherford experiment demonstrated the existence of anatomic nucleus by examining the scattering ofalpha particles fromgold atoms. If the short-range nuclear interactions are ignored, the atomic nucleus and the alpha particle interact only by a repulsiveCoulomb force, which satisfies theinverse square law requirement for a Kepler problem.[24]

Korteweg–de Vries equation

[edit]

The hyperbolic trig functionsechx{\displaystyle \operatorname {sech} \,x} appears as one solution to theKorteweg–de Vries equation which describes the motion of a soliton wave in a canal.

Angle trisection

[edit]
Trisecting an angle (AOB) using a hyperbola of eccentricity 2 (yellow curve)

As shown first byApollonius of Perga, a hyperbola can be used totrisect any angle, a well studied problem of geometry. Given an angle, first draw a circle centered at its vertexO, which intersects the sides of the angle at pointsA andB. Next draw the line segment with endpointsA andB and its perpendicular bisector{\displaystyle \ell }. Construct a hyperbola ofeccentricitye=2 with{\displaystyle \ell } asdirectrix andB as a focus. LetP be the intersection (upper) of the hyperbola with the circle. AnglePOB trisects angleAOB.

To prove this, reflect the line segmentOP about the line{\displaystyle \ell } obtaining the pointP' as the image ofP. SegmentAP' has the same length as segmentBP due to the reflection, while segmentPP' has the same length as segmentBP due to the eccentricity of the hyperbola.[25] AsOA,OP',OP andOB are all radii of the same circle (and so, have the same length), the trianglesOAP',OPP' andOPB are all congruent. Therefore, the angle has been trisected, since 3×POB =AOB.[26]

Efficient portfolio frontier

[edit]

Inportfolio theory, the locus ofmean-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

[edit]

Inbiochemistry andpharmacology, theHill equation andHill-Langmuir equation respectively describe biologicalresponses and the formation ofprotein–ligand complexes as functions of ligand concentration. They are both rectangular hyperbolae.

Hyperbolas as plane sections of quadrics

[edit]

Hyperbolas appear as plane sections of the followingquadrics:

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

See also

[edit]

Other conic sections

[edit]

Other related topics

[edit]

Notes

[edit]
  1. ^abOakley 1944, p. 17.
  2. ^Heath, Sir Thomas Little (1896), "Chapter I. The discovery of conic sections. Menaechmus",Apollonius of Perga: Treatise on Conic Sections with Introductions Including an Essay on Earlier History on the Subject, Cambridge University Press, pp. xvii–xxx.
  3. ^Boyer, Carl B.;Merzbach, Uta C. (2011),A History of Mathematics, Wiley, p. 73,ISBN 9780470630563,It was Apollonius (possibly following up a suggestion of Archimedes) who introduced the names "ellipse" and "hyperbola" in connection with these curves.
  4. ^Eves, Howard (1963),A Survey of Geometry (Vol. One), Allyn and Bacon, pp. 30–31
  5. ^Protter & Morrey 1970, pp. 308–310.
  6. ^abcdProtter & Morrey 1970, p. 310.
  7. ^Apostol, Tom M.; Mnatsakanian, Mamikon A. (2012),New Horizons in Geometry, The Dolciani Mathematical Expositions #47, The Mathematical Association of America, p. 251,ISBN 978-0-88385-354-2
  8. ^The German term for this circle isLeitkreis which can be translated as "Director circle", but that term has a different meaning in the English literature (seeDirector circle).
  9. ^Frans van Schooten:Mathematische Oeffeningen, Leyden, 1659, p. 327
  10. ^E. Hartmann: Lecture NotePlanar Circle Geometries, an Introduction to Möbius-, Laguerre- and Minkowski Planes, p. 93
  11. ^W. Benz:Vorlesungen über Geomerie der Algebren,Springer (1973)
  12. ^Lecture NotePlanar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes, S. 33, (PDF; 757 kB)
  13. ^Lecture NotePlanar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes, S. 32, (PDF; 757 kB)
  14. ^Fanchi, John R. (2006).Math refresher for scientists and engineers. John Wiley and Sons.Section 3.2, pages 44–45.ISBN 0-471-75715-2.
  15. ^Korn, Granino A;Korn, Theresa M. (2000).Mathematical Handbook for Scientists and Engineers: Definitions, Theorems, and Formulas for Reference and Review (second ed.). Dover Publ. p. 40.
  16. ^Protter & Morrey 1970, pp. APP-29–APP-30.
  17. ^abMitchell, Douglas W., "A property of hyperbolas and their asymptotes",Mathematical Gazette 96, July 2012, 299–301.
  18. ^J. W. Downs,Practical Conic Sections, Dover Publ., 2003 (orig. 1993): p. 26.
  19. ^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"
  20. ^Coffman, R. T.; Ogilvy, C. S. (1963), "The 'Reflection Property' of the Conics",Mathematics Magazine,36 (1):11–12,doi:10.1080/0025570X.1963.11975375,JSTOR 2688124
    Flanders, Harley (1968), "The Optical Property of the Conics",American Mathematical Monthly,75 (4): 399,doi:10.1080/00029890.1968.11970997,JSTOR 2313439

    Brozinsky, Michael K. (1984),"Reflection Property of the Ellipse and the Hyperbola",College Mathematics Journal,15 (2):140–42,doi:10.1080/00494925.1984.11972763 (inactive 2024-12-16),JSTOR 2686519{{citation}}: CS1 maint: DOI inactive as of December 2024 (link)

  21. ^"Hyperbola".Mathafou.free.fr. Archived fromthe original on 4 March 2016. Retrieved26 August 2018.
  22. ^ab"Properties of a Hyperbola". Archived fromthe original on 2017-02-02. Retrieved2011-06-22.
  23. ^Carlson, B. C. (2010),"Elliptic Integrals", inOlver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.),NIST Handbook of Mathematical Functions, Cambridge University Press,ISBN 978-0-521-19225-5,MR 2723248.
  24. ^Heilbron, John L. (1968). "The Scattering of α and β Particles and Rutherford's Atom".Archive for History of Exact Sciences.4 (4):247–307.doi:10.1007/BF00411591.JSTOR 41133273.
  25. ^Since 2 times the distance ofP to{\displaystyle \ell } isPP' which is equal toBP by directrix-focus property
  26. ^This construction is due toPappus of Alexandria (circa 300 A.D.) and the proof comes fromKazarinoff 1970,p. 62.

References

[edit]

External links

[edit]
Wikimedia Commons has media related toHyperbolas.
Wikisource has the text of the1911Encyclopædia Britannica article "Hyperbola".
Authority control databases: NationalEdit this at Wikidata
Retrieved from "https://en.wikipedia.org/w/index.php?title=Hyperbola&oldid=1272078880"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp