great circle

The intersection of a sphere with a plane that passes through the center of the sphere is called a great circle. Note that it is equivalent to say that a great circle of a sphere is any circle that lies on the surface of the sphere and has maximum circumference. Geographically speaking, longitudes are examples of great circles; however, with the exception of the equator, no latitude is a great circle.

Infinitely many great circles pass through two antipodal points of a sphere. Otherwise, two distinct points on a sphere determine a unique great circle.

An arc of a great circle is called a great arc.

Note that great circles and great arcs are geodesics of the surface of the sphere on which they lie. Thus, in spherical geometry, if a sphere is serving as the model, then are defined to be great circles of the sphere, and are defined to be great arcs of the sphere.

单词	GreatCircle
释义	great circle The intersection of a sphere with a plane that passes through the center of the sphere is called a great circle. Note that it is equivalent to say that a great circle of a sphere is any circle that lies on the surface of the sphere and has maximum circumference. Geographically speaking, longitudes are examples of great circles; however, with the exception of the equator, no latitude is a great circle. Infinitely many great circles pass through two antipodal points of a sphere. Otherwise, two distinct points on a sphere determine a unique great circle. An arc of a great circle is called a great arc. Note that great circles and great arcs are geodesics of the surface of the sphere on which they lie. Thus, in spherical geometry, if a sphere is serving as the model, then are defined to be great circles of the sphere, and are defined to be great arcs of the sphere.
随便看	10.5 The cumulative hierarchy 10SetTheory 10. Set theory 110PatternMatchingAndRecursion 1.10 Pattern matching and recursion 111PropositionsAsTypes 1.11 Propositions as types 111TheFieldOfRationalNumbers 11.1 The field of rational numbers 1121PathInduction 1.12.1 Path Induction 1121TheAlgebraicStructureOfDedekindReals 11.2.1 The algebraic structure of Dedekind reals 1122DedekindRealsAreCauchyComplete 11.2.2 Dedekind reals are Cauchy complete 1122EquivalenceOfPathInductionAndBasedPathInduction 1.12.2 Equivalence of path induction and based path induction 1123DedekindRealsAreDedekindComplete 11.2.3 Dedekind reals are Dedekind complete 1123Disequality 1.12.3 Disequality 112DedekindReals 11.2 Dedekind reals 112IdentityTypes 1.12 Identity types