Cartesian coordinates for the hyperboloids can be defined, similar to spherical coordinates, keeping the azimuth angle θ ∈ [0, 2π), but changing inclination v into hyperbolic trigonometric functions:
One-surface hyperboloid: v ∈ (−∞, ∞) x = a cosh v cos θ y = b cosh v sin θ z = c sinh v {\displaystyle {\begin{aligned}x&=a\cosh v\cos \theta \\y&=b\cosh v\sin \theta \\z&=c\sinh v\end{aligned}}}
Two-surface hyperboloid: v ∈ [0, ∞) x = a sinh v cos θ y = b sinh v sin θ z = ± c cosh v {\displaystyle {\begin{aligned}x&=a\sinh v\cos \theta \\y&=b\sinh v\sin \theta \\z&=\pm c\cosh v\end{aligned}}}
The following parametric representation includes hyperboloids of one sheet, two sheets, and their common boundary cone, each with the z {\displaystyle z} -axis as the axis of symmetry: x ( s , t ) = ( a s 2 + d cos t b s 2 + d sin t c s ) {\displaystyle \mathbf {x} (s,t)=\left({\begin{array}{lll}a{\sqrt {s^{2}+d}}\cos t\\b{\sqrt {s^{2}+d}}\sin t\\cs\end{array}}\right)}
One can obtain a parametric representation of a hyperboloid with a different coordinate axis as the axis of symmetry by shuffling the position of the c s {\displaystyle cs} term to the appropriate component in the equation above.
More generally, an arbitrarily oriented hyperboloid, centered at v, is defined by the equation ( x − v ) T A ( x − v ) = 1 , {\displaystyle (\mathbf {x} -\mathbf {v} )^{\mathrm {T} }A(\mathbf {x} -\mathbf {v} )=1,} where A is a matrix and x, v are vectors.
The eigenvectors of A define the principal directions of the hyperboloid and the eigenvalues of A are the reciprocals of the squares of the semi-axes: 1 / a 2 {\displaystyle {1/a^{2}}} , 1 / b 2 {\displaystyle {1/b^{2}}} and 1 / c 2 {\displaystyle {1/c^{2}}} . The one-sheet hyperboloid has two positive eigenvalues and one negative eigenvalue. The two-sheet hyperboloid has one positive eigenvalue and two negative eigenvalues.
If the hyperboloid has the equation x 2 a 2 + y 2 b 2 − z 2 c 2 = 1 {\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-{z^{2} \over c^{2}}=1} then the lines
g α ± : x ( t ) = ( a cos α b sin α 0 ) + t ⋅ ( − a sin α b cos α ± c ) , t ∈ R , 0 ≤ α ≤ 2 π {\displaystyle g_{\alpha }^{\pm }:\mathbf {x} (t)={\begin{pmatrix}a\cos \alpha \\b\sin \alpha \\0\end{pmatrix}}+t\cdot {\begin{pmatrix}-a\sin \alpha \\b\cos \alpha \\\pm c\end{pmatrix}}\ ,\quad t\in \mathbb {R} ,\ 0\leq \alpha \leq 2\pi \ } are contained in the surface.
In case a = b {\displaystyle a=b} the hyperboloid is a surface of revolution and can be generated by rotating one of the two lines g 0 + {\displaystyle g_{0}^{+}} or g 0 − {\displaystyle g_{0}^{-}} , which are skew to the rotation axis (see picture). This property is called Wren's theorem.1 The more common generation of a one-sheet hyperboloid of revolution is rotating a hyperbola around its semi-minor axis (see picture; rotating the hyperbola around its other axis gives a two-sheet hyperbola of revolution).
A hyperboloid of one sheet is projectively equivalent to a hyperbolic paraboloid.
For simplicity the plane sections of the unit hyperboloid with equation H 1 : x 2 + y 2 − z 2 = 1 {\displaystyle \ H_{1}:x^{2}+y^{2}-z^{2}=1} are considered. Because a hyperboloid in general position is an affine image of the unit hyperboloid, the result applies to the general case, too.
Obviously, any one-sheet hyperboloid of revolution contains circles. This is also true, but less obvious, in the general case (see circular section).
The hyperboloid of two sheets does not contain lines. The discussion of plane sections can be performed for the unit hyperboloid of two sheets with equation H 2 : x 2 + y 2 − z 2 = − 1. {\displaystyle H_{2}:\ x^{2}+y^{2}-z^{2}=-1.} which can be generated by a rotating hyperbola around one of its axes (the one that cuts the hyperbola)
Obviously, any two-sheet hyperboloid of revolution contains circles. This is also true, but less obvious, in the general case (see circular section).
Remark: A hyperboloid of two sheets is projectively equivalent to a sphere.
The hyperboloids with equations x 2 a 2 + y 2 b 2 − z 2 c 2 = 1 , x 2 a 2 + y 2 b 2 − z 2 c 2 = − 1 {\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}-{\frac {z^{2}}{c^{2}}}=1,\quad {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}-{\frac {z^{2}}{c^{2}}}=-1} are
Whereas the Gaussian curvature of 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 a model for hyperbolic geometry.
Imaginary hyperboloids are frequently found in mathematics of higher dimensions. For example, in a pseudo-Euclidean space one has the use of a quadratic form: q ( x ) = ( x 1 2 + ⋯ + x k 2 ) − ( x k + 1 2 + ⋯ + x n 2 ) , k < n . {\displaystyle q(x)=\left(x_{1}^{2}+\cdots +x_{k}^{2}\right)-\left(x_{k+1}^{2}+\cdots +x_{n}^{2}\right),\quad k<n.} When c is any constant, then the part of the space given by { x : q ( x ) = c } {\displaystyle \lbrace x\ :\ q(x)=c\rbrace } is called a hyperboloid. The degenerate case corresponds to c = 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 is y21 + y22 + y23 − y24 = −1, analogous to the hyperboloid y21 + y22 − y23 = −1 of three-dimensional space.5
However, the term quasi-sphere is also used in this context since the sphere and hyperboloid have some commonality (See § Relation to the sphere below).
Main article: Hyperboloid structure
One-sheeted hyperboloids are used in construction, with the structures called hyperboloid structures. A hyperboloid is a doubly ruled surface; thus, it can be built with straight steel beams, producing a strong structure at a lower cost than other methods. Examples include cooling towers, especially of power stations, and many other structures.
In 1853 William Rowan Hamilton published his Lectures on Quaternions which included presentation of biquaternions. The following passage from page 673 shows how Hamilton uses biquaternion algebra and vectors from quaternions to produce hyperboloids from the equation of a sphere:
... the equation of the unit sphere ρ2 + 1 = 0, and change the vector ρ to a bivector 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, the new real vector σ + τ will terminate on the surface of a double-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 an equilateral 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; ...
... the equation of the unit sphere ρ2 + 1 = 0, and change the vector ρ to a bivector form, such as σ + τ √−1. The equation of the sphere then breaks up into the system of the two following,
and suggests our considering σ and τ as two real and rectangular vectors, such that
Hence it is easy to infer that if we assume σ || λ, where λ is a vector in a given position, the new real vector σ + τ will terminate on the surface of a double-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 an equilateral 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 passage S is the operator giving the scalar part of a quaternion, and T is the "tensor", now called norm, of a quaternion.
A modern view of the unification of the sphere and hyperboloid uses the idea of a conic section as a slice of a quadratic form. Instead of a conical surface, one requires conical hypersurfaces in four-dimensional space with points p = (w, x, y, z) ∈ R4 determined by quadratic forms. First consider the conical hypersurface
Then P ∩ H r {\displaystyle P\cap H_{r}} is the sphere with radius r. On the other hand, the conical hypersurface
In the theory of quadratic forms, a unit quasi-sphere is the subset of a quadratic space X consisting of the x ∈ X such that the quadratic norm of x is one.6
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 http://www.mathematik.tu-darmstadt.de/~ehartmann/cdg-skript-1998.pdf ↩
CDKG: Computerunterstützte Darstellende und Konstruktive Geometrie (TU Darmstadt) (PDF; 3,4 MB), S. 122 http://www.mathematik.tu-darmstadt.de/~ehartmann/cdg-skript-1998.pdf ↩
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, Springer ISBN 0-387-98963-3 /wiki/ISBN_(identifier) ↩
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 M 4 . {\displaystyle M^{4}.} [5] ↩
Ian R. Porteous (1995) Clifford Algebras and the Classical Groups, pages 22, 24 & 106, Cambridge University Press ISBN 0-521-55177-3 /wiki/Ian_R._Porteous ↩