Spherical conic

Last updated
Spherical conics drawn on a spherical chalkboard. Two confocal conics in blue and yellow share foci F1 and F2. Angles formed with red great-circle arcs from the foci through one of the conics' intersections demonstrate the reflection property of spherical conics. Three mutually perpendicular conic centers and three lines of symmetry in green define a spherical octahedron aligned with the principal axes of the conic. Spherical-conic-chalkboard.jpg
Spherical conics drawn on a spherical chalkboard. Two confocal conics in blue and yellow share foci F1 and F2. Angles formed with red great-circle arcs from the foci through one of the conics' intersections demonstrate the reflection property of spherical conics. Three mutually perpendicular conic centers and three lines of symmetry in green define a spherical octahedron aligned with the principal axes of the conic.
A grid on the square dihedron under inverse Peirce quincuncial projection is conformal except at four singularities around the equator, which become the foci of a grid of spherical conics. Peirce projection spherical conics.png
A grid on the square dihedron under inverse Peirce quincuncial projection is conformal except at four singularities around the equator, which become the foci of a grid of spherical conics.

In mathematics, a spherical conic or sphero-conic is a curve on the sphere, the intersection of the sphere with a concentric elliptic cone. It is the spherical analog of a conic section (ellipse, parabola, or hyperbola) in the plane, and as in the planar case, a spherical conic can be defined as the locus of points the sum or difference of whose great-circle distances to two foci is constant. [1] By taking the antipodal point to one focus, every spherical ellipse is also a spherical hyperbola, and vice versa. As a space curve, a spherical conic is a quartic, though its orthogonal projections in three principal axes are planar conics. Like planar conics, spherical conics also satisfy a "reflection property": the great-circle arcs from the two foci to any point on the conic have the tangent and normal to the conic at that point as their angle bisectors.

Contents

Many theorems about conics in the plane extend to spherical conics. For example, Graves's theorem and Ivory's theorem about confocal conics can also be proven on the sphere; see confocal conic sections about the planar versions. [2]

Just as the arc length of an ellipse is given by an incomplete elliptic integral of the second kind, the arc length of a spherical conic is given by an incomplete elliptic integral of the third kind. [3]

An orthogonal coordinate system in Euclidean space based on concentric spheres and quadratic cones is called a conical or sphero-conical coordinate system. When restricted to the surface of a sphere, the remaining coordinates are confocal spherical conics. Sometimes this is called an elliptic coordinate system on the sphere, by analogy to a planar elliptic coordinate system. Such coordinates can be used in the computation of conformal maps from the sphere to the plane. [4]

Applications

The solution of the Kepler problem in a space of uniform positive curvature is a spherical conic, with a potential proportional to the cotangent of geodesic distance. [5]

Because it preserves distances to a pair of specified points, the two-point equidistant projection maps the family of confocal conics on the sphere onto two families of confocal ellipses and hyperbolae in the plane. [6]

If a portion of the Earth is modeled as spherical, e.g. using the osculating sphere at a point on an ellipsoid of revolution, the hyperbolae used in hyperbolic navigation (which determines position based on the difference in received signal timing from fixed radio transmitters) are spherical conics. [7]

