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">Sphere</span> Set of points equidistant from a 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 center 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">Triangle</span> Shape with three sides

A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. A triangle has three internal angles, each one bounded by a pair of adjacent edges; the sum of angles of a triangle always equals a straight angle. The triangle is a plane figure and its interior is a planar region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex; the shortest segment between base and apex is the height. The area of a triangle equals one-half the product of height and base length.

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.

<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.

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:

In mathematics, the uniformization theorem states that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann sphere. The theorem is a generalization of the Riemann mapping theorem from simply connected open subsets of the plane to arbitrary simply connected Riemann surfaces.

<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">Spherical circle</span> Mathematical expression of circle like slices of sphere

In spherical geometry, a spherical circle is the locus of points on a sphere at constant spherical distance from a given point on the sphere. It is a curve of constant geodesic curvature relative to the sphere, analogous to a line or circle in the Euclidean plane; the curves analogous to straight lines are called great circles, and the curves analogous to planar circles are called small circles or lesser circles. If the sphere is embedded in three-dimensional Euclidean space, its circles are the intersections of the sphere with planes, and the great circles are intersections with planes passing through the center of the sphere.

<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">Gnomonic projection</span> Projection of a sphere through its center onto a plane

A gnomonic projection, also known as a central projection or rectilinear projection, is a perspective projection of a sphere, with center of projection at the sphere's center, onto any plane not passing through the center, most commonly a tangent plane. Under gnomonic projection every great circle on the sphere is projected to a straight line in the plane. More generally, a gnomonic projection can be taken of any n-dimensional hypersphere onto a hyperplane.

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.

Geometry is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space. Geometry is one of the oldest mathematical sciences.

<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. When working exclusively in two-dimensional Euclidean space, the definite article is used, so the Euclidean plane refers to the whole 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 each of the two points antipodal to the two base vertices.

References