Hyperboloid
![]() Hyperboloid of one sheet |
![]() conical surfacein between |
![]() Hyperboloid of two sheets |
Ingeometry,ahyperboloid of revolution,sometimes called acircular hyperboloid,is thesurfacegenerated by rotating ahyperbolaaround one of itsprincipal axes.Ahyperboloidis the surface obtained from a hyperboloid of revolution by deforming it by means of directionalscalings,or more generally, of anaffine transformation.
A hyperboloid is aquadric surface,that is, asurfacedefined as thezero setof apolynomialof degree two in three variables. Among quadric surfaces, a hyperboloid is characterized by not being aconeor acylinder,having acenter of symmetry,and intersecting manyplanesinto hyperbolas. A hyperboloid has three pairwiseperpendicularaxes of symmetry,and three pairwise perpendicularplanes of symmetry.
Given a hyperboloid, one can choose aCartesian coordinate systemsuch that the hyperboloid is defined by one of the following equations: or The coordinate axes are axes of symmetry of the hyperboloid and the origin is the center of symmetry of the hyperboloid. In any case, the hyperboloid isasymptoticto the cone of the equations:
One has a hyperboloid of revolution if and only ifOtherwise, the axes are uniquely defined (up tothe exchange of thex-axis and they-axis).
There are two kinds of hyperboloids. In the first case (+1in the right-hand side of the equation): aone-sheet hyperboloid,also called ahyperbolic hyperboloid.It is aconnected surface,which has a negativeGaussian curvatureat every point. This implies near every point the intersection of the hyperboloid and itstangent planeat the point consists of two branches of curve that have distinct tangents at the point. In the case of the one-sheet hyperboloid, these branches of curves arelinesand thus the one-sheet hyperboloid is adoubly ruledsurface.
In the second case (−1in the right-hand side of the equation): atwo-sheet hyperboloid,also called anelliptic hyperboloid.The surface has twoconnected componentsand a positive Gaussian curvature at every point. The surface isconvexin the sense that the tangent plane at every point intersects the surface only in this point.
Parametric representations
[edit]![](https://upload.wikimedia.org/wikipedia/commons/thumb/5/59/Cylinder_-_hyperboloid_-_cone.gif/220px-Cylinder_-_hyperboloid_-_cone.gif)
Cartesian coordinates for the hyperboloids can be defined, similar tospherical coordinates,keeping theazimuthangleθ∈[0, 2π),but changing inclinationvintohyperbolic trigonometric functions:
One-surface hyperboloid:v∈(−∞, ∞)
Two-surface hyperboloid:v∈[0, ∞)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/c/ce/Hyperboloid-1s.svg/220px-Hyperboloid-1s.svg.png)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/33/Hyperbo-1s-cut-all.svg/220px-Hyperbo-1s-cut-all.svg.png)
The following parametric representation includes hyperboloids of one sheet, two sheets, and their common boundary cone, each with the-axis as the axis of symmetry:
- Forone obtains a hyperboloid of one sheet,
- Fora hyperboloid of two sheets, and
- Fora double cone.
One can obtain a parametric representation of a hyperboloid with a different coordinate axis as the axis of symmetry by shuffling the position of theterm to the appropriate component in the equation above.
Generalised equations
[edit]More generally, an arbitrarily oriented hyperboloid, centered atv,is defined by the equation whereAis amatrixandx,varevectors.
TheeigenvectorsofAdefine the principal directions of the hyperboloid and theeigenvaluesof A are thereciprocalsof the squares of the semi-axes:,and.The one-sheet hyperboloid has two positive eigenvalues and one negative eigenvalue. The two-sheet hyperboloid has one positive eigenvalue and two negative eigenvalues.
Properties
[edit]Hyperboloid of one sheet
[edit]Lines on the surface
[edit]- A hyperboloid of one sheet contains two pencils of lines. It is adoubly ruled surface.
If the hyperboloid has the equation then the lines
are contained in the surface.
In casethe hyperboloid is a surface of revolution and can be generated by rotating one of the two linesor,which are skew to the rotation axis (see picture). This property is calledWren's theorem.[1]The more common generation of a one-sheet hyperboloid of revolution is rotating ahyperbolaaround itssemi-minor axis(see picture; rotating the hyperbola around its other axis gives a two-sheet hyperbola of revolution).
A hyperboloid of one sheet isprojectivelyequivalent to ahyperbolic paraboloid.
Plane sections
[edit]For simplicity the plane sections of theunit hyperboloidwith equationare considered. Because a hyperboloid in general position is an affine image of the unit hyperboloid, the result applies to the general case, too.
- A plane with a slope less than 1 (1 is the slope of the lines on the hyperboloid) intersectsin anellipse,
- A plane with a slope equal to 1 containing the origin intersectsin apair of parallel lines,
- A plane with a slope equal 1 not containing the origin intersectsin aparabola,
- A tangential plane intersectsin apair of intersecting lines,
- A non-tangential plane with a slope greater than 1 intersectsin ahyperbola.[2]
Obviously, any one-sheet hyperboloid of revolution contains circles. This is also true, but less obvious, in the general case (seecircular section).
Hyperboloid of two sheets
[edit]![](https://upload.wikimedia.org/wikipedia/commons/thumb/f/f3/Hyperboloid-2s.svg/220px-Hyperboloid-2s.svg.png)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/a/a8/Hyperbo-2s-ca.svg/220px-Hyperbo-2s-ca.svg.png)
The hyperboloid of two sheets doesnotcontain lines. The discussion of plane sections can be performed for theunit hyperboloid of two sheetswith equation which can be generated by a rotatinghyperbolaaround one of its axes (the one that cuts the hyperbola)
- A plane with slope less than 1 (1 is the slope of the asymptotes of the generating hyperbola) intersectseither in anellipseor in apointor not at all,
- A plane with slope equal to 1 containing the origin (midpoint of the hyperboloid) doesnot intersect,
- A plane with slope equal to 1 not containing the origin intersectsin aparabola,
- A plane with slope greater than 1 intersectsin ahyperbola.[3]
Obviously, any two-sheet hyperboloid of revolution contains circles. This is also true, but less obvious, in the general case (seecircular section).
Remark:A hyperboloid of two sheets isprojectivelyequivalent to a sphere.
Other properties
[edit]Symmetries
[edit]The hyperboloids with equations are
- pointsymmetricto the origin,
- symmetric to the coordinate planesand
- rotational symmetricto the z-axis and symmetric to any plane containing the z-axis, in case of(hyperboloid of revolution).
Curvature
[edit]Whereas theGaussian curvatureof a hyperboloid of one sheet is negative, that of a two-sheet hyperboloid is positive. In spite of its positive curvature, the hyperboloid of two sheets with another suitably chosen metric can also be used as amodelfor hyperbolic geometry.
In more than three dimensions
[edit]Imaginary hyperboloids are frequently found in mathematics of higher dimensions. For example, in apseudo-Euclidean spaceone has the use of aquadratic form: Whencis anyconstant,then the part of the space given by is called ahyperboloid.The degenerate case corresponds toc= 0.
As an example, consider the following passage:[4]
... the velocity vectors always lie on a surface which Minkowski calls a four-dimensional hyperboloid since, expressed in terms of purely real coordinates(y1,...,y4),its equation isy2
1+y2
2+y2
3−y2
4= −1,analogous to the hyperboloidy2
1+y2
2−y2
3= −1of three-dimensional space.[6]
However, the termquasi-sphereis also used in this context since the sphere and hyperboloid have some commonality (See§ Relation to the spherebelow).
Hyperboloid structures
[edit]One-sheeted hyperboloids are used in construction, with the structures calledhyperboloid structures.A hyperboloid is adoubly ruled surface;thus, it can be built with straight steel beams, producing a strong structure at a lower cost than other methods. Examples includecooling towers,especially ofpower stations,andmany other structures.
- Gallery of one sheet hyperboloid structures
-
TheAdziogol Lighthouse,Ukraine,1911.
-
Kobe Port Tower,Japan,1963.
-
Cathedral of Brasília,Brazil,1970.
-
TheTHTR-300cooling towerfor the now decommissionedthoriumnuclear reactorinHamm-Uentrop,Germany,1983.
-
TheCanton Tower,China,2010.
-
TheEssarts-le-Roiwater tower,France.
Relation to the sphere
[edit]In 1853William Rowan Hamiltonpublished hisLectures on Quaternionswhich included presentation ofbiquaternions.The following passage from page 673 shows how Hamilton uses biquaternion algebra and vectors fromquaternionsto produce hyperboloids from the equation of asphere:
... theequation of the unit sphereρ2+ 1 = 0,and change the vectorρto abivector form,such asσ+τ√−1.The equation of the sphere then breaks up into the system of the two following,
σ2−τ2+ 1 = 0,S.στ= 0;and suggests our consideringσandτas two real and rectangular vectors, such that
Tτ= (Tσ2− 1 )1/2.Hence it is easy to infer that if we assumeσ||λ,whereλis a vector in a given position, thenew real vectorσ+τwill terminate on the surface of adouble-sheeted and equilateral hyperboloid;and that if, on the other hand, we assumeτ||λ,then the locus of the extremity of the real vectorσ+τwill be anequilateral but single-sheeted hyperboloid.The study of these two hyperboloids is, therefore, in this way connected very simply, through biquaternions, with the study of the sphere;...
In this passageSis the operator giving the scalar part of a quaternion, andTis the "tensor", now callednorm,of a quaternion.
A modern view of the unification of the sphere and hyperboloid uses the idea of aconic sectionas aslice of a quadratic form.Instead of aconical surface,one requires conicalhypersurfacesinfour-dimensional spacewith pointsp= (w,x,y,z) ∈R4determined byquadratic forms.First consider the conical hypersurface
- and
- which is ahyperplane.
Thenis the sphere with radiusr.On the other hand, the conical hypersurface
In the theory ofquadratic forms,aunitquasi-sphereis the subset of a quadratic spaceXconsisting of thex∈Xsuch that the quadratic norm ofxis one.[7]
See also
[edit]- De Sitter space
- Ellipsoid
- List of surfaces
- Paraboloid/Hyperbolic paraboloid
- Regulus
- Rotation of axes
- Split-quaternion § Profile
- Translation of axes
References
[edit]- ^K. Strubecker:Vorlesungen der Darstellenden Geometrie.Vandenhoeck & Ruprecht, Göttingen 1967, p. 218
- ^CDKG: Computerunterstützte Darstellende und Konstruktive Geometrie (TU Darmstadt)(PDF; 3,4 MB), S. 116
- ^CDKG: Computerunterstützte Darstellende und Konstruktive Geometrie (TU Darmstadt)(PDF; 3,4 MB), S. 122
- ^Thomas Hawkins (2000)Emergence of the Theory of Lie Groups: an essay in the history of mathematics, 1869—1926,§9.3 "The Mathematization of Physics at Göttingen", see page 340, SpringerISBN0-387-98963-3
- ^Walter, Scott A. (1999),"The non-Euclidean style of Minkowskian relativity",in J. Gray (ed.),The Symbolic Universe: Geometry and Physics 1890-1930,Oxford University Press, pp. 91–127
- ^Minkowski used the term "four-dimensional hyperboloid" only once, in a posthumously-published typescript and this was non-standard usage, as Minkowski's hyperboloid is a three-dimensional submanifold of a four-dimensional Minkowski space[5]
- ^Ian R. Porteous(1995)Clifford Algebras and the Classical Groups,pages 22, 24 & 106,Cambridge University PressISBN0-521-55177-3
- Wilhelm Blaschke(1948)Analytische Geometrie,Kapital V: "Quadriken", Wolfenbutteler Verlagsanstalt.
- David A. Brannan, M. F. Esplen, & Jeremy J Gray (1999)Geometry,pp. 39–41Cambridge University Press.
- H. S. M. Coxeter(1961)Introduction to Geometry,p. 130,John Wiley & Sons.
![](https://upload.wikimedia.org/wikipedia/commons/thumb/f/fa/Wikiquote-logo.svg/34px-Wikiquote-logo.svg.png)
![](https://upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
External links
[edit]![](https://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Wiktionary-logo-en-v2.svg/40px-Wiktionary-logo-en-v2.svg.png)