Notes

  1. Fuss, Nicolas (1788). "De proprietatibus quibusdam ellipseos in superficie sphaerica descriptae" [On certain properties of ellipses described on a spherical surface]. Nova Acta academiae scientiarum imperialis Petropolitanae (in Latin). 3: 90–99.
  2. Stachel, Hellmuth; Wallner, Johannes (2004). "Ivory's theorem in hyperbolic spaces" (PDF). Siberian Mathematical Journal. 45 (4): 785–794.
  3. Gudermann, Christoph (1835). "Integralia elliptica tertiae speciei reducendi methodus simplicior, quae simul ad ipsorum applicationem facillimam et computum numericum expeditum perducit. Sectionum conico–sphaericarum qudratura et rectification" [A simpler method of reducing elliptic integrals of the third kind, providing easy application and convenient numerical computation: Quadrature and rectification of conico-spherical sections]. Crelle's Journal. 14: 169–181.
    Booth, James (1844). "IV. On the rectification and quadrature of the spherical ellipse". The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science. 25 (163): 18–38. doi:10.1080/14786444408644925.
  4. Guyou, Émile (1887). "Nouveau système de projection de la sphère: Généralisation de la projection de Mercator" [New sphere projection system: Generalization of the Mercator projection]. Annales Hydrographiques. Ser. 2 (in French). 9: 16–35.
    Adams, Oscar Sherman (1925). Elliptic functions applied to conformal world maps (PDF). US Government Printing Office. US Coast and Geodetic Survey Special Publication No. 112.
  5. Higgs, Peter W. (1979). "Dynamical symmetries in a spherical geometry I". Journal of Physics A: Mathematical and General. 12 (3): 309–323. doi:10.1088/0305-4470/12/3/006.
    Kozlov, Valery Vasilevich; Harin, Alexander O. (1992). "Kepler's problem in constant curvature spaces". Celestial Mechanics and Dynamical Astronomy. 54 (4): 393–399. doi:10.1007/BF00049149.
    Cariñena, José F.; Rañada, Manuel F.; Santander, Mariano (2005). "Central potentials on spaces of constant curvature: The Kepler problem on the two-dimensional sphere S2 and the hyperbolic plane H2". Journal of Mathematical Physics. 46 (5): 052702. arXiv: math-ph/0504016 . doi:10.1063/1.1893214.
    Arnold, Vladimir; Kozlov, Valery Vasilevich; Neishtadt, Anatoly I. (2007). Mathematical Aspects of Classical and Celestial Mechanics. doi:10.1007/978-3-540-48926-9.
    Diacu, Florin (2013). "The curved N-body problem: risks and rewards" (PDF). Mathematical Intelligencer. 35 (3): 24–33.
  6. Cox, Jacques-François (1946). "The doubly equidistant projection". Bulletin Géodésique. 2 (1): 74–76. doi:10.1007/bf02521618.
  7. Razin, Sheldon (1967). "Explicit (Noniterative) Loran Solution". Navigation. 14 (3): 265–269. doi:10.1002/j.2161-4296.1967.tb02208.x.
    Freiesleben, Hans-Christian (1976). "Spherical hyperbolae and ellipses". The Journal of Navigation. 29 (2): 194–199. doi:10.1017/S0373463300030186.

Related Research Articles

<span class="mw-page-title-main">Hyperbola</span> Plane curve: conic section

In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. 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.

<span class="mw-page-title-main">Sphere</span> A set of points in space which are equidistant from the center

A sphere is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. Formally, a sphere is the set of points that are all at the same distance r from a given point in three-dimensional space. That given point is the centre of the sphere, and r is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians.

<span class="mw-page-title-main">Non-Euclidean geometry</span> Two geometries based on axioms closely related to those specifying Euclidean geometry

In mathematics, non-Euclidean geometry consists of two geometries based on axioms closely related to those that specify Euclidean geometry. As Euclidean geometry lies at the intersection of metric geometry and affine geometry, non-Euclidean geometry arises by either replacing the parallel postulate with an alternative, or relaxing the metric requirement. In the former case, one obtains hyperbolic geometry and elliptic geometry, the traditional non-Euclidean geometries. When the metric requirement is relaxed, then there are affine planes associated with the planar algebras, which give rise to kinematic geometries that have also been called non-Euclidean geometry.

The shape of the universe, in physical cosmology, is the local and global geometry of the universe. The local features of the geometry of the universe are primarily described by its curvature, whereas the topology of the universe describes general global properties of its shape as a continuous object.

<span class="mw-page-title-main">Spherical geometry</span> Geometry of the surface of a sphere

Spherical geometry or spherics is the geometry of the two-dimensional surface of a sphere or the n-dimensional surface of higher dimensional spheres.

