The pseudosphere is the constant negative-Gaussian curvature surface of revolution generated by a tractrix about its asymptote. It is sometimes also called the tractroid, tractricoid, antisphere, or tractrisoid (Steinhaus 1999, p. 251). The Cartesian parametric equations are
(1)
| |||
(2)
| |||
(3)
|
for and .
It can be written in implicit Cartesian form as
(4)
|
Other parametrizations include
(5)
| |||
(6)
| |||
(7)
|
for and (Gray et al. 2006, p. 480) and
(8)
| |||
(9)
| |||
(10)
|
for and , where
(11)
| |||
(12)
|
(Gray et al. 2006, p. 477).
In the first parametrization, the coefficients of the first fundamental form are
(13)
| |||
(14)
| |||
(15)
|
the second fundamental form coefficients are
(16)
| |||
(17)
| |||
(18)
|
and the surface area element is
(19)
|
The surface area is
(20)
|
which is exactly that of the usual sphere.
Even though the pseudosphere has infinite extent, it has finite volume. The volume can be found by making the change of variables , giving , and substituting into the equation for a solid of revolution, giving
(21)
|
which is exactly half that of the usual sphere.
The Gaussian and mean curvatures are
(22)
| |||
(23)
|
The pseudosphere therefore has the same volume as the sphere while having constant negative Gaussian curvature (rather than the constant positive curvature of the sphere), leading to the name "pseudo-sphere." The pseudosphere's constant negative curvature also makes it a local partial model of hyperbolic geometry, just as a cone or cylinder is a local partial model of Euclidean geometry of the plane.
An equation for the geodesics on a pseudosphere is given by
(24)
|