<span class="mw-page-title-main">Elliptic geometry</span> Non-Euclidean geometry

Elliptic geometry is an example of a geometry in which Euclid's parallel postulate does not hold. Instead, as in spherical geometry, there are no parallel lines since any two lines must intersect. However, unlike in spherical geometry, two lines are usually assumed to intersect at a single point. Because of this, the elliptic geometry described in this article is sometimes referred to as single elliptic geometry whereas spherical geometry is sometimes referred to as double elliptic geometry.

<span class="mw-page-title-main">Hyperbolic geometry</span> Non-Euclidean geometry

In mathematics, hyperbolic geometry is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:

<span class="mw-page-title-main">Hyperbolic space</span> Non-Euclidean geometry

In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H2, which was the first instance studied, is also called the hyperbolic plane.

A regular polyhedron is a polyhedron whose symmetry group acts transitively on its flags. A regular polyhedron is highly symmetrical, being all of edge-transitive, vertex-transitive and face-transitive. In classical contexts, many different equivalent definitions are used; a common one is that the faces are congruent regular polygons which are assembled in the same way around each vertex.

<span class="mw-page-title-main">Dandelin spheres</span>

In geometry, the Dandelin spheres are one or two spheres that are tangent both to a plane and to a cone that intersects the plane. The intersection of the cone and the plane is a conic section, and the point at which either sphere touches the plane is a focus of the conic section, so the Dandelin spheres are also sometimes called focal spheres.

<span class="mw-page-title-main">Pascal's theorem</span> Theorem on the collinearity of three points generated from a hexagon inscribed on a conic

In projective geometry, Pascal's theorem states that if six arbitrary points are chosen on a conic and joined by line segments in any order to form a hexagon, then the three pairs of opposite sides of the hexagon meet at three points which lie on a straight line, called the Pascal line of the hexagon. It is named after Blaise Pascal.

<span class="mw-page-title-main">Eccentricity (mathematics)</span> Characteristic of conic sections

In mathematics, the eccentricity of a conic section is a non-negative real number that uniquely characterizes its shape.

In mathematics, constant curvature is a concept from differential geometry. Here, curvature refers to the sectional curvature of a space and is a single number determining its local geometry. The sectional curvature is said to be constant if it has the same value at every point and for every two-dimensional tangent plane at that point. For example, a sphere is a surface of constant positive curvature.

<span class="mw-page-title-main">Conic section</span> Curve from a cone intersecting a plane

A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes called as a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.

In mathematics, a plane is a two-dimensional space or flat surface that extends indefinitely. A plane is the two-dimensional analogue of a point, a line and three-dimensional space.

<span class="mw-page-title-main">Generalized trigonometry</span> Study of triangles in other spaces than the Euclidean plane

Ordinary trigonometry studies triangles in the Euclidean plane . There are a number of ways of defining the ordinary Euclidean geometric trigonometric functions on real numbers, for example right-angled triangle definitions, unit circle definitions, series definitions, definitions via differential equations, and definitions using functional equations. Generalizations of trigonometric functions are often developed by starting with one of the above methods and adapting it to a situation other than the real numbers of Euclidean geometry. Generally, trigonometry can be the study of triples of points in any kind of geometry or space. A triangle is the polygon with the smallest number of vertices, so one direction to generalize is to study higher-dimensional analogs of angles and polygons: solid angles and polytopes such as tetrahedrons and n-simplices.

<span class="mw-page-title-main">Dupin's theorem</span>

In differential geometry Dupin's theorem, named after the French mathematician Charles Dupin, is the statement:

<span class="mw-page-title-main">Lexell's theorem</span> Characterizes spherical triangles with fixed base and area

In spherical geometry, Lexell's theorem holds that every spherical triangle with the same surface area on a fixed base has its apex on a small circle, called Lexell's circle or Lexell's locus, passing through two points antipodal to the other two vertices.

References